Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Sunday October 17, 2021
Jump to navigationJump to search
(copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
 
(+ {{aficionados}} <sharethis /> + categories)
Line 52: Line 52:
 
* [[Zeroth order logic]]
 
* [[Zeroth order logic]]
 
|}
 
|}
 +
 +
{{aficionados}}<sharethis />
 +
 +
[[Category:Computer Science]]
 +
[[Category:Formal Languages]]
 +
[[Category:Formal Sciences]]
 +
[[Category:Formal Systems]]
 +
[[Category:Linguistics]]
 +
[[Category:Logic]]
 +
[[Category:Mathematics]]
 +
[[Category:Philosophy]]
 +
[[Category:Semiotics]]

Revision as of 14:38, 21 May 2007

Logical equality is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false or both operands are true.

The truth table of p EQ q (also written as p = q, p ↔ q, or p ≡ q) is as follows:

Logical Equality
p q p = q
F F T
F T F
T F F
T T T


See also

Logical operators

Related topics

Aficionados



<sharethis />