Logical truth ⊤ | ||
---|---|---|
Functional: |
| |
Formal: |
| |
Negation |
|
This template's initial visibility currently defaults to autocollapse
, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.
To change this template's initial visibility, the |state=
parameter may be used:
((Logical truth|state=collapsed))
will show the template collapsed, i.e. hidden apart from its title bar.((Logical truth|state=expanded))
will show the template expanded, i.e. fully visible.Rows represent two different mathematical approaches to the truth, and a special series about the false. The order of columns also does matter. Left column contains abstract entities, just defined. Middle column describes application concepts: a truth function may give true or false, a formal proof may exist or not, and a contradiction may occur or be avoided. Rightmost column contains types of (mathematical) results.