0
   

Trouble Working out these Philosophy Logic Problems??

 
 
Reply Mon 10 Nov, 2014 02:32 pm
Using Rules of Inference and Rules of Replacement, we were given some translation problems that we're supposed to write out some proofs for. I've been working on other problems similar to these, but these four are giving me some trouble. I've tried working backwards, but its just not very clear to me right now. If anyone can help me out, it would be great! Thanks!

Problem 1:
Prove: E⊃M
1. (A⊃ (E ⊃~F)
2. H v (~F ⊃ M)
3. A
4. ~H

Problem 2.

Prove: ~P
1. ( L iff N ) ⊃ C
2. (L iff N ) v (P ⊃C)
3. ~E ⊃C
4. ~C

Problem 3.
Prove: A⊃K
1. (B v K) ⊃ (A ⊃G)
2. ( B v E) ⊃ (G⊃K)
3. B · ~H)

Problem 4:
Prove: G
1. (~K·~N) ⊃ [(~P⊃K) · (~R⊃G)]
2. K⊃N
3. ~N · B
4. ~P v ~ R
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Discussion • Score: 0 • Views: 1,560 • Replies: 0
No top replies

 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
Proof of nonexistence of free will - Discussion by litewave
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
Paradigm shifts - Question by Cyracuz
 
  1. Forums
  2. » Trouble Working out these Philosophy Logic Problems??
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 10/13/2024 at 10:16:57