Logical equivalence is a concept in logic and mathematics where two statements have the same truth value in every model. It is expressed as p≡q, p::q, Epq, or p⟺q depending on the notation used. Logical equivalence is different from material equivalence, but related.

University of Washington

Autumn 2021

CSE 311 introduces theoretical computer science, the theory background necessary for other CSE courses, and how to construct rigorous, formal arguments. Topics include logic, set theory, modular arithmetic, induction, regular expression, and relations.

No concepts data

+ 33 more concepts