13
Logical Inference
•
We write
G
²
f
if:
8
A, if A
²
G
then A
²
f
•
•
Note:
²
is a semantic operation