Question

Чему равно:

Ord (False)= ?
Ord (True)= ?
Pred (False)= ?
Succ (True)= ?​

Answer 1

Ord (False) = 0

Ord (True) = 1

Pred (False) = True

Succ (True) = False