Re: Boolean vs. Deductive Logic

Tom wrote:
Frederick Williams wrote:

Boolean logic is "the same as" propositional calculus in this sense:
iff is an equivalence relation between propositions, let [p] be the
equivalence class containing p and define operators as follows

[p] v [q] = [p or q]
[p] /\ [q] = [p and q]
[p]* = [not p]

let B be the set of all [p]s, then (B, v, /\, *) is a Boolean algebra
known as the Lindenbaum algebra of the propositional calculus.

I'll look into that.

Tom, for a /general/ perspective you might want to look into:

http://www.amazon.com/gp/product/0521007585/ref=si3_rdr_bb_product/002-8240066-2312847?ie=UTF8

.

Quantcast