ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Downloadable lecture notes available through the web page of the course.
[2] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
Chapter. Quantification Logic.
Section. Logical Consequence.
Section. Exercises.
Subsection. Quine's Example.
###
Exercise. Suppose that we have
Prove the following claim:
##
Exercise (for a hard one). Suppose that we have