Sentence 1:According to Ockham a consequence is a conditional proposition , composed of two categorical propositions by the terms ' if ' and ' then ' . Sentence 2:For example , ' if a man runs , then God exists ' ( Si homo currit , Deus est ) .