2
   

Help with Logic Proof

 
 
Reply Wed 7 Dec, 2016 10:28 am
I'm trying to do some proofs for my logic class and a few of them completely stumped, this one in particular

A ⊃ ( Β ⊃ C ) / ( ~C • D ) ⊃ ( B ⊃ ~A )

The only hint my professor gave me was that I need to add either D or ~D to the premises but I just can't get it to work out... can anyone help?
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 2 • Views: 891 • Replies: 2
No top replies

 
Ding an Sich
 
  1  
Reply Wed 7 Dec, 2016 09:38 pm
@agarry13,
agarry13 wrote:

I'm trying to do some proofs for my logic class and a few of them completely stumped, this one in particular

A ⊃ ( Β ⊃ C ) / ( ~C • D ) ⊃ ( B ⊃ ~A )

The only hint my professor gave me was that I need to add either D or ~D to the premises but I just can't get it to work out... can anyone help?


Two hints: disjunction introduction for either D or ~D, then a lot of assocation to get the result. It's a little tricky.
0 Replies
 
Kolyo
 
  1  
Reply Thu 8 Dec, 2016 09:21 pm
Here's a more general hint on how to do these:

Before using any of the formal rules, try to explain in English why the argument is valid. Write down your explanation. Then try to see how your reasoning translates into the formal rules. That's how I do it.
0 Replies
 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
DOES NOTHING EXIST??? - Question by mark noble
Proof of nonexistence of free will - Discussion by litewave
morals and ethics, how are they different? - Question by existential potential
Destroy My Belief System, Please! - Discussion by Thomas
Star Wars in Philosophy. - Discussion by Logicus
Existence of Everything. - Discussion by Logicus
Is it better to be feared or loved? - Discussion by Black King
 
  1. Forums
  2. » Help with Logic Proof
Copyright © 2017 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 01/20/2017 at 02:04:59