1
   

Another Proof

 
 
Reply Wed 7 Dec, 2016 10:38 am
Another proof I had problems with. My professor didn't give me any advice or hints for this one so... help?

V • ∼( F v R)
V ⊃ [M ⊃ (H ⊃ ∼I)]
∼F ⊃ T
T ⊃ P
∼R ⊃ (D ⊃ ∼S)
M • (H • D) / ∼(I v S) • P
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 1 • Views: 904 • Replies: 1
No top replies

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

Another proof I had problems with. My professor didn't give me any advice or hints for this one so... help?

V • ∼( F v R)
V ⊃ [M ⊃ (H ⊃ ∼I)]
∼F ⊃ T
T ⊃ P
∼R ⊃ (D ⊃ ∼S)
M • (H • D) / ∼(I v S) • P



As complicated as this proof looks. It's very easy. Try and break all the premises down until you get the needed propositions. Try conjunction elimination. Really clears things up quick.
0 Replies
 
 

Related Topics

Secrets of the New A2K - Discussion by jespah
Malformed Topics! - Discussion by jespah
Why do guys with girlfriends look at me? - Question by jibberjabber
Cycloptichorn is getting married - Discussion by Cycloptichorn
How you can help us with the new site - Discussion by Craven de Kere
Heart Broken? - Question by OwenXx
A conversation gone wrong.. I need thoughts! - Question by xoslaughterxo
 
  1. Forums
  2. » Another Proof
Copyright © 2017 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.04 seconds on 02/19/2017 at 07:42:29