From Wikipedia, the free encyclopedia

boolean algebra of formulas

Since, for example, a&b, b&a are distinct formulas, the formulas do not form a Boolean Algebra. Perhaps the author had something else in mind? — Preceding unsigned comment added by G. Blaine ( talk • contribs) 22:00, 27 October 2013 (UTC) reply


Notes & Queries

Jon Awbrey 06:04, 5 February 2006 (UTC) reply

Henkin set?

Can someone write something accessible about the Henkin set here, or should it have its own article? [1]. Tijfo098 ( talk) 10:03, 18 April 2011 (UTC) reply

Apparently a separate article should exist, and be called Henkin construction [2]. Tijfo098 ( talk) 10:55, 18 April 2011 (UTC) reply

From Wikipedia, the free encyclopedia

boolean algebra of formulas

Since, for example, a&b, b&a are distinct formulas, the formulas do not form a Boolean Algebra. Perhaps the author had something else in mind? — Preceding unsigned comment added by G. Blaine ( talk • contribs) 22:00, 27 October 2013 (UTC) reply


Notes & Queries

Jon Awbrey 06:04, 5 February 2006 (UTC) reply

Henkin set?

Can someone write something accessible about the Henkin set here, or should it have its own article? [1]. Tijfo098 ( talk) 10:03, 18 April 2011 (UTC) reply

Apparently a separate article should exist, and be called Henkin construction [2]. Tijfo098 ( talk) 10:55, 18 April 2011 (UTC) reply


Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook