top of page

Symbolic Logic

 

An intermediate undergraduate course. 

  • Sample materials 

 

📌 Introduction to logic

📌 Computing truth values

📌 Truth tables for testing validity

📌 Inference rules

          📌 Quantifiers 

📌 Proofs in predicate logic

bottom of page