An intermediate undergraduate course. 

​

​

• Sample materials 

 

​📌 Introduction to logic

📌 Computing truth values

📌 Truth tables for testing validity

📌 Inference rules

          📌 Quantifiers 

📌 Proofs in predicate logic

​

​

• Full course program

​

​

​​

​​