Talk:Counterexample

From Wikipedia, the free encyclopedia

You have new messages (last change).

Uruk-Hai...

/chortle Kaz 19:55, 17 Jan 2005 (UTC)

Not Pc

/chortle Indigenius 01:11, 2 June 2006 (UTC)

[edit] Brazilian logic

Removed: However, it does not work in Brazilian logic, where contradictions aren't necessarily false. Counterexamples can exist in Brazilian logic, but the above argument must be checked to ensure that the contradiction produced actually is false in the particular case at hand.

According to the page referenced, the law of non-contradiction holds in Brazilian logic. (I have my suspicions about the contents of that page too, but \neg \phi(t) \to \neg \forall x:\phi(x) works in linear logic with quantifiers, and R# is stronger than that.) -Dan 16:33, 21 November 2005 (UTC)

[edit] fix-up

The definition for the mathematics should be about something, everyone understands. Just get a better example instead of "Orcs" 24.12.8.97 20:50, 25 September 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../c/o/u/Talk%7ECounterexample_a474.html"