This template does not require a rating on Wikipedia'scontent assessment scale. It is of interest to the followingWikiProjects:
Mathematics This template is within the scope ofWikiProject Mathematics, a collaborative effort to improve the coverage ofmathematics on Wikipedia. If you would like to participate, please visit the project page, where you can jointhe discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics

For each of the 16 operators, I'd like to see some of these sections:

• Definition
• Properties
• Symbol
• Natural Language/Rhetoric/Colloquial usage
• Venn Diagram
• Boolean Algebra
• Computer Science
• See also

Would somebody object if I change the bottommost link to a newly createdFalse (logic)? A "contradiction" (a statement which entails the false) has it light side counterpart – it is atheorem (a statement, entailed by the truth/tautology), but not atautology (logic) itself.Incnis Mrsi (talk)19:37, 26 February 2012 (UTC)[reply]

This[1] is an outcome worse than either "Contradiction" or "False". Wikipediamay not hide the link to false under the display title "Contradiction".Incnis Mrsi (talk)04:51, 2 March 2012 (UTC)[reply]

I'm open minded to how to organize things. However, upon reflection, I thinkContradiction is more appropriate. We just need to make sure there is some relevant content at linked articles. The falsum, or tee symbols stand for an arbitrary contradiction, or tautology as the case may be. It is a "nullary" logical connective. This is consistent with the behavior of truth functions and arities, etcetera. If there is to be an article about "false" is has to be about the concept of the truth value.Greg Bard (talk)05:34, 2 March 2012 (UTC)[reply]

Sadly, I am not native in English math terminology, which apparently is quite confusing in this domain. Nobody around knows all definitions of "⊥", which logical systems use it as a basic symbol, and how definitions are related.The falsum…stand for an arbitrary contradiction…it is a "nullary" logical connective. If "⊥" is defined as aconnective, then it isnot "arbitrary". Enough said.Incnis Mrsi (talk)14:57, 2 March 2012 (UTC)[reply]

• Template-Class mathematics pages
• NA-priority mathematics pages