# Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Sunday September 26, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (standardize syllabus + document history) |
Jon Awbrey (talk | contribs) |
||

Line 1: | Line 1: | ||

+ | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. | ||

+ | |||

'''Logical equality''' is an [[logical operation|operation]] on two [[logical value]]s, 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 [[logical operation|operation]] on two [[logical value]]s, 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. | ||

Line 67: | Line 69: | ||

{{col-break}} | {{col-break}} | ||

* [http://mywikibiz.com/Logical_equality Logical Equality], [http://mywikibiz.com/ MyWikiBiz] | * [http://mywikibiz.com/Logical_equality Logical Equality], [http://mywikibiz.com/ MyWikiBiz] | ||

− | * [http://beta.wikiversity.org/wiki/Logical_equality Logical Equality], [http://beta.wikiversity.org/ Beta | + | * [http://beta.wikiversity.org/wiki/Logical_equality Logical Equality], [http://beta.wikiversity.org/ Wikiversity Beta] |

* [http://www.getwiki.net/-Logical_Equality Logical Equality], [http://www.getwiki.net/ GetWiki] | * [http://www.getwiki.net/-Logical_Equality Logical Equality], [http://www.getwiki.net/ GetWiki] | ||

{{col-break}} | {{col-break}} |

## Revision as of 18:28, 14 May 2010

☞ 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 **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 |

## Syllabus

### Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Related topics

## Document history

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.

<sharethis />