Question

(~Q->P)->~R
t->s
~R->~S
t
~(~P->Q)
what is this logical argument

Answer 1

what is as in; consistent or not?

Answer 2

are these premises?

Answer 3

premises

Answer 4

(-q ^ -p) v -r
1 1
0 0


-t v s
1 1

r v -s
1 1

t
1

-p ^ -q
0 0

id say its good

Answer 5

we can dbl chk :)

(~Q->P)->~R
(0) 1(0)
0(1) 0

t->s
1 1

~R->~S
1(0) 1(0)
t
1

~(~P->Q)
0(1) 0

Answer 6

works out fine