MATH 1090 Study Guide - Final Guide: Metatheorem, First-Order Logic

673 views13 pages

Document Summary

Instructions: please read these instructions before you start writing, you have 3 hours. The axiom sheet is attached to the back of the exam. Clearly label each page as to which question you are answering: you are free to use without proof, but with proper reference, any theorems and metatheo- rems that were proved in class or in the text- book. If you are unsure whether some statement was really proved, i suggest that your prove it just to be sure. Final exam: (4 points) prove ( ) is not a well-formed formula. December 18, 2013: (6 points) consider the string ( x)( y)(f (x1) = y1 (( z)g(z) = f (x1) ( z)g(z) = y1)). (a) show this string is a well-formed formula. If so, give a proof, if not, explain why. Final exam: (6 points) prove (( b a) ( b a)) b.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers

Related textbook solutions

Related Documents

Related Questions