Slide 1 of 7

P

((P&~P)∨Q)

(~R∨(P→((Q→R)&(~S∨R))))

(~Q→Q)

((~P&~Q)↔(P∨Q))

((P&~P)&Q)

Solution list
Question 1

P

contingent

Question 2

((P&~P)∨Q)

contingent

Question 3

(~R∨(P→((Q→R)&(~S∨R))))

tautology

Question 4

(~Q→Q)

contingent

Question 5

((~P&~Q)↔(P∨Q))

inconsistent

Question 6

((P&~P)&Q)

inconsistent