Difference between revisions of "Template:Classical logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>Newone |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 54: | Line 54: | ||
|list1= | |list1= | ||
*[[Negation introduction|Negation]] | *[[Negation introduction|Negation]] | ||
| + | *[[double negation introduction|Double negation]] | ||
*[[Existential generalization|Existential]] | *[[Existential generalization|Existential]] | ||
*[[Universal generalization|Universal]] | *[[Universal generalization|Universal]] | ||
| Line 61: | Line 62: | ||
|group2=Elimination | |group2=Elimination | ||
|list2= | |list2= | ||
| − | * [[Double | + | * [[Double negation elimination|Double negation]] |
*[[Existential instantiation|Existential]] | *[[Existential instantiation|Existential]] | ||
*[[Universal instantiation|Universal]] | *[[Universal instantiation|Universal]] | ||
| Line 73: | Line 74: | ||
*[[Bernard Bolzano]] | *[[Bernard Bolzano]] | ||
*[[George Boole]] | *[[George Boole]] | ||
| − | *[[ | + | *[[Georg Cantor]] |
*[[Richard Dedekind]] | *[[Richard Dedekind]] | ||
*[[Augustus De Morgan]] | *[[Augustus De Morgan]] | ||
*[[Gottlob Frege]] | *[[Gottlob Frege]] | ||
*[[Kurt Gödel]] | *[[Kurt Gödel]] | ||
| − | |||
*[[Hugh MacColl]] | *[[Hugh MacColl]] | ||
*[[Giuseppe Peano]] | *[[Giuseppe Peano]] | ||
Latest revision as of 07:44, 30 March 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. |