Difference between revisions of "Template:Classical logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>MisterCake m |
||
| Line 28: | Line 28: | ||
* [[First-order logic|First-order]] | * [[First-order logic|First-order]] | ||
* [[Second-order logic|Second-order]] | * [[Second-order logic|Second-order]] | ||
| + | * [[Higher-order logic|Higher-order]] | ||
|group2=Principles | |group2=Principles | ||
|list2= | |list2= | ||
Revision as of 03:58, 13 January 2019
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Classical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Classical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Classical 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.
| The above documentation is transcluded from Template:Classical logic/doc. (edit | history) Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Please add categories to the /doc subpage. Subpages of this template. |