25 February 2004
CS 3243 - Logical Agents (part 2)
9
Logical equivalence
n
Two sentences are
logically equivalent
iff true in same
models: α
≡
ß iff α╞
β
and
β
╞ α
