Boolean logic with truth tables

Knowledge package outline

Topic

Mathematics and quantitative reasoning

Purpose

Makes compound claims mechanically inspectable.

Package contents

Connectives; De Morgan diagrams; implication counterexamples.

Dependencies

Basic reading.