# Statements of Logic.

**URL:** <https://boards.straightdope.com/t/statements-of-logic/145386>\
**Category:** In My Humble Opinion\
**Created:** [December 28, 2002, 6:30pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386 "2002-12-28T18:30:48Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![Cartooniverse](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cartooniverse/32/3084_2.png) [@Cartooniverse](https://boards.straightdope.com/u/Cartooniverse)\
**Post date:** [December 28, 2002, 6:30pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/1 "2002-12-28T18:30:48Z")

</div>

Here’s the place to offer the most inane bits of faux logic you can come up with. For example:

Iron City Beer is from Pittsburgh.  
Steel is made in Pittsburgh.  
Therefore, they must use beer in their steel.

And, so on.

😃

Cartooniverse

---

<div class="post-metadata">

**Author:** ![Raymond\_Luxury\_Yacht](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/raymond_luxury_yacht/32/4099_2.png) [@Raymond\_Luxury\_Yacht](https://boards.straightdope.com/u/Raymond_Luxury_Yacht)\
**Post date:** [December 28, 2002, 7:14pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/2 "2002-12-28T19:14:32Z")

</div>

It’s been used before, but it’s still funny:

Money is the root of all evil.  
Time is money.  
Time is the root of all evil.

---

<div class="post-metadata">

**Author:** ![Dragwyr](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dragwyr/32/2855_2.png) [@Dragwyr](https://boards.straightdope.com/u/Dragwyr)\
**Post date:** [December 28, 2002, 8:09pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/3 "2002-12-28T20:09:31Z")

</div>

God is love.  
Love is blind.  
Ray Charles is blind.  
Therefore Ray Charles is God.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [December 29, 2002, 3:34am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/4 "2002-12-29T03:34:07Z")

</div>

Nothing is better than true love.  
A ham sandwich is better than nothing.  
Therefore, a ham sandwich is better than true love.

---

<div class="post-metadata">

**Author:** ![Cougarfang](https://avatars.discourse-cdn.com/v4/letter/c/c67d28/32.png) [@Cougarfang](https://boards.straightdope.com/u/Cougarfang)\
**Post date:** [December 29, 2002, 7:08am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/5 "2002-12-29T07:08:05Z")

</div>

My feet are cold.  
Ice cubes are cold.  
Therefore, my feet are ice cubes.

[sub]Well, it certainly _feels_ that way…[/sub]

---

<div class="post-metadata">

**Author:** ![Fatwater\_Fewl](https://avatars.discourse-cdn.com/v4/letter/f/4491bb/32.png) [@Fatwater\_Fewl](https://boards.straightdope.com/u/Fatwater_Fewl)\
**Post date:** [December 29, 2002, 7:20am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/6 "2002-12-29T07:20:00Z")

</div>

Oysters exist in the world.  
Oysters mean the world to me.  
Therefore the world is my oyster.

---

<div class="post-metadata">

**Author:** ![racinchikki](https://avatars.discourse-cdn.com/v4/letter/r/eada6e/32.png) [@racinchikki](https://boards.straightdope.com/u/racinchikki)\
**Post date:** [December 29, 2002, 7:20am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/7 "2002-12-29T07:20:41Z")

</div>

Rubber duckies have no legs.  
That guy from Forrest Gump had no legs.  
Rubber duckies are friends with Ernie on Sesame Street.  
Forrest Gump was friends with the guy who had no legs.  
Therefore, the legless guy is a rubber duckie and Forrest Gump can’t play the saxophone.

---

<div class="post-metadata">

**Author:** ![Cartooniverse](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cartooniverse/32/3084_2.png) [@Cartooniverse](https://boards.straightdope.com/u/Cartooniverse)\
**Post date:** [December 29, 2002, 12:16pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/8 "2002-12-29T12:16:58Z")

</div>

( as \*\* Cartooniverse\*\* quiet passes the hat to get up enough money to buy **rainchikki** some Nyquil so she can sleep and feel better…)

Bennies are a slang name for amphetamines.  
Jet airplanes fly fast.  
Therefore, **Bennie and the Jets** is the fastest faux rock band on the planet. 😛

---

<div class="post-metadata">

**Author:** ![Jayrot](https://avatars.discourse-cdn.com/v4/letter/j/3ec8ea/32.png) [@Jayrot](https://boards.straightdope.com/u/Jayrot)\
**Post date:** [December 29, 2002, 7:18pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/9 "2002-12-29T19:18:22Z")

</div>

The Raelians say they have cloned a human.  
Cloning humans is theoretically possible.  
Therefore, the Raelians _did_ clone a human.

---

<div class="post-metadata">

**Author:** ![False\_God](https://avatars.discourse-cdn.com/v4/letter/f/ee7513/32.png) [@False\_God](https://boards.straightdope.com/u/False_God)\
**Post date:** [December 29, 2002, 7:36pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/10 "2002-12-29T19:36:22Z")

</div>

God is love.  
Love is blind.  
Ray Charles is blind.

Therefore, God plays the piano.

---

<div class="post-metadata">

**Author:** ![Shade](https://avatars.discourse-cdn.com/v4/letter/s/2bfe46/32.png) [@Shade](https://boards.straightdope.com/u/Shade)\
**Post date:** [December 30, 2002, 12:06am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/11 "2002-12-30T00:06:24Z")

</div>

```auto

         x=y
        xx=xy
     xx-yy=xy-yy
(x+y)(x-y)=(x-y)y
       x+y=y
let x=y=1

2=1

```

Bertrand Russel and The Pope are two.  
Therefore Bertrand Russel and The Pope are one.  
Tehrefore Bertrand Russel is the pope.

---

<div class="post-metadata">

**Author:** ![Another\_Primate](https://avatars.discourse-cdn.com/v4/letter/a/f19dbf/32.png) [@Another\_Primate](https://boards.straightdope.com/u/Another_Primate)\
**Post date:** [December 30, 2002, 1:15am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/12 "2002-12-30T01:15:30Z")

</div>

> [@](#):
>
> \*Originally posted by Shade \*  
> \*\*
> 
> ```auto
> 
> x=y
> xx=xy
> xx-yy=xy-yy
> (x+y)(x-y)=(x-y)y
> x+y=y
> let x=y=1
> 
> 2=1
> 
> ```
> 
> \*\*

x=y, ok. xx=xy, ok. xx-yy=xy-yy, ok.  
How the hell did you get the left side of  
xx-yy=(x+y)(x-y)  
?

Oh, never mind. You’re right.  
How DOES this work?

---

<div class="post-metadata">

**Author:** ![Zoe](https://avatars.discourse-cdn.com/v4/letter/z/a4c791/32.png) [@Zoe](https://boards.straightdope.com/u/Zoe)\
**Post date:** [December 30, 2002, 1:41am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/13 "2002-12-30T01:41:58Z")

</div>

Syllogisms are three-lined statements of logic.  
This syllogism has three lines.  
Therefore, I am a logical person and my husband is wrong.

---

<div class="post-metadata">

**Author:** ![Dragwyr](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dragwyr/32/2855_2.png) [@Dragwyr](https://boards.straightdope.com/u/Dragwyr)\
**Post date:** [December 30, 2002, 4:28am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/14 "2002-12-30T04:28:19Z")

</div>

My favorite:

> [@](#):
>
> It is known that there are an infinite number of worlds, simply because there is an infinite amount of space for them to be in. However, not every one of them is inhabited. Therefore, there must be a finite number of inhabited worlds. And finite number divided by infinity is as near to nothing as makes no odds, so the average population of all the planets in the Universe can be said to be zero. From this it follows that the population of the whole Universe is also zero, and that any person you may meet from time to time are merely the products of a deranged imagination."

-The Restaurant at the End of the Universe

---

<div class="post-metadata">

**Author:** ![sotally\_tober](https://avatars.discourse-cdn.com/v4/letter/s/46a35a/32.png) [@sotally\_tober](https://boards.straightdope.com/u/sotally_tober)\
**Post date:** [December 30, 2002, 5:28am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/15 "2002-12-30T05:28:39Z")

</div>

> [@](#):
>
> \*Originally posted by Another Primate \*  
> \*\*x=y, ok. xx=xy, ok. xx-yy=xy-yy, ok.  
> How the hell did you get the left side of  
> xx-yy=(x+y)(x-y)  
> ?
> 
> Oh, never mind. You’re right.  
> How DOES this work? \*\*

if x=y then x-y or x+y =0

and when you divide by zero, infinity comes into the picture and tears the argument apart.  
cold is not hot  
hot is not cold

therefore i am smart. 😃

---

<div class="post-metadata">

**Author:** ![Cat\_Whisperer](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cat_whisperer/32/4839_2.png) [@Cat\_Whisperer](https://boards.straightdope.com/u/Cat_Whisperer)\
**Post date:** [December 30, 2002, 6:06am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/16 "2002-12-30T06:06:11Z")

</div>

I lie in every statement I make.  
I lied in the previous statement.  
Therefore I told the truth in my first statement.  
Therefore I lied in my first statement.  
Therefore I told the truth in my first statement.  
(I love paradoxes.)

---

<div class="post-metadata">

**Author:** ![Shade](https://avatars.discourse-cdn.com/v4/letter/s/2bfe46/32.png) [@Shade](https://boards.straightdope.com/u/Shade)\
**Post date:** [December 30, 2002, 2:28pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/17 "2002-12-30T14:28:51Z")

</div>

> [@](#):
>
> \*Originally posted by Another Primate \*  
> \*\*x=y, ok. xx=xy, ok. xx-yy=xy-yy, ok.  
> How the hell did you get the left side of  
> xx-yy=(x+y)(x-y)  
> ?
> 
> Oh, never mind. You’re right.  
> How DOES this work? \*\*

Sorry, are you asking why it gives 2=1 (as Another Primate explains 2_0=1_0 doesn’t mean 2=1, because you can’t cancel the zeros) or how I went from xx-yy to (x+y)(x-y) to which the answer is as you seemed to guess, that I’ve seen it before, so I know these two are equal. (If you do much maths you remember 100s of these thigns)

---

<div class="post-metadata">

**Author:** ![Liberal](https://avatars.discourse-cdn.com/v4/letter/l/848f3c/32.png) [@Liberal](https://boards.straightdope.com/u/Liberal)\
**Post date:** [December 30, 2002, 2:56pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/18 "2002-12-30T14:56:04Z")

</div>

Sotally wrote:

> [@](#):
>
> and when you divide by zero, infinity comes into the picture and tears the argument apart.

Actually, undefined comes into the picture. x/0 is not infinity. 😉

* * *

All cats die,  
Socrates is dead,  
Therefore Socrates was a cat.

---

<div class="post-metadata">

**Author:** ![BuckleberryFerry](https://avatars.discourse-cdn.com/v4/letter/b/5f9b8f/32.png) [@BuckleberryFerry](https://boards.straightdope.com/u/BuckleberryFerry)\
**Post date:** [December 30, 2002, 5:01pm UTC](https://boards.straightdope.com/t/statements-of-logic/145386/19 "2002-12-30T17:01:14Z")

</div>

> [@](#):
>
> \*Originally posted by Another Primate \*  
> \*\*x=y, ok. xx=xy, ok. xx-yy=xy-yy, ok.  
> How the hell did you get the left side of  
> xx-yy=(x+y)(x-y)  
> ?
> 
> Oh, never mind. You’re right.  
> How DOES this work? \*\*

It doesn’t. As far as I can tell, the lines (x+y)(x-y)=(x-y)y into x+y=y are incorrect…if you were to divide both sides by (x-y) would you not get-----

(x+y) = y  
(x-y)  
Or am I really doing that badly in my PreCal class?

~Ferry

---

<div class="post-metadata">

**Author:** ![Another\_Primate](https://avatars.discourse-cdn.com/v4/letter/a/f19dbf/32.png) [@Another\_Primate](https://boards.straightdope.com/u/Another_Primate)\
**Post date:** [January 3, 2003, 9:05am UTC](https://boards.straightdope.com/t/statements-of-logic/145386/20 "2003-01-03T09:05:13Z")

</div>

> [@](#):
>
> \*Originally posted by BuckleberryFerry \*  
> \*\*It doesn’t. As far as I can tell, the lines (x+y)(x-y)=(x-y)y into x+y=y are incorrect…if you were to divide both sides by (x-y) would you not get-----
> 
> (x+y) = y  
> (x-y)  
> Or am I really doing that badly in my PreCal class?
> 
> ~Ferry \*\*

Won’t be rude enough to answer your last question.  
But…  
(X+Y)(X-Y)=(X-Y)Y  
Divide both sides by (X-Y)  
and you get  
(X+Y)=Y

The point of why this doesn’t work? I think it’s that you cannot divide by zero, and so if it is true that X=Y, dividing by (X-Y) produces crazy results.

[Next page](https://boards.straightdope.com/t/statements-of-logic/145386.md?page=2)
