20
LFP
•
Theorem
Checking if
f
is monontone is
undecidable
•
•
[proof: in class]
•
•
Hence in
lfp
we require R to occur under an
even number of negations.