GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
126 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 (6.1k points)   | 126 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.8k points)  


Top Users Jul 2017
  1. Bikram

    4386 Points

  2. manu00x

    2464 Points

  3. Debashish Deka

    1850 Points

  4. joshi_nitish

    1686 Points

  5. Arjun

    1340 Points

  6. Hemant Parihar

    1184 Points

  7. Arnab Bhadra

    1112 Points

  8. Shubhanshu

    1080 Points

  9. Ahwan

    900 Points

  10. rahul sharma 5

    732 Points


24,031 questions
30,983 answers
70,430 comments
29,358 users