12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday April 19, 2024
Jump to navigationJump to searchno edit summary
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
<font size="3">☞</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 <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:
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:
