Difference between revisions of "Template:Mathematical logic"
Jump to navigation
Jump to search
Template documentation
imported>R'n'B m (Disambiguated: Validity → Validity (logic)) |
imported>Certes m (Disambiguated: Validity → Validity (logic)) |
||
| Line 104: | Line 104: | ||
* [[Finite model theory]] | * [[Finite model theory]] | ||
* [[Truth value]] | * [[Truth value]] | ||
| − | * [[Validity]] | + | * [[Validity (logic)|Validity]] |
| group8 = [[Proof theory]] | | group8 = [[Proof theory]] | ||
Revision as of 00:00, 29 August 2018
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Mathematical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Mathematical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Mathematical logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.
See also
- {{Set theory}}
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |