Talk:Counterexample

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Mid Priority	Field: General
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 18:32, 21 May 2007 (UTC)

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
Start	This article has been rated as Start-Class on the quality scale.
???	This article has not yet received an importance rating on the importance scale.

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 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)