Before revision: We use the operations ¬ (negation), ∧ (conjunction or meet), ∨ (disjunction or join), → (implication), ↔ (biconditional), + (exclusive disjunction or Boolean ring addition), ↛ , Lpq,Jozef Maria Bochenski (1959), Precis of Mathematical Logic, Part II, "Logic of Sentences", Sec.
After revision: , Np,, Kpq,, Apq,, Cpq,, Epq,, JpqWe use the operations ¬ (negation), ∧ (conjunction or meet), ∨ (disjunction or join), → (implication), ↔ (biconditional), + (exclusive disjunction or Boolean ring addition), ↛ , Lpq,Jozef Maria Bochenski (1959), Precis of Mathematical Logic, Part II, "Logic of Sentences", Sec.