Hi! And welcome to my Advanced Logic Test Test. Strap in: After this you will be able to tell OKC when it is _wrong about implication.
Functors: And * Or + Not - Implication => Equivalence = Exclusive disjunction /
For you deskjockis XOR / , EQV = IMP =>
No existential quantifiers (ALL, SOME, NONE) are used.
thus, all variables are always lower case: p, q, a, b, c.
Formulas, if used, will be indicated in capitals thus A B C. Since this is just predicated calculus that shouldn't happen (yet).
Values: 0, 1, 2: False, True, Unknown
Yes, it includes ternary propositions. Because as I said: When this shit is done you are gonna understand implication. Hang on to your hair!