Acronym soup forFormal Logic
A formal approach to study reasoning where concrete expressions are replaced with abstract symbols to examine the logical form of arguments.
Shorthand in formal logic where either both statements are true or both are false.
Rule: if "If P then Q" and P are true, then Q is true.
Rule: if "If P then Q" is true and Q is false, then P is false.
Proof method where negating a proposition leads to a contradiction.