Defining Connectives
NOT A PROPOSAL
Enact a new subrule of “Formulae” entitled “Connectives”:
All 16 truth functions in the table on this page are Connectives. The following are Standard Notations for the basic Connectives, whence the others may conveniently be specified. Where the Standard Notation is not given at all by Wikipedia, the Standard Notation is on the left and its notation is on the right:
- F.p := p&~p
- T.p := p|~p
- p
- ~p
- p&q
- p|q := p OR q
- p->q := p→q
- p<->q := p IFF q
A Protosal, if you will, for feedback before I can Propose. It does bug me that the - is just below the center of the >.
Fool:
Maybe T.p should be p→p rather than p|~p ... you know ... :-)