Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Doulph88
(removed duplicate link)
imported>Paine Ellsworth
m (Redirect bypass from Strict implication to Strict conditional using popups)
Line 51: Line 51:
 
* [[Semantics]]
 
* [[Semantics]]
 
* [[Statement (logic)|Statement]]
 
* [[Statement (logic)|Statement]]
* [[Strict implication]]
+
* [[Strict conditional|Strict implication]]
 
* [[Substitution (logic)|Substitution]]
 
* [[Substitution (logic)|Substitution]]
 
* [[Syntax (logic)|Syntax]]
 
* [[Syntax (logic)|Syntax]]

Revision as of 13:14, 13 November 2017

Template documentation

Initial visibility: currently defaults to collapsed

To set this template's initial visibility, the |state= parameter may be used:

  • |state=collapsed: {{Logic|state=collapsed}} to show the template collapsed, i.e., hidden apart from its title bar
  • |state=expanded: {{Logic|state=expanded}} to show the template expanded, i.e., fully visible
  • |state=autocollapse: {{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 collapsed.