Classical Propositional Logic

Please expand.

References

Boole