ABSTRACT
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 systems will build on what we learn here.
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 systems will build on what we learn here.