Propositional Logic: Connectives, Truth Tables, and Everyday Language

Propositions and Logical Connectives

A proposition is a statement that is either true or false -- it has a definite truth value. 'Paris is in France' is a proposition (true). 'Close the door' is not a proposition because commands cannot be true or false. In propositional logic, we represent propositions with letters (P, Q, R) and connect them using logical connectives.

The five fundamental connectives are: NOT (negation, written as ~P or NOT P), AND (conjunction, P AND Q), OR (disjunction, P OR Q), IF...THEN (conditional, P THEN Q), and IF AND ONLY IF (biconditional, P IFF Q). Each connective has a precise meaning defined by its truth table.

Understanding these connectives is crucial because everyday language is ambiguous. The word 'or' in English can mean either inclusive or (one or both) or exclusive or (one but not both). In logic, OR is inclusive by default. 'You can have soup or salad' in a restaurant usually means exclusive or, but in logic, P OR Q is true when both P and Q are true.

Truth Tables

A truth table systematically lists all possible combinations of truth values for the propositions in an expression and shows the resulting truth value. For two propositions P and Q, there are four possible combinations: both true, P true and Q false, P false and Q true, and both false.

The AND connective is true only when both components are true. The OR connective is false only when both components are false. The conditional (IF P THEN Q) is false only when P is true and Q is false -- this surprises many beginners, but it captures the logical meaning: a conditional promise is only broken when the condition is met but the promise is not fulfilled.

Truth tables allow you to determine whether two expressions are logically equivalent (they have the same truth values in all cases) and whether an argument form is valid (there is no row where all premises are true and the conclusion is false). This mechanical procedure removes all guesswork from evaluating logical structure.

Translating English into Propositional Logic

One of the most practical skills in propositional logic is translating natural language into symbolic form. 'If it rains, then the game will be canceled' becomes: R THEN C (where R = it rains, C = the game is canceled). 'Either we raise taxes or we cut spending' becomes: T OR S.

The trickiest translations involve conditionals. 'You will pass only if you study' means S THEN P (studying is necessary for passing), not P THEN S. 'Whenever it rains, the ground gets wet' means R THEN W. The words 'only if,' 'whenever,' 'provided that,' and 'unless' all express conditional relationships but in subtly different ways.

'Unless' is particularly tricky. 'We will go to the park unless it rains' means 'If it does NOT rain, we will go to the park,' or equivalently, 'It rains OR we go to the park.' Mastering these translations takes practice, but it is immensely valuable for spotting logical errors in everyday arguments.

Applying Propositional Logic to Arguments

Once you can translate arguments into symbolic form, you can evaluate them mechanically. Consider: 'If the economy grows, unemployment will fall. The economy is growing. Therefore, unemployment will fall.' Symbolically: (G THEN F), G, therefore F. A truth table confirms this is valid -- it is an instance of Modus Ponens.

Now consider a subtly different argument: 'If the economy grows, unemployment will fall. Unemployment is falling. Therefore, the economy is growing.' Symbolically: (G THEN F), F, therefore G. A truth table reveals this is invalid -- unemployment could be falling for other reasons. This is the fallacy of affirming the consequent.

Propositional logic does not make you a better arguer by itself, but it gives you the analytical tools to dissect arguments with precision. When you can see the formal structure beneath the rhetoric, you become much harder to mislead.

• •Propositions are statements with definite truth values; logical connectives combine them.
• •The five key connectives are NOT, AND, OR, IF...THEN, and IF AND ONLY IF.
• •Truth tables systematically evaluate all possible scenarios to determine validity.
• •Translating natural language into logical symbols reveals hidden structure and ambiguity.
• •'Unless,' 'only if,' and 'whenever' are conditional expressions that require careful translation.