11
Satisfiability/Validity
•
f
is
satisfiable
if there exists a structure A
s.t. A
²
f
•
f
is
valid
if for all structures A, A
²
f
•
•
Note:
f
is valid iff
:
f
is not satisfiable