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

2023-02-23T12:01:25Z

1 revision imported from alpha:Template:Logical_connectives

← Older revision	Revision as of 17:31, 23 February 2023
(No difference)

alpha>Indicwiki: Created page with "{{Navbox |name = Logical connectives |title = Logical connectives |state = {{{state|autocollapse}}} |listclass = hlist |image = File..."

2023-02-13T07:13:36Z

Created page with "{{Navbox |name = Logical connectives |title = Logical connectives |state = {{{state<includeonly>|autocollapse</includeonly>}}} |listclass = hlist |image = File..."

New page

{{Navbox
|name = Logical connectives
|title = [[Logical connective]]s
|state = {{{state<includeonly>|autocollapse</includeonly>}}}
|listclass = hlist
|image = [[File:Logical connectives Hasse diagram.svg|80px]]

|list1 =
* [[Tautology (logic)|Tautology]]/[[Logical truth|True]] <math>\top</math>

|list2 =
* [[Sheffer stroke|Alternative denial]] ([[NAND gate]]) <math>\uparrow</math>
* [[Converse implication]] <math>\leftarrow</math>
* [[Material conditional|Implication]] ([[IMPLY gate]]) <math>\rightarrow</math>
* [[Logical disjunction|Disjunction]] ([[OR gate]]) <math>\lor</math>

|list3 =
* [[Negation]] ([[Inverter (logic gate)|NOT gate]]) <math>\neg</math>
* [[Exclusive or]] ([[XOR gate]]) <math>\not\leftrightarrow</math>
* [[Logical biconditional|Biconditional]] ([[XNOR gate]]) <math>\leftrightarrow</math>
* [[Statement (logic)|Statement]] ([[Digital buffer]])

|list4 =
* [[Logical NOR|Joint denial]] ([[NOR gate]]) <math>\downarrow</math>
* [[Material nonimplication|Nonimplication]] ([[NIMPLY gate]]) <math>\nrightarrow</math>
* [[Converse nonimplication]] <math>\nleftarrow</math>
* [[Logical conjunction|Conjunction]] ([[AND gate]]) <math>\land</math>

|list5 =
* [[Contradiction]]/[[False (logic)|False]] <math>\bot</math>

|below = {{Portal-inline|Philosophy}}

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

Template:Logical connectives - Revision history

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

alpha>Indicwiki: Created page with "{{Navbox |name = Logical connectives |title = Logical connectives |state = {{{state|autocollapse}}} |listclass = hlist |image = File..."