Symbols
Conjunction · True if both conjuncts are true
Disjunction v False only if both disjuncts are false
Negation ~ Assigns a truth value opposite to original
Equivalence = True if both equivalents have the same truth-value
Implication -> True if the antecedent is true and the consequent is false
Singular (Fa) True if its predicate applies to the subject, singled out by a singular
term. The singular term, such as a proper name or definite description (my teacher, the tallest student in class) purports to designate an object in the world.
Particular (3x)(Fx) True if its predicate purports to apply (or be denied from) at
least one member of its subject set
General (Vx)(Fx) True if its predicate purports to apply (or be denied from)
every member of its subject set
©DoK 2009