Difference between revisions of "Logical equality"
MyWikiBiz, Author Your Legacy — Friday April 26, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (apply cloumn template) |
Jon Awbrey (talk | contribs) |
||
| Line 56: | Line 56: | ||
* [[Zeroth order logic]] | * [[Zeroth order logic]] | ||
{{col-end}} | {{col-end}} | ||
| − | |||
| − | |||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
| Line 68: | Line 66: | ||
[[Category:Philosophy]] | [[Category:Philosophy]] | ||
[[Category:Semiotics]] | [[Category:Semiotics]] | ||
| + | |||
| + | <sharethis /> | ||
Revision as of 14:18, 25 May 2009
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:
| p | q | p = q |
|---|---|---|
| F | F | T |
| F | T | F |
| T | F | F |
| T | T | T |
