# Changes

,  13:15, 16 May 2012
no edit summary
Line 1: Line 1:
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].

<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
−
'''Logical equality''' is an operation on two logical values, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both operands are false or both operands are true.
+
'''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 ~\operatorname{EQ}~ q,$ also written $p = q,\!$ $p \Leftrightarrow q,\!$ or $p \equiv q,\!$ appears below:

The [[truth table]] of $p ~\operatorname{EQ}~ q,$ also written $p = q,\!$ $p \Leftrightarrow q,\!$ or $p \equiv q,\!$ appears below:
12,074

edits