Total Posts:18|Showing Posts:1-18
Jump to topic:

Deducive Logic Puzzle to Formal Logic

Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 1:48:21 PM
Posted: 9 months ago
Below is a logic puzzle that I decided to try to solve using formal logic in order to test my understanding of it. If anyone knows formal logic, how would you write the clues and the necessary axioms to solve this puzzle? I've done so, but I'd like to see how others would go about this...

----------------------------------------------

Esmeralda's Shape-Shifting Studio has a loyal following of people who want to learn to change themselves into various animals, objects, and famous personages. During their very first workshop, five people (Charlie, Juliette, Morgan, Omar, and Tess), each of whom had signed up for a different number of lessons (4, 12, 16, 20, or 24), each transformed him- or herself into a different animal (beetle, crab, marmoset, penguin, or weasel), a different object (cushion, mailbox, pencil sharpener, rope, or toaster), and a different celebrity (Bob Dylan, George Clooney, Jennifer Lopez, Oprah Winfrey, or Stephen King). Despite their initial success, transmogrification is by no means a simple process, and one that should not be tried on one's own; in fact, Esmeralda recently had to make a house call to assist a student who was stuck in the form of a coffee mug and unable to change back to his natural form! From the information provided, determine the number of lessons that each person is taking, as well as the animal, object, and celebrity whose form each student took.

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

2. Charlie (who didn't change into a crab) turned himself into a very convincing rope. The one who shifted into the form of both a cushion and a weasel isn't the student who changed into the shape of Jennifer Lopez.

3. Juliette is taking exactly 8 fewer lessons than the penguin impersonator. The one who turned into George Clooney signed up for neither 16 nor 20 lessons.

4. The person who shifted into both a pencil sharpener and Oprah Winfrey is taking the most lessons.

5. Omar is taking fewer lessons than Tess but more lessons than the one who transmogrified into a penguin, a mailbox, and Bob Dylan.
Bob13
Posts: 708
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 5:41:25 PM
Posted: 9 months ago
At 2/9/2016 1:48:21 PM, Chaosism wrote:
Below is a logic puzzle that I decided to try to solve using formal logic in order to test my understanding of it. If anyone knows formal logic, how would you write the clues and the necessary axioms to solve this puzzle? I've done so, but I'd like to see how others would go about this...

----------------------------------------------

Esmeralda's Shape-Shifting Studio has a loyal following of people who want to learn to change themselves into various animals, objects, and famous personages. During their very first workshop, five people (Charlie, Juliette, Morgan, Omar, and Tess), each of whom had signed up for a different number of lessons (4, 12, 16, 20, or 24), each transformed him- or herself into a different animal (beetle, crab, marmoset, penguin, or weasel), a different object (cushion, mailbox, pencil sharpener, rope, or toaster), and a different celebrity (Bob Dylan, George Clooney, Jennifer Lopez, Oprah Winfrey, or Stephen King). Despite their initial success, transmogrification is by no means a simple process, and one that should not be tried on one's own; in fact, Esmeralda recently had to make a house call to assist a student who was stuck in the form of a coffee mug and unable to change back to his natural form! From the information provided, determine the number of lessons that each person is taking, as well as the animal, object, and celebrity whose form each student took.

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

2. Charlie (who didn't change into a crab) turned himself into a very convincing rope. The one who shifted into the form of both a cushion and a weasel isn't the student who changed into the shape of Jennifer Lopez.

3. Juliette is taking exactly 8 fewer lessons than the penguin impersonator. The one who turned into George Clooney signed up for neither 16 nor 20 lessons.

4. The person who shifted into both a pencil sharpener and Oprah Winfrey is taking the most lessons.

5. Omar is taking fewer lessons than Tess but more lessons than the one who transmogrified into a penguin, a mailbox, and Bob Dylan.

We know that the one who transmogrified into a penguin is not taking 24 lessons (because he or she also transmogrified into Bob Dylan, and the one who transmogrified into Oprah Winfrey is taking the most lessons), 16 lessons (because Juliette is taking 8 fewer lessons than the penguin impersonator, and none of the options are 8 fewer than 16), 4 lessons (for the same reason as 16) or 20 lessons (because Omar is taking more lessons than the penguin impersonator but cannot be taking 24 lessons because Tess is taking more than him); therefore, the person who transmogrified into a penguin is taking 12 lessons.

Because Juliette is taking 8 fewer lessons than the penguin impersonator, she is taking 4 lessons.

Because the person who transmogrified into George Clooney is not taking 16 or 20 lessons, the Bob Dylan impersonator is taking 12 lessons, and the Oprah Winfrey impersonator is taking 24 lessons, she is taking 4 lessons and is Juliette.

Because Tess is taking more lessons than Omar, who is taking more lessons than the penguin impersonator, Tess is taking either 20 or 24 lessons. If she is taking 24 lessons, than Omar is taking either 16 or 20 lessons. If she is taking 20 lessons, than Omar is taking 16 lessons.

Charlie turned into a rope, and the penguin impersonator turned into a mailbox, Charlie is not the penguin impersonator and is taking 16, 20, or 24 lessons. Since Juliette, Tess, Omar, and Charlie are not the penguin impersonator, Morgan is.

Since the person who transmogrified into a marmoset, a toaster, and Stephen King is not taking the most lessons, he is either Charlie, Omar, or Tess. Whoever it is, he or she is taking fewer lessons than the beetle impersonator, which is either Charlie, Omar, or Tess.

Tess is either the beetle, the crab, the weasel, or the marmoset.

Omar is either the marmoset, the crab, the beetle, or the weasel.

Charlie is either the marmoset or the beetle.

Juliette is either the crab or the weasel.

Charlie is not the marmoset because he is the rope and the marmoset is the toaster, so he is the beetle. Because the beetle is taking more lessons than marmoset, the person who is taking the most lessons is a pencil sharpener, and Charlie is a rope, the following can be concluded:

Tess is taking 24 lessons, is Oprah Winfrey, and is the pencil sharpener.

Omar is taking 16 lessons, is the marmoset, is the toaster, and is Stephen King.

Because Tess is the pencil sharpener, she is not the cushion and is not the weasel.

Juliette is the weasel and the cushion, and Tess is the crab.

Charlie is taking 20 lessons and is Jennifer Lopez.

The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.
I don't have a signature. :-)
Heterodox
Posts: 293
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 6:04:15 PM
Posted: 9 months ago
At 2/9/2016 5:41:25 PM, Bob13 wrote:
At 2/9/2016 1:48:21 PM, Chaosism wrote:
Below is a logic puzzle that I decided to try to solve using formal logic in order to test my understanding of it. If anyone knows formal logic, how would you write the clues and the necessary axioms to solve this puzzle? I've done so, but I'd like to see how others would go about this...

----------------------------------------------

Esmeralda's Shape-Shifting Studio has a loyal following of people who want to learn to change themselves into various animals, objects, and famous personages. During their very first workshop, five people (Charlie, Juliette, Morgan, Omar, and Tess), each of whom had signed up for a different number of lessons (4, 12, 16, 20, or 24), each transformed him- or herself into a different animal (beetle, crab, marmoset, penguin, or weasel), a different object (cushion, mailbox, pencil sharpener, rope, or toaster), and a different celebrity (Bob Dylan, George Clooney, Jennifer Lopez, Oprah Winfrey, or Stephen King). Despite their initial success, transmogrification is by no means a simple process, and one that should not be tried on one's own; in fact, Esmeralda recently had to make a house call to assist a student who was stuck in the form of a coffee mug and unable to change back to his natural form! From the information provided, determine the number of lessons that each person is taking, as well as the animal, object, and celebrity whose form each student took.

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

2. Charlie (who didn't change into a crab) turned himself into a very convincing rope. The one who shifted into the form of both a cushion and a weasel isn't the student who changed into the shape of Jennifer Lopez.

3. Juliette is taking exactly 8 fewer lessons than the penguin impersonator. The one who turned into George Clooney signed up for neither 16 nor 20 lessons.

4. The person who shifted into both a pencil sharpener and Oprah Winfrey is taking the most lessons.

5. Omar is taking fewer lessons than Tess but more lessons than the one who transmogrified into a penguin, a mailbox, and Bob Dylan.

We know that the one who transmogrified into a penguin is not taking 24 lessons (because he or she also transmogrified into Bob Dylan, and the one who transmogrified into Oprah Winfrey is taking the most lessons), 16 lessons (because Juliette is taking 8 fewer lessons than the penguin impersonator, and none of the options are 8 fewer than 16), 4 lessons (for the same reason as 16) or 20 lessons (because Omar is taking more lessons than the penguin impersonator but cannot be taking 24 lessons because Tess is taking more than him); therefore, the person who transmogrified into a penguin is taking 12 lessons.

Because Juliette is taking 8 fewer lessons than the penguin impersonator, she is taking 4 lessons.

Because the person who transmogrified into George Clooney is not taking 16 or 20 lessons, the Bob Dylan impersonator is taking 12 lessons, and the Oprah Winfrey impersonator is taking 24 lessons, she is taking 4 lessons and is Juliette.

Because Tess is taking more lessons than Omar, who is taking more lessons than the penguin impersonator, Tess is taking either 20 or 24 lessons. If she is taking 24 lessons, than Omar is taking either 16 or 20 lessons. If she is taking 20 lessons, than Omar is taking 16 lessons.

Charlie turned into a rope, and the penguin impersonator turned into a mailbox, Charlie is not the penguin impersonator and is taking 16, 20, or 24 lessons. Since Juliette, Tess, Omar, and Charlie are not the penguin impersonator, Morgan is.

Since the person who transmogrified into a marmoset, a toaster, and Stephen King is not taking the most lessons, he is either Charlie, Omar, or Tess. Whoever it is, he or she is taking fewer lessons than the beetle impersonator, which is either Charlie, Omar, or Tess.

Tess is either the beetle, the crab, the weasel, or the marmoset.

Omar is either the marmoset, the crab, the beetle, or the weasel.

Charlie is either the marmoset or the beetle.

Juliette is either the crab or the weasel.

Charlie is not the marmoset because he is the rope and the marmoset is the toaster, so he is the beetle. Because the beetle is taking more lessons than marmoset, the person who is taking the most lessons is a pencil sharpener, and Charlie is a rope, the following can be concluded:

Tess is taking 24 lessons, is Oprah Winfrey, and is the pencil sharpener.

Omar is taking 16 lessons, is the marmoset, is the toaster, and is Stephen King.

Because Tess is the pencil sharpener, she is not the cushion and is not the weasel.

Juliette is the weasel and the cushion, and Tess is the crab.

Charlie is taking 20 lessons and is Jennifer Lopez.

The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

Is what I got. Could both be wrong!

http://i.imgur.com...
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 6:56:07 PM
Posted: 9 months ago
At 2/9/2016 5:41:25 PM, Bob13 wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

That appears to be all correct. Well done!

However...

I was trying to refer to formal logic as in...

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

Translated, this could be something like:

1. (Ex)(Txm&Txt&Txk&(Ay)(Tyb>Fxy))

b :: beetle
k :: Stephen King
m :: marmoset
t :: toaster
T :: ...transmogrified into...
F :: ...took fewer lessons than...

Of course, there are a lot of variables, so I used double-character subjects; instead of "m" I used "am", for example ("animal/marmoset").
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 6:57:08 PM
Posted: 9 months ago
At 2/9/2016 6:04:15 PM, Heterodox wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

Is what I got. Could both be wrong!

http://i.imgur.com...

Nope. Victory is yours!! But, see my previous post, here...
Bob13
Posts: 708
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 7:00:07 PM
Posted: 9 months ago
At 2/9/2016 6:56:07 PM, Chaosism wrote:
At 2/9/2016 5:41:25 PM, Bob13 wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

That appears to be all correct. Well done!

However...

I was trying to refer to formal logic as in...

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

Translated, this could be something like:

1. (Ex)(Txm&Txt&Txk&(Ay)(Tyb>Fxy))

b :: beetle
k :: Stephen King
m :: marmoset
t :: toaster
T :: ...transmogrified into...
F :: ...took fewer lessons than...

Of course, there are a lot of variables, so I used double-character subjects; instead of "m" I used "am", for example ("animal/marmoset").

I don't know how formal logic works.
I don't have a signature. :-)
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 7:03:56 PM
Posted: 9 months ago
At 2/9/2016 7:00:07 PM, Bob13 wrote:
At 2/9/2016 6:56:07 PM, Chaosism wrote:
At 2/9/2016 5:41:25 PM, Bob13 wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

That appears to be all correct. Well done!

However...

I was trying to refer to formal logic as in...

1. The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle.

Translated, this could be something like:

1. (Ex)(Txm&Txt&Txk&(Ay)(Tyb>Fxy))

b :: beetle
k :: Stephen King
m :: marmoset
t :: toaster
T :: ...transmogrified into...
F :: ...took fewer lessons than...

Of course, there are a lot of variables, so I used double-character subjects; instead of "m" I used "am", for example ("animal/marmoset").

I don't know how formal logic works.

It's fun if your nerdy enough, I suppose. :) Here's where I learned it, in case you're interested at all: https://www.youtube.com...
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 7:04:29 PM
Posted: 9 months ago
At 2/9/2016 7:03:56 PM, Chaosism wrote:
It's fun if *your nerdy enough, I suppose. :) ...

*you're
Heterodox
Posts: 293
Add as Friend
Challenge to a Debate
Send a Message
2/9/2016 10:19:40 PM
Posted: 9 months ago
At 2/9/2016 6:57:08 PM, Chaosism wrote:
At 2/9/2016 6:04:15 PM, Heterodox wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

Is what I got. Could both be wrong!

http://i.imgur.com... /UvGTJPb.png

Nope. Victory is yours!! But, see my previous post, here...

I was just here for the logic puzzle, the way I use to do them as a kid. No clue about what you are asking about.
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/10/2016 1:25:18 PM
Posted: 9 months ago
At 2/9/2016 10:19:40 PM, Heterodox wrote:
At 2/9/2016 6:57:08 PM, Chaosism wrote:
At 2/9/2016 6:04:15 PM, Heterodox wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

Is what I got. Could both be wrong!

http://i.imgur.com... /UvGTJPb.png

Nope. Victory is yours!! But, see my previous post, here...

I was just here for the logic puzzle, the way I use to do them as a kid. No clue about what you are asking about.

No problem. I have a book of them, I can post another one at a later time, if you'd like.

To see what I'm talking about (if interested), check out the link I provided in my previous post in this thread.
Heterodox
Posts: 293
Add as Friend
Challenge to a Debate
Send a Message
2/11/2016 2:32:50 PM
Posted: 9 months ago
At 2/10/2016 1:25:18 PM, Chaosism wrote:
At 2/9/2016 10:19:40 PM, Heterodox wrote:
At 2/9/2016 6:57:08 PM, Chaosism wrote:
At 2/9/2016 6:04:15 PM, Heterodox wrote:
The answer

Tess- 24 lessons, Oprah Winfrey, pencil sharpener, and crab.

Charlie- 20 lessons, Jennifer Lopez, rope, and beetle.

Omar- 16 lessons, Stephen King, toaster, and marmoset.

Morgan- 12 lessons, Bob Dylan, mailbox, and penguin.

Juliette- 4 lessons, George Clooney, cushion, and weasel.

Please tell me if there are any gaps in my logic.

Is what I got. Could both be wrong!

http://i.imgur.com... /UvGTJPb.png

Nope. Victory is yours!! But, see my previous post, here...

I was just here for the logic puzzle, the way I use to do them as a kid. No clue about what you are asking about.

No problem. I have a book of them, I can post another one at a later time, if you'd like.

To see what I'm talking about (if interested), check out the link I provided in my previous post in this thread.

I vaguely remember it, from the mensa/logic books/magazines I use to get when I was a kid. Never really looked into it. Not really interested in another, thanks though. Just did that one for the nostalgia (haven't done one since I was a kid).
Diqiucun_Cunmin
Posts: 2,710
Add as Friend
Challenge to a Debate
Send a Message
2/11/2016 2:57:03 PM
Posted: 9 months ago
I did formal logic at school last semester, but I'm not sure I want to use natural deduction to take on a puzzle of this size :O
The thing is, I hate relativism. I hate relativism more than I hate everything else, excepting, maybe, fibreglass powerboats... What it overlooks, to put it briefly and crudely, is the fixed structure of human nature. - Jerry Fodor

Don't be a stat cynic:
http://www.debate.org...

Response to conservative views on deforestation:
http://www.debate.org...

Topics I'd like to debate (not debating ATM): http://tinyurl.com...
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/15/2016 5:23:45 PM
Posted: 9 months ago
Here's my setup...

Operative Symbols (modified to accommodate the limited DDO format)

~ :: Negation
& :: Conjunction
v :: Disjunction
> :: Implication
<> :: Equivalence
!= :: Not Equal

Representation for subjects
I had to use double-characters due to the high quantity of subjects:

People:
pa=Charlie, pb=Juliette, pc=Morgan, pd=Omar, pe=Tess

Animals:
aa=Beetle, ab=Crab, ac=Marmoset, ad=Penguin, ae=Weasel

Objects:
oa=Cushion, ob=Mailbox, oc=Pencil Sharpener, od=Rope, oe=Toaster

Celebrities:
ca=Bob Dylan, cb=George Clooney, cc=Jennifer Lopez, cd=Oprah Winfrey, ce=Stephen King

Representation for predicates

C = "... transmogrified into the celebrity-form of ..."
L = "... took a number of lessons equal to ..."
N = "... transmogrified into the animal-form of a(n) ..."
O = "... transmogrified into the object-form of a(n) ..."
Q = "... took exactly eight fewer lessons than ..."
M = "... took more lessens than ..."

Expression of clues

P1) (Epx)(Npxac&Opxoe&Cpxce&(Apy)(Npyaa>Mpypx))
"The person who transmogrified him- or herself into a marmoset, a toaster, and Stephen King signed up for fewer lessons than the one who changed into a beetle."

P2) ~Npaab&Opaod&(Epx)(Opxoa&Npxaev~Cpxcc)
"Charlie (who didn't change into a crab) turned himself into a very convincing rope. The one who shifted into the form of both a cushion and a weasel isn't the student who changed into the shape of Jennifer Lopez."

P3) (Apx)(Npxad<>Qpbpx)&(Apy)(Cpycb>~(LpylcvLpyld))
"Juliette is taking exactly 8 fewer lessons than the penguin impersonator. The one who turned into George Clooney signed up for neither 16 nor 20 lessons."

P4) (Apx)((Opxoc<>Lpxle)&(Cpxcd<>Lpxle))
"The person who shifted into both a pencil sharpener and Oprah Winfrey is taking the most lessons."

P5) Mpepd&(Epx)(Apxad&Opxob&Cpxca&Mpdpx)
"Omar is taking fewer lessons than Tess but more lessons than the one who transmogrified into a penguin, a mailbox, and Bob Dylan."

Axioms

A1) (pa!=pb)&(pa!=pc)&(pa!=pd)&(pa!=pe)&(pb!=pc)&(pb!=pd)&(pb!=pe)&(pc!=pd)&(pc!=pe)&(pd!=pe)
A2) Lq&(la!=lb)&(la!=lc)&(la!=ld)&(la!=le)&(lb!=lc)&(lb!=ld)&(lb!=le)&(lc!=ld)&(lc!=le)&(ld!=le)
A3) Nq&(aa!=ab)&(aa!=ac)&(aa!=ad)&(aa!=ae)&(ab!=ac)&(ab!=ad)&(ab!=ae)&(ac!=ad)&(ac!=ae)&(ad!=ae)
A4) Oq&(oa!=ob)&(oa!=oc)&(oa!=od)&(oa!=oe)&(ob!=oc)&(ob!=od)&(ob!=oe)&(oc!=od)&(oc!=oe)&(od!=oe)
A5) Cq&(ca!=cb)&(ca!=cc)&(ca!=cd)&(ca!=ce)&(cb!=cc)&(cb!=cd)&(cb!=ce)&(cc!=cd)&(cc!=ce)&(cd!=ce)
A6) (Apx)(LpxlavLpxlbvLpxlcvLpxldvLpxle)
A7) (Apx)(NpxaavNpxabvNpxacvNpxadvNpxae)
A8) (Apx)(OpxoavOpxobvOpxocvOpxodvOpxoe)
A9) (Apx)(CpxcavCpxcbvCpxccvCpxcdvCpxce)
A10) (AF)(Azx)(FpazxvFpbzxvFpczxvFpdzxvFpezx)
A11) (AF)(Apx)(Azx)(Fpxzx>(Apy)((Fq&(px!=py))>~Fpyzx))
A12) AF)(Apx)(Azx)(Fpxzx>(Azy)((Fq&(zx!=zy))>~Fpxzy))
A13) (AF)(Azx)(Epx)(Fq>Fpxzx)
A14) (Apx)(Apy)(Qpxpy>(Mpypx&((Lpxla&Lpylb)v(Lpxlb&Lpyld)v(Lpxlc&Lpyle))))
A15) (Apx)(Apy)(Mpxpy>(~Lpxla&~Lpyle))
A16) (Apx)(Apy)(Apz)((Mpxpy&Mpypz)>(~Lpzld&~Lpxlb&Mpxpz))
A17) (Apw)(Apx)(Apy)(Apz)((Mpwpx&Mpxpy&Mpypz)>(~Lpzlc&~Lpwlc&Mpzpw))
A18) (Apx)(Apy)((Lpxlc&Lpyld)>Mpypx)
A19) (Apx)(Apy)((px!=py)>(Mpxpy<>~Mpypx))

Notes:
1) A2-A5: the generic "Xq" statement is there as an generic qualifier to regulate Universal Instantiations in axioms A11,A12, & A13.
2) The italicized "F" represents a generic, unspecific predicate for the purposes of Universal Instantiation (Second Order Logic).
3) A15-A17: these express the impossibilities of the "M" predicate in relation to the maximum and minimum "L" values.


...in case anyone at all is interested. ~awaits passing tumbleweeds~
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/16/2016 3:37:43 PM
Posted: 9 months ago
My solution (part 1):

P6) (Epx)(Npxad&Opxob&Cpxca&Mpdpx) (P5,Simp)
P7) Npqad&Opqob&Cpqca&Mpdpq (P6,EI)
P8) Npqad&Opqob&Cpqca (P7,Simp)
P9) Npqad (P7,Simp)
P10) Opqob (P7,Simp)
P11) Cpqca (P7,Simp)
P12) Mpdpq (P7,Simp)
P13) (Apx)(Npxad<>Qpbpx) (P3,Simp)
P14) Npqad<>Qpbpq (P13,UI)
P15) (Npqad>Qpbpq)&(Qpbpq>Npqad) (P14,Equiv)
P16) Npqad>Qpbpq (P15,Simp)
P17) Qpbpq (P9,P16,MP)
P18) (Apy)(Qpbpy>(Mpypb&((Lpbla&Lpylb)v(Lpblb&Lpyld)v(Lpblc&Lpyle)))) (A14,UI)
P19) Qpbpq>(Mpqpb&((Lpbla&Lpqlb)v(Lpblb&Lpqld)v(Lpblc&Lpqle))) (P18,UI)
P20) Mpqpb&((Lpbla&Lpqlb)v(Lpblb&Lpqld)v(Lpblc&Lpqle)) (P17,P19,MP)
P21) Mpqpb (P20,Simp)
P22) (Lpbla&Lpqlb)v(Lpblb&Lpqld)v(Lpblc&Lpqle) (P20,Simp)
P23) (Apy)(Mpdpy>(~Lpdla&~Lpyle)) (A15,UI)
P24) Mpdpq>(~Lpdla&~Lpqle) (P23,UI)
P25) ~Lpdla&~Lpqle (P12,P24,MP)
P26) ~Lpdla (P25,Simp)
P27) ~Lpqle (P25,Simp)
P28) ~Lpqlev~Lpblc (P27,Add)
P29) ~Lpblcv~Lpqle (P28,Com)
P30) ~(Lpblc&Lpqle) (P29,DM)
P31) (Lpbla&Lpqlb)v(Lpblb&Lpqld) (P22,P30,DS)
P32) (Apy)(Apz)((Mpepy&Mpypz)>(~Lpzld&~Lpelb&Mpepz)) (A16,UI)
P33) (Apz)((Mpepd&Mpdpz)>(~Lpzld&~Lpelb&Mpepz)) (P32,UI)
P34) (Mpepd&Mpdpq)>(~Lpqld&~Lpelb&Mpepq) (P33,UI)
P35) Mpepd (P5,Simp)
P36) Mpepd&Mpdpq (P12,P35,Conj)
P37) ~Lpqld&~Lpelb&Mpepq (P34,P36,MP)
P38) ~Lpqld (P37,Simp)
P39) ~Lpelb (P37,Simp)
P40) Mpepq (P37,Simp)
P41) ~Lpqldv~Lpblb (P38,Add)
P42) ~Lpblbv~Lpqld (P41,Com)
P43) ~(Lpblb&Lpqld) (P42,DM)
P44) Lpbla&Lpqlb (P31,P43,DS)
P45) Lpbla (P44,Simp)
P46) Lpqlb (P44,Simp)
P47) Lpqlb&Npqad&Opqob&Cpqca (P8,P46,Conj)
P48) ~Npaab (P2,Simp)
P49) Opaod (P2,Simp)
P50) (Epx)(Opxoa&Npxaev~Cpxcc) (P2,Simp)
P51) Oproa&Npraev~Cprcc (P50,EI)
P52) Oproa&Nprae (P51,Simp)
P53) Oproa (P51,Simp)
P54) Nprae (P51,Simp)
P55) ~Cprcc (P51,Simp)
P56) Npsac&Opsoe&Cpsce&(Apy)(Npyaa>Mpyps) (P1,EI)
P57) Npsac&Opsoe&Cpsce (P56,Simp)
P58) Npsac (P56,Simp)
P59) Opsoe (P56,Simp)
P60) Cpsce (P56,Simp)
P61) (Apy)(Npyaa>Mpyps) (P56,Simp)
P62) (Apx)(Azx)(Opxzx>(Azy)((O"&(zx!=zy))>~Opxzy)) (A12,UI)
P63) (Azx)(Opazx>(Azy)((O"&(zx!=zy))>~Opazy)) (P62,UI)
P64) Opaod>(Azy)((O"&(od!=zy))>~Opazy) (P63,UI)
P65) (Azy)((O"&(od!=zy))>~Opazy) (P49,P64,MP)
P66) (O"&(od!=oc))>~Opaoc (P65,UI)
P67) O"&(oc!=od) (A4,Simp)
P68) O"&(od!=oc) (P67,ID)
P69) ~Opaoc (P66,P68,MP)
P70) (Opaoc<>Lpale)&(Cpacd<>Lpale) (P4,UI)
P71) Opaoc<>Lpale (P70,Simp)
P72) (Opaoc>Lpale)&(Lpale>Opaoc) (P71,Equiv)
P73) Lpale>Opaoc (P72,Simp)
P74) ~Lpale (P69,P73,MT)
P75) Cpacd<>Lpale (P70,Simp)
P76) (Cpacd>Lpale)&(Lpale>Cpacd) (P75,Equiv)
P77) Cpacd>Lpale (P76,Simp)
P78) ~Cpacd (P74,P77,MT)
P79) (Apx)(Azx)(Lpxzx>(Azy)((L"&(zx!=zy))>~Lpxzy)) (A12,UI)
P80) (Azx)(Lpbzx>(Azy)((L"&(zx!=zy))>~Lpbzy)) (P79,UI)
P81) Lpbla>(Azy)((L"&(la!=zy))>~Lpbzy) (P80,UI)
P82) (Azy)((Lq&(la!=zy))>~Lpbzy) (P45,P81,MP)
P83) (Lq&(la!=le))>~Lpble (P82,UI)
P84) Lq&(la!=le) (A2,Simp)
P85) ~Lpble (P83,P84,MP)
P86) (Opboc<>Lpble)&(Cpbcd<>Lpble) (P4,UI)
P87) Opboc<>Lpble (P86,Simp)
P88) (Opboc>Lpble)&(Lpble>Opboc) (P87,Equiv)
P89) Opboc>Lpble (P88,Simp)
P90) ~Opboc (P85,P89,MT)
P91) Cpbcd<>Lpble (P86,Simp)
P92) (Cpbcd>Lpble)&(Lpble>Cpbcd) (P91,Equiv)
P93) Cpbcd>Lpble (P92,Simp)
P94) ~Cpbcd (P85,P93,MT)
P95) (Apy)(Mpepy>(~Lpela&~Lpyle)) (A15,UI)
P96) Mpepd>(~Lpela&~Lpdle) (P95,UI)
P97) ~Lpela&~Lpdle (P35,P96,MP)
P98) ~Lpela (P97,Simp)
P99) ~Lpdle (P97,Simp)
P100) (Opdoc<>Lpdle)&(Cpdcd<>Lpdle) (P4,UI)
P101) Opdoc<>Lpdle (P100,Simp)
P102) (Opdoc>Lpdle)&(Lpdle>Opdoc) (P101,Equiv)
P103) Opdoc>Lpdle (P102,Simp)
P104) ~Opdoc (P99,P103,MT)
P105) Cpdcd<>Lpdle (P100,Simp)
P106) (Cpdcd>Lpdle)&(Lpdle>Cpdcd) (P105,Equiv)
P107) Cpdcd>Lpdle (P106,Simp)
P108) ~Cpdcd (P99,P107,MT)
P109) (Azx)(Epx)(Nq>Npxzx) (A13,UI)
P110) (Epx)(Nq>Npxaa) (P109,UI)
P111) Nq>Nptaa (P110,EI)
P112) Nq (A3,Simp)
P113) Nptaa (P111,P112,MP)
P114) Nptaa>Mptps (P61,UI)
P115) Mptps (P113,P114,MP)
P116) (Apy)(Mptpy>(~Lptla&~Lpyle)) (A15,UI)
P117) Mptps>(~Lptla&~Lpsle) (P116,UI)
P118) ~Lptla&~Lpsle (P115,P117,MP)
P119) ~Lptla (P118,Simp)
P120) ~Lpsle (P118,Simp)
+P121) (pt=pb) (AIP)
+P122) Lptla (P45,P121,ID)
+P123) Lptla&~Lptla (P119,P122,Conj)
P124) (pt!=pb) (P121-P123,IP)
P125) (Apx)(Azx)(Npxzx>(Apy)((Nq&(px!=py))>~Npyzx)) (A11,UI)
P126) (Azx)(Nptzx>(Apy)((Nq&(pt!=py))>~Npyzx)) (P125,UI)
P127) Nptaa>(Apy)((Nq&(pt!=py))>~Npyaa) (P126,UI)
P128) (Apy)((Nq&(pt!=py))>~Npyaa) (P113,P127,MP)
P129) (Nq&(pt!=pb))>~Npbaa (P128,UI)
P130) Nq&(pt!=pb) (P112,P124,Conj)
P131) ~Npbaa (P129,P130,MP)
P132) (Lq&(la!=lb))>~Lpblb (P82,UI)
P133) Lq&(la!=lb) (A2,Simp)
P134) ~Lpblb (P132,P133,MP)
+P135) (pq=pb) (AIP)
+P136) Lpblb (P46,P135,ID)
+P137) Lpblb&~Lpblb (P134,P136,Conj)
P138) (pq!=pb) (P135-P137,IP)
P139) (Azx)(Npqzx>(Apy)((Nq&(pq!=py))>~Npyzx)) (P125,UI)
P140) Npqad>(Apy)((Nq&(pq!=py))>~Npyad) (P139,UI)
P141) (Apy)((Nq&(pq!=py))>~Npyad) (P9,P140,MP)
P142) (Nq&(pq!=pb))>~Npbad (P141,UI)
P143) Nq&(pq!=pb) (P112,P138,Conj)
P144) ~Npbad (P142,P143,MP)
P145) (Apx)(Azx)(Opxzx>(Apy)((Oq&(px!=py))>~Opyzx)) (A11,UI)
P146) (Azx)(Opqzx>(Apy)((Oq&(pq!=py))>~Opyzx)) (P145,UI)
P147) Opqob>(Apy)((Oq&(pq!=py))>~Opyob) (P146,UI)
P148) (Apy)((Oq&(pq!=py))>~Opyob) (P10,P147,MP)
P149) (Oq&(pq!=pb))>~Opbob (P148,UI)
P150) Oq (A4,Simp)
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/16/2016 3:38:31 PM
Posted: 9 months ago
My Solution (Part 2):

P151) Oq&(pq!=pb) (P138,P150,Conj)
P152) ~Opbob (P149,P151,MP)
P153) (Apx)(Azx)(Cpxzx>(Apy)((Cq&(px!=py))>~Cpyzx)) (A11,UI)
P154) (Azx)(Cpqzx>(Apy)((Cq&(pq!=py))>~Cpyzx)) (P153,UI)
P155) Cpqca>(Apy)((Cq&(pq!=py))>~Cpyca) (P154,UI)
P156) (Apy)((Cq&(pq!=py))>~Cpyca) (P11,P155,MP)
P157) (Cq&(pq!=pb))>~Cpbca (P156,UI)
P158) Cq (A5,Simp)
P159) Cq&(pq!=pb) (P138,P158,Conj)
P160) ~Cpbca (P157,P159,MP)
P161) (Azx)(Opazx>(Apy)((Oq&(pa!=py))>~Opyzx)) (P145,UI)
P162) Opaod>(Apy)((Oq&(pa!=py))>~Opyod) (P161,UI)
P163) (Apy)((Oq&(pa!=py))>~Opyod) (P49,P162,MP)
P164) (Oq&(pa!=pb))>~Opbod (P163,UI)
P165) (pa!=pb) (A1,Simp)
P166) Oq&(pa!=pb) (P150,P165,Conj)
P167) ~Opbod (P164,P166,MP)
P168) (Azx)(Epx)(Cq>Cpxzx) (A13,UI)
P169) (Epx)(Cq>Cpxcb) (P168,UI)
P170) Cq>Cpucb (P169,EI)
P171) Cpucb (P158,P170,MP)
P172) (Apy)(Cpycb>~(LpylcvLpyld)) (P3,Simp)
P173) Cpucb>~(LpulcvLpuld) (P172,UI)
P174) ~(LpulcvLpuld) (P171,P173,MP)
P175) ~Lpulc&~Lpuld (P174,DM)
P176) ~Lpulc (P175,Simp)
P177) ~Lpuld (P175,Simp)
P178) (Apx)(Azx)(Cpxzx>(Azy)((Cq&(zx!=zy))>~Cpxzy)) (A12,UI)
P179) (Azx)(Cpuzx>(Azy)((Cq&(zx!=zy))>~Cpuzy)) (P178,UI)
P180) Cpucb>(Azy)((Cq&(cb!=zy))>~Cpuzy) (P179,UI)
P181) (Azy)((Cq&(cb!=zy))>~Cpuzy) (P171,P180,MP)
P182) (Cq&(cb!=cd))>~Cpucd (P181,UI)
P183) (cb!=cd) (A5,Simp)
P184) Cq&(cb!=cd) (P158,P183,Conj)
P185) ~Cpucd (P182,P184,MP)
P186) (Opuoc<>Lpule)&(Cpucd<>Lpule) (P4,UI)
P187) Cpucd<>Lpule (P186,Simp)
P188) (Cpucd>Lpule)&(Lpule>Cpucd) (P187,Equiv)
P189) Lpule>Cpucd (P188,Simp)
P190) ~Lpule (P185,P189,MT)
P191) Opuoc<>Lpule (P186,Simp)
P192) (Opuoc>Lpule)&(Lpule>Opuoc) (P191,Equiv)
P193) Opuoc>Lpule (P192,Simp)
P194) ~Opuoc (P190,P193,MT)
P195) (Cq&(cb!=ca))>~Cpuca (P181,UI)
P196) (ca!=cb) (A5,Simp)
P197) (cb!=ca) (P196,ID)
P198) Cq&(cb!=ca) (P158,P197,Conj)
P199) ~Cpuca (P195,P198,MP)
+P200) (pq=pu) (AIP)
+P201) Cpuca (P11,P200,ID)
+P202) Cpuca&~Cpuca (P199,P201,Conj)
P203) (pq!=pu) (P200-P202,IP)
P204) (Apx)(Azx)(Lpxzx>(Apy)((Lq&(px!=py))>~Lpyzx)) (A11,UI)
P205) (Azx)(Lpqzx>(Apy)((Lq&(pq!=py))>~Lpyzx)) (P204,UI)
P206) Lpqlb>(Apy)((Lq&(pq!=py))>~Lpylb) (P205,UI)
P207) (Apy)((Lq&(pq!=py))>~Lpylb) (P46,P206,MP)
P208) (Lq&(pq!=pu))>~Lpulb (P207,UI)
P209) Lq (A2,Simp)
P210) Lq&(pq!=pu) (P203,P209,Conj)
P211) ~Lpulb (P208,P210,MP)
P212) LpulavLpulbvLpulcvLpuldvLpule (A6,UI)
P213) LpulavLpulbvLpulcvLpuld (P190,P212,DS)
P214) LpulavLpulbvLpulc (P177,P213,DS)
P215) LpulavLpulb (P176,P214,DS)
P216) Lpula (P211,P215,DS)
P217) (Azx)(Lpbzx>(Apy)((Lq&(pb!=py))>~Lpyzx)) (P204,UI)
P218) Lpbla>(Apy)((Lq&(pb!=py))>~Lpyla) (P217,UI)
P219) (Apy)((Lq&(pb!=py))>~Lpyla) (P45,P218,MP)
+P220) (pb!=pu) (AIP)
+P221) (Lq&(pb!=pu))>~Lpula (P219,UI)
+P222) Lq&(pb!=pu) (P209,P220,Conj)
+P223) ~Lpula (P221,P222,MP)
+P224) Lpula&~Lpula (P216,P223,Conj)
P225) (pb=pu) (P220-P224,IP)
P226) Cpbcb (P171,ID)
P227) (Cq&(cb!=ce))>~Cpuce (P181,UI)
P228) Cq&(cb!=ce) (A5,Simp)
P229) ~Cpuce (P227,P228,MP)
+P230) (ps=pu) (AIP)
+P231) Cpuce (P60,P230,ID)
+P232) Cpuce&~Cpuce (P229,P231,Conj)
P233) (ps!=pu) (P230-P232,IP)
P234) (ps!=pb) (P225,P233,ID)
P235) (Azx)(Opszx>(Apy)((Oq&(ps!=py))>~Opyzx)) (P145,UI)
P236) Opsoe>(Apy)((Oq&(ps!=py))>~Opyoe) (P235,UI)
P237) (Apy)((Oq&(ps!=py))>~Opyoe) (P59,P236,MP)
P238) (Oq&(ps!=pb))>~Opboe (P237,UI)
P239) Oq&(ps!=pb) (P150,P234,Conj)
P240) ~Opboe (P238,P239,MP)
P241) OpboavOpbobvOpbocvOpbodvOpboe (A8,UI)
P242) OpboavOpbobvOpbocvOpbod (P240,P241,DS)
P243) OpboavOpbobvOpboc (P167,P242,DS)
P244) OpboavOpbob (P90,P243,DS)
P245) Opboa (P152,P244,DS)
P246) (Azx)(Opbzx>(Apy)((Oq&(pb!=py))>~Opyzx)) (P145,UI)
P247) Opboa>(Apy)((Oq&(pb!=py))>~Opyoa) (P246,UI)
P248) (Apy)((Oq&(pb!=py))>~Opyoa) (P245,P247,MP)
+P249) (pb!=pr) (AIP)
+P250) (Oq&(pb!=pr))>~Oproa (P248,UI)
+P251) Oq&(pb!=pr) (P150,P249,Conj)
+P252) ~Oproa (P250,P251,MP)
+P253) Oproa&~Oproa (P245,P252,Conj)
P254) (pb=pr) (P249-P253,IP)
P255) Npbae (P54,P254,ID)
P256) Lpbla&Npbae (P45,P255,Conj)
P257) Lpbla&Npbae&Opboa (P245,P256,Conj)
P258) Lpbla&Npbae&OpboavCpbcb (P226,P257,Conj)
P259) (Oq&(od!=ob))>~Opaob (P65,UI)
P260) Oq&(ob!=od) (A4,Simp)
P261) Oq&(od!=ob) (P260,ID)
P262) ~Opaob (P259,P261,MP)
+P263) (pq=pa) (AIP)
+P264) Opaob (P10,P263,ID)
+P265) Opaob&~Opaob (P262,P264,Conj)
P266) (pq!=pa) (P263-P265,IP)
P267) (Nq&(pq!=pa))>~Npaad (P141,UI)
P268) Nq&(pq!=pa) (P112,P266,Conj)
P269) ~Npaad (P267,P268,MP)
P270) (Oq&(od!=oe))>~Opaoe (P65,UI)
P271) Oq&(od!=oe) (A4,Simp)
P272) ~Opaoe (P270,P271,MP)
+P273) (ps=pa) (AIP)
+P274) Opaoe (P59,P273,ID)
+P275) Opaoe&~Opaoe (P272,P274,Conj)
P276) (ps!=pa) (P273-P275,IP)
P277) (Azx)(Npszx>(Apy)((Nq&(ps!=py))>~Npyzx)) (P125,UI)
P278) Npsac>(Apy)((Nq&(ps!=py))>~Npyac) (P277,UI)
P279) (Apy)((Nq&(ps!=py))>~Npyac) (P58,P278,MP)
P280) (Nq&(ps!=pa))>~Npaac (P279,UI)
P281) Nq&(ps!=pa) (P112,P276,Conj)
P282) ~Npaac (P280,P281,MP)
P283) (Azx)(Npbzx>(Apy)((Nq&(pb!=py))>~Npyzx)) (P125,UI)
P284) Npbae>(Apy)((Nq&(pb!=py))>~Npyae) (P283,UI)
P285) (Apy)((Nq&(pb!=py))>~Npyae) (P255,P284,MP)
P286) (Nq&(pb!=pa))>~Npaae (P285,UI)
P287) Nq&(pa!=pb) (P112,P165,Conj)
P288) Nq&(pb!=pa) (P287,ID)
P289) ~Npaae (P286,P288,MP)
P290) NpaaavNpaabvNpaacvNpaadvNpaae (A7,UI)
P291) NpaaavNpaabvNpaacvNpaad (P289,P290,DS)
P292) NpaaavNpaabvNpaac (P269,P291,DS)
P293) NpaaavNpaab (P282,P292,DS)
P294) Npaaa (P48,P293,DS)
P295) Npaaa&Opaod (P49,P294,Conj)
P296) (Apy)(Apz)((Mpdpy&Mpypz)>(~Lpzld&~Lpdlb&Mpdpz)) (A16,UI)
P297) (Apz)((Mpdpq&Mpqpz)>(~Lpzld&~Lpdlb&Mpdpz)) (P296,UI)
P298) (Mpdpq&Mpqpb)>(~Lpbld&~Lpdlb&Mpdpb) (P297,UI)
P299) Mpdpq&Mpqpb (P12,P21,Conj)
P300) ~Lpbld&~Lpdlb&Mpdpb (P298,P299,MP)
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/16/2016 3:40:51 PM
Posted: 9 months ago
My solution (part 3):

P301) ~Lpdlb (P300,Simp)
+P302) (pq=pd) (AIP)
+P303) Lpdlb (P46,P302,ID)
+P304) Lpdlb&~Lpdlb (P301,P303,Conj)
P305) (pq!=pd) (P302-P304,IP)
P306) (Nq&(pq!=pd))>~Npdad (P141,UI)
P307) Nq&(pq!=pd) (P112,P305,Conj)
P308) ~Npdad (P306,P307,MP)
+P309) (pq=pe) (AIP)
+P310) Lpelb (P46,P309,ID)
+P311) Lpelb&~Lpelb (P39,P310,Conj)
P312) (pq!=pe) (P309-P311,IP)
P313) (Nq&(pq!=pe))>~Npead (P141,UI)
P314) Nq&(pq!=pe) (P112,P312,Conj)
P315) ~Npead (P313,P314,MP)
P316) (Azx)(NpazxvNpbzxvNpczxvNpdzxvNpezx) (A10,UI)
P317) NpaadvNpbadvNpcadvNpdadvNpead (P316,UI)
P318) NpaadvNpbadvNpcadvNpdad (P315,P317,DS)
P319) NpaadvNpbadvNpcad (P308,P318,DS)
P320) NpaadvNpcad (P144,P319,DS)
P321) Npcad (P269,P320,DS)
P322) (Azx)(Npczx>(Apy)((Nq&(pc!=py))>~Npyzx)) (P125,UI)
P323) Npcad>(Apy)((Nq&(pc!=py))>~Npyad) (P322,UI)
P324) (Apy)((Nq&(pc!=py))>~Npyad) (P321,P323,MP)
+P325) (pc!=pq) (AIP)
+P326) (Nq&(pc!=pq))>~Npqad (P324,UI)
+P327) Nq&(pc!=pq) (P112,P325,Conj)
+P328) ~Npqad (P326,P327,MP)
+P329) Npqad&~Npqad (P9,P328,Conj)
P330) (pc=pq) (P325-P329,IP)
P331) Lpclb&Npcad&Opcob&Cpcca (P47,P330,ID)
P332) ~Lpcle (P27,P330,ID)
P333) (Azx)(LpazxvLpbzxvLpczxvLpdzxvLpezx) (A10,UI)
P334) LpalevLpblevLpclevLpdlevLpele (P333,UI)
P335) LpalevLpblevLpclevLpele (P99,P334,DS)
P336) LpalevLpblevLpele (P332,P335,DS)
P337) LpalevLpele (P85,P336,DS)
P338) Lpele (P74,P337,DS)
P339) (Opeoc<>Lpele)&(Cpecd<>Lpele) (P4,UI)
P340) Opeoc<>Lpele (P339,Simp)
P341) (Opeoc>Lpele)&(Lpele>Opeoc) (P340,Equiv)
P342) Lpele>Opeoc (P341,Simp)
P343) Opeoc (P338,P342,MP)
P344) Cpecd<>Lpele (P339,Simp)
P345) (Cpecd>Lpele)&(Lpele>Cpecd) (P344,Equiv)
P346) Lpele>Cpecd (P345,Simp)
P347) Cpecd (P338,P346,MP)
P348) Lpele&Opeoc (P338,P343,Conj)
P349) Lpele&Opeoc&Cpecd (P347,P348,Conj)
P350) Lpclb (P331,Simp)
P351) (Lq&(pb!=pa))>~Lpala (P219,UI)
P352) Lq&(pa!=pb) (P165,P209,Conj)
P353) Lq&(pb!=pa) (P352,ID)
P354) ~Lpala (P351,P353,MP)
P355) (Lq&(pq!=pa))>~Lpalb (P207,UI)
P356) Lq&(pq!=pa) (P209,P266,Conj)
P357) ~Lpalb (P355,P356,MP)
P358) LpalavLpalbvLpalcvLpaldvLpale (A6,UI)
P359) LpalavLpalbvLpalcvLpald (P74,P358,DS)
P360) LpalavLpalcvLpald (P357,P359,DS)
P361) LpalcvLpald (P354,P360,DS)
P362) LpdlavLpdlbvLpdlcvLpdldvLpdle (A6,UI)
P363) LpdlavLpdlbvLpdlcvLpdld (P99,P362,DS)
P364) LpdlavLpdlcvLpdld (P301,P363,DS)
P365) LpdlcvLpdld (P26,P364,DS)
P366) (Oq&(pa!=pd))>~Opdod (P163,UI)
P367) (pa!=pd) (A1,Simp)
P368) Oq&(pa!=pd) (P150,P367,Conj)
P369) ~Opdod (P366,P368,MP)
P370) (Oq&(pb!=pd))>~Opdoa (P248,UI)
P371) (pb!=pd) (A1,Simp)
P372) Oq&(pb!=pd) (P150,P371,Conj)
P373) ~Opdoa (P370,P372,MP)
P374) (Oq&(pq!=pd))>~Opdob (P148,UI)
P375) Oq&(pq!=pd) (P150,P305,Conj)
P376) ~Opdob (P374,P375,MP)
P377) OpdoavOpdobvOpdocvOpdodvOpdoe (A8,UI)
P378) OpdoavOpdobvOpdocvOpdoe (P369,P377,DS)
P379) OpdoavOpdobvOpdoe (P104,P378,DS)
P380) OpdoavOpdoe (P376,P379,DS)
P381) Opdoe (P373,P380,DS)
+P382) (ps!=pd) (AIP)
+P383) (Oq&(ps!=pd))>~Opdoe (P237,UI)
+P384) Oq&(ps!=pd) (P150,P382,Conj)
+P385) ~Opdoe (P383,P384,MP)
+P386) Opdoe&~Opdoe (P381,P385,Conj)
P387) (ps=pd) (P382-P386,IP)
+P388) (pt!=pa) (AIP)
+P389) (Nq&(pt!=pa))>~Npaaa (P128,UI)
+P390) Nq&(pt!=pa) (P112,P388,Conj)
+P391) ~Npaaa (P389,P390,MP)
+P392) Npaaa&~Npaaa (P294,P391,Conj)
P393) (pt=pa) (P388-P392,IP)
P394) Mptpd (P115,P387,ID)
P395) MpNpd (P393,P394,ID)
P396) (Apy)((pa!=py)>(MpNpy<>~Mpypa)) (A19,UI)
P397) (pa!=pd)>(MpNpd<>~Mpdpa) (P396,UI)
P398) MpNpd<>~Mpdpa (P367,P397,MP)
P399) (MpNpd>~Mpdpa)&(~Mpdpa>MpNpd) (P398,Equiv)
P400) MpNpd>~Mpdpa (P399,Simp)
P401) ~Mpdpa (P395,P400,MP)
P402) (Azx)(Lpazx>(Apy)((Lq&(pa!=py))>~Lpyzx)) (P204,UI)
+P403) Lpalc (AIP)
+P404) Lpalc>(Apy)((Lq&(pa!=py))>~Lpylc) (P402,UI)
+P405) (Apy)((Lq&(pa!=py))>~Lpylc) (P403,P404,MP)
+P406) (Lq&(pa!=pd))>~Lpdlc (P405,UI)
+P407) Lq&(pa!=pd) (P209,P367,Conj)
+P408) ~Lpdlc (P406,P407,MP)
+P409) Lpdld (P365,P408,DS)
+P410) (Apy)((Lpalc&Lpyld)>Mpypa) (A18,UI)
+P411) (Lpalc&Lpdld)>Mpdpa (P410,UI)
+P412) Lpalc&Lpdld (P403,P409,Conj)
+P413) Mpdpa (P411,P412,MP)
+P414) Mpdpa&~Mpdpa (P401,P413,Conj)
P415) ~Lpalc (P403-P414,IP)
P416) Lpald (P361,P415,DS)
P417) Lpald>(Apy)((Lq&(pa!=py))>~Lpyld) (P402,UI)
P418) (Apy)((Lq&(pa!=py))>~Lpyld) (P416,P417,MP)
P419) (Lq&(pa!=pd))>~Lpdld (P418,UI)
P420) Lq&(pa!=pd) (P209,P367,Conj)
P421) ~Lpdld (P419,P420,MP)
P422) Lpdlc (P365,P421,DS)
P423) Lpald&Npaaa&Opaod (P295,P416,Conj)
P424) Npdac&Opdoe&Cpdce (P57,387,ID)
P425) Lpdlc&Npdac&Opdoe&Cpdce (P422,P424,Conj)
P426) (Cq&(pq!=pa))>~Cpaca (P156,UI)
P427) Cq&(pq!=pa) (P158,P266,Conj)
P428) ~Cpaca (P426,P427,MP)
P429) (Azx)(Cpbzx>(Apy)((Cq&(pb!=py))>~Cpyzx)) (P153,UI)
P430) Cpbcb>(Apy)((Cq&(pb!=py))>~Cpycb) (P429,UI)
P431) (Apy)((Cq&(pb!=py))>~Cpycb) (P226,P430,MP)
P432) (Cq&(pb!=pa))>~Cpacb (P431,UI)
P433) Cq&(pa!=pb) (P158,P165,Conj)
P434) Cq&(pb!=pa) (P433,ID)
P435) ~Cpacb (P432,P434,MP)
P436) (Azx)(Cpszx>(Apy)((Cq&(ps!=py))>~Cpyzx)) (P153,UI)
P437) Cpsce>(Apy)((Cq&(ps!=py))>~Cpyce) (P436,UI)
P438) (Apy)((Cq&(ps!=py))>~Cpyce) (P60,P437,MP)
P439) (Cq&(ps!=pa))>~Cpace (P438,UI)
P440) Cq&(ps!=pa) (P158,P276,Conj)
P441) ~Cpace (P439,P440,MP)
P442) CpacavCpacbvCpaccvCpacdvCpace (A9,UI)
P443) CpacavCpacbvCpaccvCpacd (P441,P442,DS)
P444) CpacavCpacbvCpacc (P78,P443,DS)
P445) CpacavCpacc (P435,P444,DS)
P446) Cpacc (P428,P445,DS)
P447) Lpald&Npaaa&Opaod&Cpacc (P423,P446,Conj)
P448) (Nq&(pt!=pe))>~Npeaa (P128,UI)
P449) (Nq&(pa!=pe))>~Npeaa (P393,P448,ID)
P450) (pa!=pe) (A1,Simp)
P451) Nq&(pa!=pe) (P112,P450,Conj)
P452) ~Npeaa (P449,P451,MP)
P453) (Nq&(ps!=pe))>~Npeac (P279,UI)
P454) (Nq&(pd!=pe))>~Npeac (P387,P453,ID)
P455) (pd!=pe) (A1,Simp)
P456) Nq&(pd!=pe) (P112,P455,Conj)
P457) ~Npeac (P454,P456,MP)
P458) (Nq&(pb!=pe))>~Npeae (P285,UI)
P459) (pb!=pe) (A1,Simp)
P460) Nq&(pb!=pe) (P112,P459,Conj)
P461) ~Npeae (P458,P460,MP)
P462) NpeaavNpeabvNpeacvNpeadvNpeae (A7,UI)
P463) NpeaavNpeabvNpeacvNpead (P461,P462,DS)
P464) NpeaavNpeabvNpeac (P315,P463,DS)
P465) NpeaavNpeab (P457,P464,DS)
P466) Npeab (P452,P465,DS)
P467) Lpele&Npeab&Opeoc&Cpecd (P349,P466,Conj)
Chaosism
Posts: 2,649
Add as Friend
Challenge to a Debate
Send a Message
2/16/2016 3:44:18 PM
Posted: 9 months ago
Conclusion:

C1) Lpald&Npaaa&Opaod&Cpacc (P447)
Charlie took 20 lessons and transmogrified into the beetle, the rope, and Jennifer Lopez.

C2) Lpbla&Npbae&Opboa%Cpbcb (P258)
Juliette took 4 lessons and transmogrified into the weasel, the cushion, and George Clooney.

C3) Lpclb&Npcad&Opcob&Cpcca (P331)
Morgan took 12 lessons and transmogrified into the penguin, the mailbox, and Bob Dylan.

C4) Lpdlc&Npdac&Opdoe&Cpdce (P425)
Omar took 16 lessons and transmogrified into the marmoset the toaster, and Stephen King.

C5) Lpele&Npeab&Opeoc&Cpecd (P467)
Tess took 24 lessons and transmogrified into the crab, the pencil sharpener, and Oprah Winfrey.