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