Seth M. answered 04/30/17
Tutor
5.0
(1,891)
Expert Logic Tutor: Symbolic, Formal, Propositional, Predicate, Etc.
That is correct, but there is actually (at least) one more criteria. Specifically, the terms must be clearly defined and employed unequivocally. Some people consider this part of the criteria for validity. Others treat it separately.