# Logical equality

Revision as of 01:02, 2 November 2011 by Jon Awbrey (talk | contribs) (Category:Charles Sanders Peirce)

☞ 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

### Focal nodes

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Peer nodes

### Logical operators

### Related topics

- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic

### Relational concepts

### Information, Inquiry

### Related articles

## 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 />