PREPOSITIONAL AND PREDICATE LOGIC ASSIGNMENT

FOR FRESHMAN STUDENTS OF DILLA UNIVERSITY (10%)

1. use a truth table to show the following pairs of statements is logically equivalent:
p ⟹(q ∨ r) and q ⟹( p ∨ r)
2. Suppose the value of p ⟹ q is T ; what can be said about the value of p ∧q ⟺ p ∨q?
Explain your Answer!
3. Determine the truth value of the following statements
a) ( ∃ x ∈ R ) (x 2−x=0)________________
b) ( ∀ x ∈ R ) ( √ x 2=x )_________________
c) ( ∃ x ∈ R ) ( ∃ y ∈ R ) (x + y +3=8)_____________
d) ( ∀ x ∈ R )( ∃ y ∈ R ) ( x+ y =5)______________
e) ( ∃ x ∈ R ) ( ∀ y ∈ R ) ( x+ y =5)_____________
4. Express the following quantified statement in symbols.
a) For every x and y, xy−2 is prime.
b) For every x and some y, xy−2 is Odd.
c) For some x and y, xy−2 is Even.
5. Use the truth table method to show that the following argument forms are valid.
a) p ⟹ p , p ,r ⟹ q ├ r.
b) p ⟹ q , q ├ p
6. Give formal proof to show that the following argument forms are valid
a) p ⟹ , p ⟹ r ,r ⟹ s ├ q ⟹ s
b) p ∧q ,( q ∨r )⟹ p ├ r