Logical Proofs, Need help desperately!

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
CollinOG
Posts: 1
Joined: Wed Nov 09, 2016 5:40 pm

Logical Proofs, Need help desperately!

Post by CollinOG » Wed Nov 09, 2016 5:46 pm

Any help is appreciated.. here is what im dealing with

I am writing everything as it appears on the worksheet

1.~XvY
2.~F
3. D (horseshoe) X
4.~Y&F
/~D&F

1.K (horseshoe) C
2. K&G
3. C (horseshoe) ~F
4. ~D
5. ~F (horseshoe) D
/~Kv~R

User avatar
Arising_uk
Posts: 10658
Joined: Wed Oct 17, 2007 2:31 am

Re: Logical Proofs, Need help desperately!

Post by Arising_uk » Fri Nov 11, 2016 9:29 pm

By (horseshoe) do you mean set union U?

If so I'm surprised to find this in predicate logic. Could you give a bit of context to where these proofs are coming from?

User avatar
Harbal
Posts: 3846
Joined: Thu Jun 20, 2013 10:03 pm
Location: Yorkshire
Contact:

Re: Logical Proofs, Need help desperately!

Post by Harbal » Fri Nov 11, 2016 10:59 pm

Arising_uk wrote:By (horseshoe) do you mean set union U?
When people say "horseshoe" they usually mean horseshoe but you can't take anything for granted round here.

User avatar
Arising_uk
Posts: 10658
Joined: Wed Oct 17, 2007 2:31 am

Re: Logical Proofs, Need help desperately!

Post by Arising_uk » Fri Nov 11, 2016 11:34 pm

I was wondering if it was just the Logic teacher showing that any symbol can be used to express some kind of logical operator or relation.

Impenitent
Posts: 1660
Joined: Wed Feb 10, 2010 2:04 pm

Re: Logical Proofs, Need help desperately!

Post by Impenitent » Sat Nov 12, 2016 12:57 am

Mr. Ed used horseshoe logic...

-Imp

Necromancer
Posts: 252
Joined: Thu Jul 30, 2015 12:30 am
Location: Metropolitan-Oslo, Norway, Europe
Contact:

Re: Logical Proofs, Need help desperately!

Post by Necromancer » Sat Nov 12, 2016 1:55 am

This is sentential logic.

Some suggestion:
1.~XvY
2.~F
3. D (horseshoe) X
4.~Y&F
-----------------------
5. ~Y conj. elim. 4.
6. F conj. elim. 4.
7. ~XvY reiteration 1.
8. | ~X
---------
9. | ~X

10. | Y
------------
11. | ~X

12. ~X disj. elim. 7.-11.
13. ~D modus tollens 3., 12.
------------------------
/~D&F conj introd. 6., 13.

Here is your "horseshoe": ⊃ from http://lukasfolsneslea.tripod.com/HTML-LN-charsym1.html.

The logic book your looking for is The Logic Book 5th ed. or so by M. Bergmann, J. Moor and J. Nelson.

User avatar
Arising_uk
Posts: 10658
Joined: Wed Oct 17, 2007 2:31 am

Re: Logical Proofs, Need help desperately!

Post by Arising_uk » Sun Nov 13, 2016 3:41 pm

Oh! Now I get it, the material conditional, doh!

He could have said 'right horseshoe' or 'left horseshoe' for a better clue. :)

Post Reply

Who is online

Users browsing this forum: No registered users and 3 guests