18 and 25 Feb 2004
CS 3243 - Logical Agents
31
Logical equivalence
n
Two sentences are
logically equivalent
iff true in same
models: α
≡
ß iff α╞
β
and
β
╞ α
