Template:Logicalconnective

From Wikipedia, the free encyclopedia

[[{{{main}}}|{{{main}}}]]
Notation Equivalent
formulas		 Truth table Venn diagram
{{{notation}}} {{{equivalents}}}
  Q
T F
P T    {{{truthtable-tt}}}   {{{truthtable-tf}}} 
F    {{{truthtable-ft}}}   {{{truthtable-ff}}} 
[[Image:{{{image}}}|100px]]

[edit] Usage

This template is intended for the logical connective article. The syntax is as follows:


{{logicalconnective
  |main=Sheffer stroke
  |title=Alternative denial
  |notation=''P''&nbsp;NAND&nbsp;''Q''<br/>''P''&nbsp;&#124;&nbsp;''Q''
  |equivalents=''P''&nbsp;→&nbsp;¬''Q'' <br/> ¬''P''&nbsp;←&nbsp;''Q''<br/>¬''P''&nbsp;OR&nbsp;¬''Q''
  |truthtable-tt=F
  |truthtable-tf=T
  |truthtable-ft=T
  |truthtable-ff=T
  |image=VennFTTT.svg
}}

which produces this output:

Alternative denial
Notation Equivalent
formulas		 Truth table Venn diagram
P NAND Q
P | Q		 P → ¬Q
¬P ← Q
¬P OR ¬Q
  Q
T F
P T    F   T 
F    T   T 

Note that the pipe symbol (|) must be represented as &#124; or otherwise escaped.