Logical equality
From Wikiversity
[画像:Note]
I request verification that the term "Logical equality" is used in this way in serious literature. Alternatively, this page can be marked as original research/invention. --Dan Polansky (discuss • contribs) 05:51, 2 September 2025 (UTC)
☞ This page belongs to resource collections on Logic and Inquiry.
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 {\displaystyle p~\operatorname {EQ} ~q,} also written {\displaystyle p=q,\!} {\displaystyle p\Leftrightarrow q,\!} or {\displaystyle p\equiv q,\!} appears below:
{\displaystyle p\!}
{\displaystyle q\!}
{\displaystyle p=q\!}
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {T} }
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {T} }
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {T} }
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {F} }
{\displaystyle \operatorname {T} }
{\displaystyle \operatorname {T} }
{\displaystyle \operatorname {T} }
Syllabus
[edit | edit source ]Focal nodes
[edit | edit source ]Peer nodes
[edit | edit source ]- Logical Equality @ InterSciWiki
- Logical Equality @ Subject Wikis
- Logical Equality @ Wikiversity
- Logical Equality @ Wikiversity Beta
Logical operators
[edit | edit source ]
Related topics
[edit | edit source ]
- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic
Relational concepts
[edit | edit source ]
Information, Inquiry
[edit | edit source ]
Related articles
[edit | edit source ]
- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems
- Prospects for Inquiry Driven Systems
- Introduction to Inquiry Driven Systems
- Inquiry Driven Systems : Inquiry Into Inquiry
Document history
[edit | edit source ]Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.