Difference between revisions of "Template:Common logical symbols"
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
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}}
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
| The above documentation is transcluded from Template:Common logical symbols/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. |