GATE CSE
First time here? Checkout the FAQ!
x
+2 votes
101 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)   | 101 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 Feb 2017
  1. Arjun

    5386 Points

  2. Bikram

    4230 Points

  3. Habibkhan

    3952 Points

  4. Aboveallplayer

    3086 Points

  5. Debashish Deka

    2564 Points

  6. sriv_shubham

    2318 Points

  7. Smriti012

    2240 Points

  8. Arnabi

    2008 Points

  9. mcjoshi

    1696 Points

  10. sh!va

    1684 Points

Monthly Topper: Rs. 500 gift card

20,863 questions
26,022 answers
59,696 comments
22,133 users