3 votes 3 votes Which of the following are valid arguments? A1:[P→(Q→R),Q]⟹(P→R) A2:[(P→Q),(~Q→R),~R]⟹P Mathematical Logic mathematical-logic propositional-logic + – vaishali jhalani asked Nov 16, 2016 • retagged May 6, 2021 by Shiva Sagar Rao vaishali jhalani 521 views answer comment Share Follow See 1 comment See all 1 1 comment reply papesh commented Nov 16, 2016 reply Follow Share A1. is valid A2 is contingency 0 votes 0 votes Please log in or register to add a comment.
2 votes 2 votes 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. agoh answered Nov 16, 2016 agoh comment Share Follow See all 0 reply Please log in or register to add a comment.