Question: Please do it with logic 2010, please finished it without Negation of Conditional Deriv 2.037 T37: =(PQ) # ~(PAQ) Deriv 2.037 T37: ::( PQ) -(PA~Q)
Please do it with logic 2010, please finished it without Negation of Conditional
Deriv 2.037 T37: =(PQ) # ~(PAQ) Deriv 2.037 T37: ::( PQ) -(PA~Q) 1 Show ( PQ) + ~(PA-Q) 2 Show -(PAQ) ( PQ) 3 ~( PA~Q) 4 Show PQ 5 (PQ) 6 Show P - Q "show conc" "show cond" ass cd "show cons" ass id "Show Unneg 5" ass cd "show cons" ass id 7 8 Show Q ~Q 9 not 10 11 12 Select Rules Print User Check Save Delete Submit ro Advice Deriv 2.037 T37: =(PQ) # ~(PAQ) Deriv 2.037 T37: ::( PQ) -(PA~Q) 1 Show ( PQ) + ~(PA-Q) 2 Show -(PAQ) ( PQ) 3 ~( PA~Q) 4 Show PQ 5 (PQ) 6 Show P - Q "show conc" "show cond" ass cd "show cons" ass id "Show Unneg 5" ass cd "show cons" ass id 7 8 Show Q ~Q 9 not 10 11 12 Select Rules Print User Check Save Delete Submit ro Advice
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
