Combinatory logic

:This article is about a topic in mathematical logic and theoretical computer science, and is not to be confused with combinatorial logic, a topic in electronics.

Ω

but Ω does not have a normal form, so we have a contradiction. But

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

if (S I I Z) does not have a normal form, the foregoing reduces as

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

follows:

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

(N (S I I Z) Ω I)

~ ~ ~ ~ ~ ~ ~ ~ ~ ~