Difference between revisions of "Template:Common logical symbols"

From blackwiki
Jump to navigation Jump to search
imported>Thebest123123xxxx
imported>Maggyero
 
Line 15: Line 15:
 
| col8  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Turned A|∀]]            </div> {{longitem|style=line-height:1.15em|[[Universal quantification|universal<br/>quantification]]}}
 
| col8  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Turned A|∀]]            </div> {{longitem|style=line-height:1.15em|[[Universal quantification|universal<br/>quantification]]}}
 
| col9  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Existential quantification|∃]]            </div> {{longitem|style=line-height:1.15em|[[Existential quantification|existential<br/>quantification]]}}
 
| col9  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Existential quantification|∃]]            </div> {{longitem|style=line-height:1.15em|[[Existential quantification|existential<br/>quantification]]}}
| col10 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Tee (symbol)|⊤]]        </div> [[Tautology (logic)|tautology]]
+
| col10 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Tee (symbol)|⊤]]        </div> [[True (logic)|true]],<br/>[[Tautology (logic)|tautology]]
 
| col11 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Up tack|⊥]]            </div> [[False (logic)|false]],<br/>[[contradiction]]
 
| col11 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Up tack|⊥]]            </div> [[False (logic)|false]],<br/>[[contradiction]]
 
| col12 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Turnstile (symbol)|⊢]]  </div> [[Turnstile (symbol)|entails,<br/>proves]]
 
| col12 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Turnstile (symbol)|⊢]]  </div> [[Turnstile (symbol)|entails,<br/>proves]]

Latest revision as of 21:51, 14 July 2020

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

See also