TUTORIAL-3

1. The following is a logical proof for the inference:

Premises :
(¬p ∨ q) → r
r → (s ∨ t)
¬s ∧ ¬u
¬u → ¬t
Conclusion : p

2. Symbolize the following premises and check its validity.

If wages are raised, buying increases
If there is a depression, wages cannot be raised.
Thus if there is a depression, buying cannot increase

3. Test the validity of the following argument.

If I study, then I will not fail mathematics

If I do not play basket ball, then I will study

But I failed mathematics

There fore I played basketball

4. Rephrase the following sentences using Quantifiers.

i) “All lions are fierce.”

ii)“Some lion does not drink coffee.”

iii)“Some fierce creatures do not drink coffee.”

iv)”Some numbers are not real”

v)” Every connected and circuit free graph is a tree”

 5. Prove that the following are valid using Quantifiers

i) Some dogs are animals

Some cats are animals

Therefore, some animals are carnivorous

ii) Some scientists are not engineers

Some astronauts are not engineers

Hence, some scientists are not astronauts

iii) Lions are dangerous animals

There are lions.

Therefore, there are dangerous animals