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