Exam 1 MATH 313
Dene the following: Directions: Make sure to show any necessary work to receive full credit. If you need
extra space please use the back of the sheet with appropriate labeling. Buena suerte.
1. Translate the following Tarskis Sentences. Th
Exam 2 MATH 313
Dene the following: Directions: Make sure to show any necessary work to receive full credit. If you need
extra space please use the back of the sheet with appropriate labeling.
1. Fill in the following truth table. Determine which are logi
Exam 2 MATH 313
Dene the following: Directions: Make sure to show any necessary work to receive full credit. If you need
extra space please use the back of the sheet with appropriate labeling.
1. Fill in the following truth table.
2. Give a Fitch (formal)
Name:
Exam 1 MATH 313
Directions: Make sure to show any necessary work to receive full credit. If you need extra space please use
the back of the sheet with appropriate labeling.
1. Consider the following FOL sentences. Determine: objects, predicates and
Exam 2 MATH 313
Dene the following: Directions: Make sure to show any necessary work to receive full credit. If you need
extra space please use the back of the sheet with appropriate labeling.
1. a. Fill in the following truth table.
P
T
4)P Q
T
F
3)P (Q
Exam 1 MATH 313
Directions: Make sure to show any necessary work to receive full credit. If you need extra space please use
the back of the sheet with appropriate labeling. Buena suerte.
1. Consider the following FOL sentences. Determine: arguments, predi
Final Exam MATH 313
Dene the following: Directions: Make sure to show any necessary work to receive full credit. If you need
extra space please use the back of the sheet with appropriate labeling.
1. [8 pts.] Fill in the following truth table.
P
Q (P Q) P
Review for Final Exam MATH 313 Fall 2005
The Final Exam will cover the following Chapters and Sections: Chapters 1. through
Chapters 13.
1. sentences, atomic sentences, when a sentence is well-formulated
2. predicates, arguments, arity; function symbols;