| Re: Propositional Logic Symposia - [3] – Disjunction,Conditional,BiConditional,Negati
The thing which I find a bit distressing is the use of symbols such as the second biconditional notation which is the mathematical symbol for equivalence, however, the negation is also used in topology to denote equivalence and the inverted subset symbol doesn't help either especially when one wishes to use predicate logic in conjunction with set theory, which is not entirely unreasonable asthe two fields are quite intertwined.
|