Difference between revisions of "Template:Classical logic"

From blackwiki
Jump to navigation Jump to search
imported>MisterCake
imported>MisterCake
Line 34: Line 34:
 
  |group3=Rules
 
  |group3=Rules
 
  |list3=
 
  |list3=
* [[Double negative elimination]]
 
 
* [[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]]
*[[Existential generalization|Existential introduction]]
 
*[[Existential instantiation|Existential elimination]]
 
*[[Universal generalization|Universal introduction]]
 
*[[Universal instantiation|Universal elimination]]
 
  
 +
{{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

Template documentation[view] [edit] [history] [purge]

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}}
    • 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.