as1 - one year. Is the above statement contradictory? Find...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Propositional Logic Practice Q1. Symbolize the following statements by propositional formulas: (a) A relation is an equivalence relation if and only if it is reflexive, symmetric, and transitive (b) It requires courage and skills to climb that mountain (c) If he is a man who campaigns so hard, he probably will be elected. Q2. Let P He needs a doctor Q He needs a lawyer R He has an accident S He is sick U He is injured Translate the following formulas to English (a) (S P) (R Q) (b) (P Q) ⇐⇒ (S U) (c) (S U) ⇒ ∼ P 3. Consider the statement: If the congress refuses to enact new laws, then the strike will no be over unless it lasts more than one year and the president of the firm resigns, and if either the congress enacts new laws or the strike is not over then the strike lasts more than
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: one year. Is the above statement contradictory? Find out by encoding this statement in logic and checking if it is valid, inconsistent or satisable. 4. If the congress refuses to enact new laws, then the strike will not be over unless it lasts more than one year and the president of the rm resigns. Suppose the congress refuses to act, the strike is over, and the president of the rm does not resign. Has the strike lasted more than one year? 5. Consider the following statements: F1 Tom cannot be a good stduent unless he is smart and his father supports him. F2 Tom is a good student only if his father supports him. Show that F2 is a logical consequence of F1. 1...
View Full Document

Ask a homework question - tutors are online