Difference between revisions of "Template:Mathematical logic"

From blackwiki
Jump to navigation Jump to search
imported>R'n'B
m (Disambiguated: ValidityValidity (logic))
imported>Certes
m (Disambiguated: ValidityValidity (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

Template documentation

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}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

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