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
@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.
Stumble It!
Tweet This
Bookmark on Delicious
Share on Facebook
Share on MySpace