CS245 Lecture Notes - Propositional Calculus, Eugenius Warming

84 views3 pages

Document Summary

Due: thu 22 jan 2009 10am in the cs245 drop boxes. There are multiple correct answers to some of these questions: (9 marks) express each of the following sentences as a formula in propositional logic. W r where: r it rains, w it is winter. Explain your response and demonstrate that your response is correct using the semantics of propositional logic. No, the premises do not logically imply the conclusion. The following boolean valuation, v, is a counterexample where the premises are t and the conclusion is f. v(a) = f, v(b) = t, v(c) = f. Premise 1: v( (b a)) = not (v(b) imp v(a)) Premise 2: v(b c) = v(b) or v(c) In the above boolean valuation, both evaluate to t: (6 marks) use transformational proof to prove: (a b) (b c) c true. (a b) (b c) c ( (a b) (b c)) c impl. (a b) (b c) c dm. (a b) (b c) c.

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
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions