Re: Answer "how to prove ~(P <--> Q) |- ~P <-->Q "

Rupert wrote:


In what sense is Boolean algebra "incomplete"?

One sense in which it is incomplete is that there are statements such as

for all x, either x = 0 or x = 1

that are neither true in all Boolean algebras nor false in all Boolean
algebras.

(But that may not be what the op meant.)

--
Remove "antispam" and ".invalid" for e-mail address.
"He that giveth to the poor lendeth to the Lord, and shall be repaid,"
said Mrs Fairchild, hastily slipping a shilling into the poor woman's
hand.
.