Foundations# Contents: Knowledge History References Logic Propositions Operations Truth Tables Quantification Logical Inference Set Theory Definitions Notation Corollaries Venn Diagrams Relations Operations Theorems Aristotle’s Square of Opposition