GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
92 views

Choose the correct alternatives (More than one may be correct).

Indicate which of the following well-formed formulae are valid:

  1. $\left(P\Rightarrow Q\right) {\wedge} \left(Q \Rightarrow R\right) \Rightarrow \left(P \Rightarrow R\right)$
  2. $\left(P\Rightarrow Q\right) \Rightarrow \left( \neg P \Rightarrow \neg Q\right)$
  3. $\left(P{\wedge} \left(\neg P \vee  \neg Q\right)\right) \Rightarrow Q$
  4. $\left(P \Rightarrow R\right) \vee \left(Q \Rightarrow R\right) \Rightarrow \left(\left(P \vee Q \right)  \Rightarrow R\right)$
asked in Mathematical Logic by Veteran (27.7k points)   | 92 views

A is true it is Hypothetical syllogism.

 

In classical logic, hypothetical syllogism is a valid argument form which is a syllogism having a conditional statement for one or both of its premises. If I do not wake up, then I cannot go to work. If I cannot go to work, then I will not get paid. Therefore, if I do not wake up, then I will not get paid.

 

 

1 Answer

+1 vote
Create a logic table for each of the given formula and check if we are getting true everywhere.
answered by Veteran (10.1k points)  
Top Users Jan 2017
  1. Debashish Deka

    7172 Points

  2. Habibkhan

    4696 Points

  3. Vijay Thakur

    4308 Points

  4. sudsho

    4090 Points

  5. saurabh rai

    4024 Points

  6. Arjun

    3292 Points

  7. santhoshdevulapally

    3066 Points

  8. GateSet

    3016 Points

  9. Bikram

    3014 Points

  10. Sushant Gokhale

    2892 Points

Monthly Topper: Rs. 500 gift card

18,838 questions
23,808 answers
51,589 comments
20,148 users