Difference between revisions of "Template:Classical logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>MisterCake |
||
| Line 34: | Line 34: | ||
|group3=Rules | |group3=Rules | ||
|list3= | |list3= | ||
| − | |||
* [[De Morgan's laws]] | * [[De Morgan's laws]] | ||
* [[Material implication (rule of inference)|Material implication]] | * [[Material implication (rule of inference)|Material implication]] | ||
| + | |||
| + | *[[Transposition (logic)|Transposition]] | ||
* [[modus ponens]] | * [[modus ponens]] | ||
* [[modus tollens]] | * [[modus tollens]] | ||
*[[Disjunctive syllogism]] | *[[Disjunctive syllogism]] | ||
*[[Hypothetical syllogism]] | *[[Hypothetical syllogism]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| + | {{Navbox|subgroup | ||
| + | |group1=Introduction | ||
| + | |list1= | ||
| + | *[[Negation introduction|Negation]] | ||
| + | *[[Existential generalization|Existential]] | ||
| + | *[[Universal generalization|Universal]] | ||
| + | *[[Biconditional introduction|Biconditional]] | ||
| + | *[[Conjunction introduction|Conjunction]] | ||
| + | *[[Disjunction introduction|Disjunction]] | ||
| + | |group2=Elimination | ||
| + | |list2= | ||
| + | * [[Double negative elimination|Double negation]] | ||
| + | *[[Existential instantiation|Existential]] | ||
| + | *[[Universal instantiation|Universal]] | ||
| + | *[[Biconditional elimination|Biconditional]] | ||
| + | *[[Conjunction elimination|Conjunction]] | ||
| + | *[[Disjunction elimination|Disjunction]] | ||
| + | }} | ||
|group4=People | |group4=People | ||
|list4= | |list4= | ||
Revision as of 21:56, 11 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. |