12
Logical Inference
Let
G
be a set of formulas
There exists a set of inference rules that
define
G
`
f
[white board ]
Proposition
Checking
G
`
f
is recursively
enumerable.
Note:
`
is a syntactic operation