|Berka I 34
Implication/Boolean Algebra/Peirce: x > y - (x - f)(w - y) = 0
ad I 46
Implication/reformulation/Peirce /(s): instead of a > b: (a v ~ b) - something is not a dog or a mammal - if something is a dog, it is a mammal - solution/(s): a) no dog or a dog - b) not a dog or a dog and a mammal - ((s) This is not necessarily an excluding or: E.g. law of excluded middle. not excluding or - this only turns into an excluding or by the meaning of the negation sign).
_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Ch. S. Peirce
Philosophical Writings 2011
K. Berka/L. Kreiser
Logik Texte Berlin 1983