This template is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
This template does not require a rating on Wikipedia's
content assessment scale.
Format
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
Contradiction vs "False"
Would somebody object if I change the bottommost link to a newly created
False (logic)? A "
contradiction" (a statement which entails the false) has it light side counterpart – it is a
theorem (a statement, entailed by the truth/tautology), but not a
tautology (logic) itself.
Incnis Mrsi (
talk) 19:37, 26 February 2012 (UTC)reply
I'm open minded to how to organize things. However, upon reflection, I think
Contradiction 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 a connective, then it is not "arbitrary". Enough said.
Incnis Mrsi (
talk) 14:57, 2 March 2012 (UTC)reply