Quote: A=A, non-A=non-A, AA=A, non-non-A=A, if A=B then AC=BC for some C, if A=B then non-A=non-B, if A=B then A!=non-B

Quotation Skeleton

[First formulation of principles for a calculus; deductions from them (30 verso, sec. 155-sec.183)] (171) The principles are: First: A=A. Second: … non-non-A = A. Fifth: if A = B, … non-B. Seventh: if A = B, there will …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: A-non-A is not a thing

Related Topics

Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: logic (84 items)