---
tag: 0JMR2HM2N2
kind: concept
name: Logical equivalence
aliases: [logically-equivalent]
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Logical_equivalence
    locator: lead section
same_as:
  wikidata: Q220433
  wikipedia: Logical equivalence
---

## Summary

Two formulas are logically equivalent when they have the same truth value in every case.