Changes

Zeroth order logic (view source)

Revision as of 01:40, 23 May 2007

68 bytes added , 01:40, 23 May 2007

column templates

Line 86: Line 86:

==See also==

==See also==

===Logical operators===

===Logical operators===

−

{|

+

−

~~| valign=top |~~

+

{{col-begin}}

+

{{col-break}}

* [[Exclusive disjunction]]

* [[Exclusive disjunction]]

* [[Logical conjunction]]

* [[Logical conjunction]]

* [[Logical disjunction]]

* [[Logical disjunction]]

* [[Logical equality]]

* [[Logical equality]]

−

~~| valign=top |~~

+

{{col-begin}}

* [[Logical implication]]

* [[Logical implication]]

* [[Logical NAND]]

* [[Logical NAND]]

* [[Logical NNOR]]

* [[Logical NNOR]]

* [[Logical negation|Negation]]

* [[Logical negation|Negation]]

−

|}

+

{{col-end}}

===Related topics===

===Related topics===

−

{|

+

−

~~| valign=top |~~

+

{{col-begin}}

+

{{col-break}}

* [[Ampheck]]

* [[Ampheck]]

* [[Boolean algebra]]

* [[Boolean algebra]]

Line 108: Line 110:

* [[Boolean function]]

* [[Boolean function]]

* [[Boolean logic]]

* [[Boolean logic]]

−

~~| valign=top |~~

+

{{col-break}}

* [[Boolean-valued function]]

* [[Boolean-valued function]]

* [[Entitative graph]]

* [[Entitative graph]]

Line 115: Line 117:

* [[Indicator function]]

* [[Indicator function]]

* [[Logical graph]]

* [[Logical graph]]

−

~~| valign=top |~~

+

{{col-break}}

* [[Logical value]]

* [[Logical value]]

* [[Minimal negation operator]]

* [[Minimal negation operator]]

Line 122: Line 124:

* [[Propositional calculus]]

* [[Propositional calculus]]

* [[Truth table]]

* [[Truth table]]

−

|}

+

{{col-end}}

{{aficionados}}<sharethis />

{{aficionados}}<sharethis />

Line 132: Line 134:

[[Category:Logic]]

[[Category:Logic]]

[[Category:Mathematics]]

[[Category:Mathematics]]

+

[[Category:Normative Science]]

12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/16308"