1

# I'm not good at these

Wed 7 Dec, 2016 10:48 am
I'm apparently not good with a lot of these proofs...

1. E ⊃ (B • M)
2. A ⊃ M / (E v A) ⊃ M
• Topic Stats
• Top Replies
• Link to this Topic
Type: Question • Score: 1 • Views: 844 • Replies: 2
No top replies

Ding an Sich

1
Wed 7 Dec, 2016 08:56 pm
@agarry13,
agarry13 wrote:

I'm apparently not good with a lot of these proofs...

1. E ⊃ (B • M)
2. A ⊃ M / (E v A) ⊃ M

A few hints here. Try to break down the first premise so you can isolate the "E" proposition as much as possible. Then "connect" it with the second premise. You'll have transform the second premise to get what you want out of it. Then try and work backwards from the conclusion to make sure what you're doing is gonna get you the right result. You will use the distribution rule a few times to get what you want.
0 Replies

Kolyo

1
Thu 8 Dec, 2016 08:55 pm
@agarry13,
Distributing is important, but they don't seem to give you any way of distributing the ⊃ in your list of rules.

So... remember that "material implication" can allow you to turn a nasty ⊃-statement into a statement that is entirely in terms of and's, or's and not's.
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. » I'm not good at these