MATH 1090 Midterm: MATH 1090 1090_F12_midtermSol

288 views3 pages

Document Summary

Question 1. (3 marks) use truth table shortcuts to show. Two proofs: (1) if a |=taut b, then |=taut a b. Assume that a b is not a tautology. Then there must be a state v for which v(a b) = f. This is only possible if v(a) = t and v(b) = f. but this contradicts the assumption a |=taut b by which for all states that make a true, we have b true as well. Since assuming that "a b is not a tautology" resulted in a contradiction, it must be wrong and indeed |=taut a b holds (is a tautology). (2) if |=taut a b, then a |=taut b. Assume that a |=taut b is not a valid tautological implication. Since assuming that "a |=taut b is not a valid tautological implication" resulted in a contradiction, it must be incorrect and indeed a |=taut b is a valid tautological implication.

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