Search This Blog

Monday, November 02, 2009

How could you forget something that never existed?

I could not forget anything that never existed.
Negation for statement for "I could not forget anything that never existed" is "I could remember everything that existed"
That was mean if you learned about something, you could never forget it. (I really like this).

But sometimes the logical negation about this proposition is much more rational.
Statement: "I could not forget anything that never existed."
Convert the statement to First Order Logic statement: "Not existed thing therefore not existed thing to forget"
First order logic formula would be
¬∃x → ¬∃forgettable(x)

Then negated formula would be
∀x → ∃¬forgettable(x)

Negated First Order Logic statement would be be: "For every thing therefore existed not forgettable thing"

Negated statement would be: "I could forget something of everything"

x = The Things
¬ : Negation
∃ : Exists
∀ : For All
→ : implication