• Exercise 1    

• Exercise 2  Solution for q4a    

• Exercise 3  Solution for q1   Solution for q3     

• Exercise 4  Solution for q3    

• Exercise 5    

• Exercise 6    

• Exercise 7    

• Exercise 8  Solution for q4       

Additional material:

• Propositional Formalization   

• HPC   

• Useful CPL equivalences   

• "If then else" example   

• FOL signatures examples   

• FOL formalization   

• Useful FOL equivalences   

• Useful FOL equivalences   

• Tutorial on CPL   

• Tutorial on HPC   

• Tutorial on Compactness   

• Tutorial on Functional Completeness and more   

• Tutorial on FOL Syntax   

• Tutorial on FOL Semantics   

• Tutorial on Herbrand Theorem   

• Tutorial on Equality   

• Tutorial on Many-sorted Logic   

Recommended reading:

Logic for CS:

• V. Sperschneider and G. Antoniou, Logic - a foundation for computer science

• Nerode and R. Shore, Logic for applications

• S. Reeves and M. Clarke, Logic for computer science

• Z. Manna and R. Waldinger, The deductive foundations of computer programming

• Burris and Stanley, Logic for mathematics and computer science

Classical texts on Mathematical Logic:

• Herbert B. Enderton, A mathematical introduction to logic (2-nd edition)

• D. Van Dalen, Logic and structure (3-rd edition)

• E. Mendelson, Introduction to mathematical logic

• J.R. Shoenfield, Mathematical logic

• H. Ebbinghous, J. Flum and W. Thomas, Mathematical logic

Handbooks:

• J. Barwise ed., Handbook of mathematical logic

• D. Gabbay and F. Guenther ed., Handbook of philosofical logic

• D. Gabbay ed.,Handbook of logic in computer science

• D. Gabbay et al ed., Handbook of AI and logic programming

Useful Links:

Logical laws

Dictionary of logical terms by Udi Boker