Professional Documents
Culture Documents
Document
Document
Is F
q —> p
Contra positive:- the position of premises and conclusion is swapped and conjugated
p—>q is F
So not p —>not q
P —>q ,F
Not p ,T
Not q ,F
_______
Inverse is False
2. P=T
Q=F
R=F
S=T
Method 1
i (r ^ s)—>(p—>(not q v s))
(F^T)—>(T—>(FvT))
F—>(T—>T)
F—>T
________
ii,(rvq)vr—>(not s^s)
(FvnotF)vF—>(not T^T)
(FvT)vF—>—>(F^T)
TvF—>F
________________
T
Method ii
P Q R S
T F
T F
F T
F T