GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
104 views
Which of the following are valid arguments?
A1:[P→(Q→R),Q]⟹(P→R)
A2:[(P→Q),(~Q→R),~R]⟹P
asked in Mathematical Logic by Boss (6k points)   | 104 views
A1. is valid

A2 is contingency

1 Answer

+1 vote
A1:[P→(Q→R),Q]⟹(P→R)

=> [!P V !Q V R, Q]

=> !P V R

=> (P->R)

A2:[(P→Q),(~Q→R),~R]⟹P

By Modus Tollens, Q is conclusion. P can be 0/1 when Q is 1. So invalid.
answered by Active (1.7k points)  


Top Users Mar 2017
  1. rude

    5236 Points

  2. sh!va

    3054 Points

  3. Rahul Jain25

    2920 Points

  4. Kapil

    2732 Points

  5. Debashish Deka

    2602 Points

  6. 2018

    1574 Points

  7. Vignesh Sekar

    1430 Points

  8. Bikram

    1424 Points

  9. Akriti sood

    1420 Points

  10. Sanjay Sharma

    1128 Points

Monthly Topper: Rs. 500 gift card

21,549 questions
26,889 answers
61,248 comments
23,251 users