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


Top Users Sep 2017
  1. Habibkhan

    8796 Points

  2. rishu_darkshadow

    3572 Points

  3. Warrior

    2914 Points

  4. Arjun

    2840 Points

  5. A_i_$_h

    2550 Points

  6. manu00x

    2268 Points

  7. nikunj

    1990 Points

  8. Bikram

    1874 Points

  9. makhdoom ghaya

    1820 Points

  10. SiddharthMahapatra

    1718 Points


26,346 questions
33,928 answers
80,525 comments
31,231 users