0
   

logic proofs

 
 
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
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 269 • Replies: 1
No top replies

 
Kolyo
 
  1  
Reply Mon 13 Mar, 2017 04:25 pm
@joycognata,
You have to show the premises are contradictory.
Contradictory premises imply everything.
0 Replies
 
 

 
  1. Forums
  2. » logic proofs
Copyright © 2025 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 01/16/2025 at 01:15:17