Indicwiki: 1 revision imported from :alpha:Template:Logicalconnective

2023-03-16T05:37:58Z

1 revision imported from alpha:Template:Logicalconnective

← Older revision	Revision as of 11:07, 16 March 2023
(No difference)

alpha>Indicwiki: Created page with "{| style="border-collapse: collapse; margin-left: auto; margin-right: auto; border: 1px solid black; margin-bottom: 1em;" class="wikitable" |- |+ style="text-align: center; ba..."

2023-03-01T09:59:00Z

Created page with "{| style="border-collapse: collapse; margin-left: auto; margin-right: auto; border: 1px solid black; margin-bottom: 1em;" class="wikitable" |- |+ style="text-align: center; ba..."

New page

{| style="border-collapse: collapse; margin-left: auto; margin-right: auto; border: 1px solid black; margin-bottom: 1em;" class="wikitable"
|-
|+ style="text-align: center; background-color: #ccccff;" | [[{{{main}}}|{{{title|{{{main}}}}}}]]{{{also|}}}
|-
| style="text-align: center; border: 1px solid black; background-color: #eee; padding-left: 1em; padding-right: 1em; width: 1in;" | Notation
| style="text-align: center; border: 1px solid black; background-color: #eee; padding-left: 1em; padding-right: 1em; width: 1in;" | Equivalent formulas
| style="text-align: center; border: 1px solid black; background-color: #eee; padding-left: 1em; padding-right: 1em;" | Truth table
| style="text-align: center; border: 1px solid black; background-color: #eee; padding-left: 1em; padding-right: 1em;" | Venn diagram
|-
| style="border: 1px solid black; padding: 0.5em; text-align: center; background-color: white; padding-left: 1em; padding-right: 1em;" | {{{notation}}}
| style="border: 1px solid black; padding: 0.5em; text-align: center; background-color: white; padding-left: 1em; padding-right: 1em;" | {{{equivalents}}}
| style="border: 1px solid black; padding: 0.5em; background-color: white; padding-left: 1em; padding-right: 1em;" |
{| style="border-collapse: collapse; text-align: center;"
|-
| rowspan="2" colspan="2" style="border: 1px solid black; |  
| colspan="2" style="text-align:center;"| '''Q'''
|-
| style="padding: 4pt;" | 0
| style="padding: 4pt;" | 1
|-
| rowspan="2" style="vertical-align: middle;" | '''P'''
| 0  
| style="border: 1px solid black; padding: .75em; {{#ifeq:{{{truthtable-00}}}|1|background: #ffaaaa;}}" |  {{{truthtable-00}}} 
| style="border: 1px solid black; padding: .75em; {{#ifeq:{{{truthtable-01}}}|1|background: #ffaaaa;}}" |  {{{truthtable-01}}} 
|-
| style="padding: 4pt;" | 1  
| style="border: 1px solid black; padding: .75em; {{#ifeq:{{{truthtable-10}}}|1|background: #ffaaaa;}}" |  {{{truthtable-10}}} 
| style="border: 1px solid black; padding: .75em; {{#ifeq:{{{truthtable-11}}}|1|background: #ffaaaa;}}" |  {{{truthtable-11}}} 
|}
| style="border: 1px solid black; padding: 0.5em; text-align: center; background-color: white; padding-left: 1em; padding-right: 1em;" | [[Image:{{{image}}}|100px]]
|}

<noinclude>
{{documentation|content=
== Usage ==
This template is intended for the [[logical connective]] article. The syntax is as follows:
<syntaxhighlight lang="html">
{{logicalconnective
|main=Sheffer stroke
|title=Alternative denial
|notation=''P'' NAND ''Q'' ''P'' | ''Q''
|equivalents=''P'' → ¬''Q'' ¬''P'' ← ''Q'' ¬''P'' OR ¬''Q''
|truthtable-00=1
|truthtable-01=1
|truthtable-10=1
|truthtable-11=0
|image=Venn1110.svg
}}
</syntaxhighlight>

which produces this output:
{{logicalconnective
|main=Sheffer stroke
|title=Alternative denial
|notation=''P'' NAND ''Q'' ''P'' | ''Q''
|equivalents=''P'' → ¬''Q'' ¬''P'' ← ''Q'' ¬''P'' OR ¬''Q''
|truthtable-00=1
|truthtable-01=1
|truthtable-10=1
|truthtable-11=0
|image=Venn1110.svg
}}
Note that the pipe symbol (|) must be represented as <code>&#124;</code> or otherwise escaped.

[[Category:Table templates]]
}}
</noinclude>

Template:Logicalconnective - Revision history

Indicwiki: 1 revision imported from :alpha:Template:Logicalconnective

alpha>Indicwiki: Created page with "{| style="border-collapse: collapse; margin-left: auto; margin-right: auto; border: 1px solid black; margin-bottom: 1em;" class="wikitable" |- |+ style="text-align: center; ba..."