Talk:Introduction to Philosophy/Logic/Some Properties of the Logical Connectives

Actually, I think we have a field here. Mod 2 arithmetic is the only other field with two elements that I can think of. Are there any others? Well, don't want to go off on too much of a tangent.

I need to prove at least some of the assertions made here. The remainder can be left as an exercise. The proofs are routine.