True+X=True and (True X)=X do follow from textual description of conjuction and dusjunction, but text before 1.13 suggests (misleads?) that B!A=!A can be derived by using axioms 1.12 only. Latter seems impossible.
Apologies, I totally edited out that part of my comment after finding a much simpler proof. I think my new derivation is fine assuming that proof by truth table is valid (which should be uncontroversial given that he uses it soon after this to show that AND and NOT are an “adequate set” for representing every logic function).
Edit: I was not thinking clearly above. Of course proof by truth table is valid, because truth tables are the basis of the notion of logical equality, and Jayne’s axioms don’t make sense unless you accept that notion as a given.
Actually, you were thinking clearly. We can interpret 1.12 as axioms of proposition calculus, in a strange form of course. As I’ve done partly because of not very rigorous narration.
True+X=True and (True X)=X do follow from textual description of conjuction and dusjunction, but text before 1.13 suggests (misleads?) that B!A=!A can be derived by using axioms 1.12 only. Latter seems impossible.
Apologies, I totally edited out that part of my comment after finding a much simpler proof. I think my new derivation is fine assuming that proof by truth table is valid (which should be uncontroversial given that he uses it soon after this to show that AND and NOT are an “adequate set” for representing every logic function).
Edit: I was not thinking clearly above. Of course proof by truth table is valid, because truth tables are the basis of the notion of logical equality, and Jayne’s axioms don’t make sense unless you accept that notion as a given.
Actually, you were thinking clearly. We can interpret 1.12 as axioms of proposition calculus, in a strange form of course. As I’ve done partly because of not very rigorous narration.