How to Read These Posts

Which Browser to Use

Some browsers, such as Internet Explorer, don't display math symbols correctly. This symbol ---> ∪ <--- should look like a U. If it looks like a square, it is being displayed incorrectly. Try switching to Firefox. It is available free on the Internet.

How to Adjust Font Size

If you are using Firefox and the table titled The Standard Axioms of Boolean Algebra in my previous post is unreadable, try adjusting the font size. Notice the 'ctrl' key on the bottom left of your keyboard. Now notice the '+' key next to the 'backspace' key at the top right of your keyboard. Press and hold the 'ctrl' key while tapping on the '+' key. This should make the font size grow larger. Watch what happens to the distributivity axioms in the table as you do this. They become squished together and unreadable.

Now notice the '-' key next to the '+' key. Press and hold the 'ctrl' key while tapping on the '-' key. The font size will shrink until the distributivity axioms separate and the table becomes readable.

Notation

The notation and concepts that I am using here is based on Symbolic Logic (5^th Edition) by Irving M. Copi. Pay particular attention to section 7.2: Axioms for Class Algebra.

Axioms

Although I am using Copi's notation, I have chosen the Axioms of Boolean Algebra given in Wikipedia as the “standard” axioms. These axioms more closely resemble the axioms of group theory and have, I suppose, a better claim to the designation “standard”.