MATH 1090 Study Guide - Midterm Guide: Atomic Formula, Substring, Glossary Of Ancient Roman Religion

• School: York University
• Department: Mathematics and Statistics
• Course: MATH 1090
• Professor: George Tourlakis

Document Summary

Question 1. (a) (1 mark) through truth tables or related short cuts show that. Need to show that every v that makes the lhs (of (cid:96)) true (t) makes the rhs t as well. As there is no v that makes the lhs t, we are done without lifting a. |=taut a (or as we saw in class, and the text, when proving the basis case of the induction for. Every nonempty proper pre x of a w has an excess of left brackets to prove that ( ) above is invalid, you must nd a v that makes the lhs true, and the rhs false. But you can"t; no such v exists!!) (b) (2 marks) through truth tables or related short cuts show that. C, a (b c) |=taut a b. Thus c is t, and so is a (b c). But then so is the rhs by the table for .