https://subwiki.org/w/index.php?action=history&feed=atom&title=Logical_equality
Logical equality - Revision history
2026-04-09T08:37:34Z
Revision history for this page on the wiki
MediaWiki 1.41.2
https://subwiki.org/w/index.php?title=Logical_equality&diff=710&oldid=prev
Jon Awbrey: add article
2015-11-04T04:24:54Z
<p>add article</p>
<p><b>New page</b></p><div><font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].<br />
<br />
'''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.<br />
<br />
The [[truth table]] of <math>p ~\operatorname{EQ}~ q,</math> also written <math>p = q,\!</math> <math>p \Leftrightarrow q,\!</math> or <math>p \equiv q,\!</math> appears below:<br />
<br />
<br><br />
<br />
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%"<br />
|+ style="height:30px" | <math>\text{Logical Equality}\!</math><br />
|- style="height:40px; background:#f0f0ff"<br />
| style="width:33%" | <math>p\!</math><br />
| style="width:33%" | <math>q\!</math><br />
| style="width:33%" | <math>p = q\!</math><br />
|-<br />
| <math>\operatorname{F}</math> || <math>\operatorname{F}</math> || <math>\operatorname{T}</math><br />
|-<br />
| <math>\operatorname{F}</math> || <math>\operatorname{T}</math> || <math>\operatorname{F}</math><br />
|-<br />
| <math>\operatorname{T}</math> || <math>\operatorname{F}</math> || <math>\operatorname{F}</math><br />
|-<br />
| <math>\operatorname{T}</math> || <math>\operatorname{T}</math> || <math>\operatorname{T}</math><br />
|}<br />
<br />
<br><br />
<br />
==Syllabus==<br />
<br />
===Focal nodes===<br />
<br />
* [[Inquiry Live]]<br />
* [[Logic Live]]<br />
<br />
===Peer nodes===<br />
<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Logical_equality Logical Equality @ InterSciWiki]<br />
* [http://mywikibiz.com/Logical_equality Logical Equality @ MyWikiBiz]<br />
* [http://ref.subwiki.org/wiki/Logical_equality Logical Equality @ Subject Wikis]<br />
* [http://en.wikiversity.org/wiki/Logical_equality Logical Equality @ Wikiversity]<br />
* [http://beta.wikiversity.org/wiki/Logical_equality Logical Equality @ Wikiversity Beta]<br />
<br />
===Logical operators===<br />
<br />
{{col-begin}}<br />
{{col-break}}<br />
* [[Exclusive disjunction]]<br />
* [[Logical conjunction]]<br />
* [[Logical disjunction]]<br />
* [[Logical equality]]<br />
{{col-break}}<br />
* [[Logical implication]]<br />
* [[Logical NAND]]<br />
* [[Logical NNOR]]<br />
* [[Logical negation|Negation]]<br />
{{col-end}}<br />
<br />
===Related topics===<br />
<br />
{{col-begin}}<br />
{{col-break}}<br />
* [[Ampheck]]<br />
* [[Boolean domain]]<br />
* [[Boolean function]]<br />
* [[Boolean-valued function]]<br />
* [[Differential logic]]<br />
{{col-break}}<br />
* [[Logical graph]]<br />
* [[Minimal negation operator]]<br />
* [[Multigrade operator]]<br />
* [[Parametric operator]]<br />
* [[Peirce's law]]<br />
{{col-break}}<br />
* [[Propositional calculus]]<br />
* [[Sole sufficient operator]]<br />
* [[Truth table]]<br />
* [[Universe of discourse]]<br />
* [[Zeroth order logic]]<br />
{{col-end}}<br />
<br />
===Relational concepts===<br />
<br />
{{col-begin}}<br />
{{col-break}}<br />
* [[Continuous predicate]]<br />
* [[Hypostatic abstraction]]<br />
* [[Logic of relatives]]<br />
* [[Logical matrix]]<br />
{{col-break}}<br />
* [[Relation (mathematics)|Relation]]<br />
* [[Relation composition]]<br />
* [[Relation construction]]<br />
* [[Relation reduction]]<br />
{{col-break}}<br />
* [[Relation theory]]<br />
* [[Relative term]]<br />
* [[Sign relation]]<br />
* [[Triadic relation]]<br />
{{col-end}}<br />
<br />
===Information, Inquiry===<br />
<br />
{{col-begin}}<br />
{{col-break}}<br />
* [[Inquiry]]<br />
* [[Dynamics of inquiry]]<br />
{{col-break}}<br />
* [[Semeiotic]]<br />
* [[Logic of information]]<br />
{{col-break}}<br />
* [[Descriptive science]]<br />
* [[Normative science]]<br />
{{col-break}}<br />
* [[Pragmatic maxim]]<br />
* [[Truth theory]]<br />
{{col-end}}<br />
<br />
===Related articles===<br />
<br />
{{col-begin}}<br />
{{col-break}}<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]<br />
{{col-break}}<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]<br />
{{col-break}}<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]<br />
{{col-end}}<br />
<br />
==Document history==<br />
<br />
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.<br />
<br />
* [http://intersci.ss.uci.edu/wiki/index.php/Logical_equality Logical Equality], [http://intersci.ss.uci.edu/ InterSciWiki]<br />
* [http://mywikibiz.com/Logical_equality Logical Equality], [http://mywikibiz.com/ MyWikiBiz]<br />
* [http://wikinfo.org/w/index.php/Logical_equality Logical Equality], [http://wikinfo.org/w/ Wikinfo]<br />
* [http://en.wikiversity.org/wiki/Logical_equality Logical Equality], [http://en.wikiversity.org/ Wikiversity]<br />
* [http://beta.wikiversity.org/wiki/Logical_equality Logical Equality], [http://beta.wikiversity.org/ Wikiversity Beta]<br />
* [http://en.wikipedia.org/w/index.php?title=Logical_equality&oldid=77110577 Logical Equality], [http://en.wikipedia.org/ Wikipedia]<br />
<br />
[[Category:Inquiry]]<br />
[[Category:Open Educational Resource]]<br />
[[Category:Peer Educational Resource]]<br />
[[Category:Charles Sanders Peirce]]<br />
[[Category:Computer Science]]<br />
[[Category:Formal Languages]]<br />
[[Category:Formal Sciences]]<br />
[[Category:Formal Systems]]<br />
[[Category:Linguistics]]<br />
[[Category:Logic]]<br />
[[Category:Mathematics]]<br />
[[Category:Philosophy]]<br />
[[Category:Semiotics]]</div>
Jon Awbrey