再帰的定義
はWFFである - 例えば、p は「フレッドは法律家である」、q は「メリーは音楽好きである」を意味する。
N にWFFが付属したものはWFFである - 例えば N が否定を表すとすると、Np は「フレッドは法律家である、というのは真ではない」を意味する。
4種類の論理演算(C, A, K, E)のいずれかに、2つのWFFが付属したものはWFFである。 - 例えば、記号 K が「両方が真である」ことを意味するとすると、Kpq は「フレッドが法律家であり、かつメリーは音楽好きである」という意味である。
以上により WFF と定義されるもののみが WFF である。
このような再帰的定義を使って、ある記号列が論理式であるか否かを判定することができる。
Kpq は、WFF である p と q が K に付属したものであるため、WFF である。
NKpq は、WFF である Kpq が N に付属したものであるため、WFF である。
KNpNq は、K に Np と Nq が付属しており、Np および Nq は WFF であるため、WFF である。
Npq は WFF ではない。