Finally, the fried chicken proof you’ve been searching for

Russell and I text each other…rather frequently. Since we’ve been doing this sub-blog (which is a total blast!), a continual source of texting delight for us are the search terms that people use to find us. What made that person search for that? What made them click through to us? What did they make of our post when they did? Usually these involve some outlandishly entertaining misspelled sexual proclivity.

A recent search term was a little different. It was, “articles proving popeyes is better than kfc.” And Russell and I wondered, as usual, how this person ended up on our blog. And then we wondered: proof? The person wants proof? Not just a discussion of various merits ending in an opinion? I mean, I’m an anti-relativist, but that’s hardcore even for me.

While I’ve never eaten at a Popeye’s and only once at a KFC, proofs are part of my line. So Russell suggested that I prove it logically. And so, if anyone wants proof that Popeye’s is better than KFC, here it is. NB: a valid proof only. For a sound proof, you’ll have to keep googling.

[Updated to reflect Mike Schilling’s corrections – thanks, Mike!]

Predicates:

R = is a restaurant
O = uses Original Recipe
S = uses 11 herbs and spices
F = serves food that is Finger-lickin’ good
C = is Cajun flavored
G = is Good Ba-You
B = better than
E = serves crawfish etouffee
U = serves frankfurters
N = is a nightclub
P = Popeye’s
K = KFC

Premises:

1. (x) ((Rx & Ox & Sx) –> Fx)
2. (x) ((Rx & Cx) –> Gx)
3. (x) ((Rx & Ex) –> Cx)
4. (x) (y) (((Rx & Gx) & (Ry & Fy)) –> Bxy)
5. (x) (Gx –> ~Fx)
6. Ep V Up
7. ~Up
8. Rp V Np
9. ~Np
10. Rk V Nk
11. ~Nk
12. Ek V Ok
13. ~Ek
14. Sk V Uk
15. ~Uk

To prove: Bpk

16. (y) (((Rp & Gp) & (Ry & Fy)) –> Bpy)    UI 4
17. ((Rp & Gp) & (Rk & Fk)) –> Bpk             UI 4
18. Ep                                                                    DS 6,7
19. Rp                                                                    DS 8,9
20. Rp & Ep                                                         Conj. 18,19
21. (Rp & Ep) –> Cp                                         UI 3
22. Cp                                                                    MP 20, 21
23. Rp & Cp                                                         Conj. 19, 22
24. (Rp & Cp) –> Gp                                         UI 2
25. Gp                                                                    MP 23, 24
26. Rp & Gp                                                         Conj. 19, 25
27. Rk                                                                  DS 10, 11
28. Ok                                                                  DS 12, 13
29. Sk                                                                    DS 14, 15
30. (Rk & Ok & Sk) –> Fk                              UI 1
31. Rk & Ok & Sk                                                Conj. 27, 28, 29
32. Fk                                                                    MP 30, 31
33. Gp –> ~Fp                                                    UI 5
34. ~Fp                                                                 MP 25, 33
35.  ~Rp V ~Fp                                                      DI 34
36. ~ (Rp & Fp)                                                  DM 35
37. ~ (Rp & Gp) V ~(Rp & Fp)                          DI 36
38. ~((Rp & Gp) & (Rp & Fp))                       DM 37
39. Rk & Fk                                                         Conj. 27, 32
40. (Rp & Gp) & (Rk & Fk)                              Conj. 26, 39
41. Bpk                                                                  MP 17, 40

[Cross-posted at main page]

 

Rose Woodhouse

Elizabeth Picciuto was born and reared on Long Island, and, as was the custom for the time and place, got a PhD in philosophy. She freelances, mainly about disability, but once in a while about yeti. Mother to three children, one of whom is disabled, two of whom have brown eyes, three of whom are reasonable cute, you do not want to get her started talking about gardening.

7 Comments

  1. 1) This is so, so awesome. It is totally over my head, but its awesomeness is apparent even to me. Space fishin’ awesome.

    2) This totally belongs on the main page.

  2. “4. (x) (y) (((Rx & Gx) & (Ry & Fy)) –> Bxy)”

    Cheater. 😉

    • I know, right? 🙂 Well, I did say it was valid, not sound!

Comments are closed.