Reason (Predicate Calculus) === for every model M<U,I> and a set of sentences (A) S holds: if M ⊩ S, then M ⊩ A==