Go backward to Inductively Defined Predicate Go up to Top Go forward to

Example

We can introduce the predicate iseven(x) : <=> 2 | x also as

iseven(0) : <=> T,

iseven(x+1) : <=> ~iseven(x).

or as

iseven(0) : <=> T,

iseven(1) : <=> F,

iseven(x+2) : <=> iseven(x).

iseven = [T, F, T, F, T, ...]