What You Need to Know and Do
• You need to know the difference between propositions and propositional forms
• You need to be able to tell whether a formula is a proposition or a propositional
form
• You need to know that propositions and propositional forms have different
properties
• You need to know how the properties of propositional forms (tautologousness,
contradictoriness, contingency) relate to the properties of propositions (logical
truth, logical falsehood, contingent truth, contingent falsehood)
• You need to know the definition of tautologies, contradictions and contingencies
as their truth-table operationalization.
• You need to be able to construct the base of the truth table for up to four variables
(in the order in which we have constructed them).
• You need to know how to choose the truth-table base for a proposition depending
on the number of variables in it.
• You need to be able to use the truth table method to tell whether a propositional
form is a tautology, a contradiction or a contingency.
• You need to be to use the methods here introduced to decide whether a
proposition is logically or contingently true or false.
Logic Self-Taught – Unit 6. Tautologies, Contradictions, Contingencies 6-51