Reply
Mon 13 Mar, 2017 08:01 am
i am really stuck on this question. I have spent a few hours on it! Can you help me formulate a derivation and label it with the rules used and numbered by line? Any help is appreciated. Super stuck!!
Premises:
{[~P -> Q) -> R)
~R
(~Q -> P)
Conclusion:
S
~ = negation
-> = implication/ conditional
@joycognata,
You have to show the premises are contradictory.
Contradictory premises imply everything.