0112 Basic Propositional Logic

Propositional logic studies arguments whose validity depends on “if-then,” “and,” “or,” “not,” and similar notions. This chapter covers the basics and the next covers proofs. Our later logical systems build on what we learn here.