View source for Template:Common logical symbols

{{Navbox with columns
| name = Common logical symbols
| state = {{{state|{{{1<includeonly>|autocollapse</includeonly>}}}}}}
| title = [[List of logic symbols|Common logical symbols]]
| fullwidth = on
| colstyle = padding-top:0.85em;text-align:center;white-space:nowrap;padding-bottom:0.85em;

| col1  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Wedge (symbol)|∧]] &nbsp;{{resize|55%|''or''}}&nbsp; [[Ampersand|&]] </div> [[Logical conjunction|and]]
| col2  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Vel (symbol)|∨]]        </div> [[Logical disjunction|or]]
| col3  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Negation|¬]] &nbsp;{{resize|55%|''or''}}&nbsp; [[Tilde|~]] </div> [[Negation|not]]
| col4  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Arrow (symbol)|→]]      </div> [[Material conditional|implies]]
| col5  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Horseshoe (symbol)|⊃]]  </div> [[Material conditional|implies]],<br/>[[Subset|superset]]
| col6  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Triple bar|≡]]          </div> [[If and only if|iff]]
| col7  = <div style="font-size:150%;margin-bottom:0.55em;"> [[Sheffer stroke|{{!}}]]  </div> [[Sheffer stroke|nand]]
| 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]]}}
| col10 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Tee (symbol)|⊤]]        </div> [[Philosophy:Tautology (logic)|tautology]]
| col11 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Up tack|⊥]]             </div> [[Philosophy:False (logic)|false]],<br/>[[Contradiction|contradiction]]
| col12 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Turnstile (symbol)|⊢]]  </div> [[Turnstile (symbol)|entails,<br/>proves]]
| col13 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Double turnstile|⊨]]    </div> [[Double turnstile|entails,<br/>therefore]]
| col14 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Therefore sign|∴]]      </div> [[Logical consequence|therefore]]
| col15 = <div style="font-size:150%;margin-bottom:0.55em;"> [[Because sign#Related signs|∵]] </div> [[Because sign#Related signs|because]]
<!--
| col16 = <div style="font-size:150%;margin-bottom:0.55em;">  </div> 
| col17 = <div style="font-size:150%;margin-bottom:0.55em;">  </div> 
| col18 = <div style="font-size:150%;margin-bottom:0.55em;">  </div> 
| col19 = <div style="font-size:150%;margin-bottom:0.55em;">  </div> 
| col20 = <div style="font-size:150%;margin-bottom:0.55em;">  </div> 
 -->

| below = {{Portal-inline|Philosophy}}<br />{{Portal-inline|Mathematics}}

}}<noinclude>
{{Documentation}}
</noinclude>