The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+2 votes
147 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.6k points) | 147 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)


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

28,834 questions
36,688 answers
90,626 comments
34,641 users