Template talk:Logical connectives

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)

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

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)

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)