• 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!