Single Idea 7799

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

Full Idea

The operators of propositional logic are defined as follows: 'or' (v) is not-A implies B; 'and' (ampersand) is not A-implies-not-B; and 'identity' (three line equals) is A-implies-B and B-implies-A.

Gist of Idea

Proposition logic has definitions for its three operators: or, and, and identical

Source

Rod Girle (Modal Logics and Philosophy [2000], 6.5)

Book Reference

Girle,Rod: 'Modal Logics and Philosophy' [Acumen 2000], p.94