Single Idea 9511

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL]

Full Idea

We write 'if P then Q' as P→Q. This is called a 'conditional', with P as its 'antecedent', and Q as its 'consequent'.

Gist of Idea

We write the conditional 'if P (antecedent) then Q (consequent)' as P→Q

Source

E.J. Lemmon (Beginning Logic [1965], 1.2)

Book Reference

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.7

---

A Reaction

P→Q can also be written as ¬P∨Q.