Predicate logic is more complicated and more powerful. It can break propositions down into their subjects and predicates and relationships. This logic is used ... almost all their reasoning with and ...