Propositional Calculus Solution Outline

# Propositional Calculus Solution Outline - (all...

This preview shows pages 1–2. Sign up to view the full content.

Propositional Calculus Solution Outline Problem 1: (a) E = Relation is an Equivalence Relation R = Relation is Reflexive S = Relation is Symmetric T = Relation is Transitive E <==> (R and S and T) (b) C = person has courage S = person has skill M = person can climb mountain (C and S) => M (c) C = man who campaigns hard E = he probably will be elected C => E Problem 2: (a) if he is sick then he needs a doctor, and if he has an accident then he needs a lawyer (b) He needs a lawyer and a doctor if and only if he is sick and injured (c) If he is neither sick nor injured then he does not need a doctor Problem 3: Hint: A unless B stands for: (not A => B) P = congress refuses to enact new laws Q = strike will not be over R = president of firm resigns S = the strike lasts for more than a year F1 : (P => ( not Q => (R and S) ) F2: (not P and Q) => S Now draw the truth table of F1 => F2, and check if it is valid

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (all interpretations are models), inconsistent (no interpretation is a model) or satisfiable (at least one intrpretation is a model). Note: Model of a formula G is an interpretation in which G is true. Problem 4: Assume same encoding as problem 3: F1: (P => (not Q => (R and S)) F2: P F3: not Q F4: not R theorem to prove: S Show that S is a logical consequence of formulas F1, F2, F3 and F4. To do this either show that (F1 and F2 and F3 and F4) => G is a tautology or show that F1 and F2 and F3 and F4 and not G is inconsistent or show that every model of F1 and F2 and F3 and F4 is a model of G. Problem 5: G = Tom is a good student P = Tom's father supports him S = Tom is smart F1: G => (P and S) F2: G => P Show F1 => F2 is a valid formula (i.e., it is a tautology)...
View Full Document

## This note was uploaded on 12/12/2009 for the course SE 3306 taught by Professor Nhut during the Spring '09 term at University of Texas at Dallas, Richardson.

### Page1 / 2

Propositional Calculus Solution Outline - (all...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online