共義語
この関数は、ブール値(例えば、TRUEやFALSE。これらはそれぞれ ( λ x . ( λ y . x ) ) {\textstyle (\lambda x.(\lambda y.x))} および ( λ x . ( λ y . y ) ) {\textstyle (\lambda x.(\lambda y.y))} のように定義される)の順序対を引数として取るものである。これは、タイプ ⟨ ⟨ t , t ⟩ , t ⟩ {\textstyle \langle \langle t,t\rangle ,t\rangle } の表現である。つまりこの表現の意味は、タイプ t {\textstyle t} (真理値)の存在物の順序対からタイプ t {\textstyle t} の存在物への二項関数だということになる。この定義のもとでは、 ∧ {\textstyle \land } は非共義的ないし自義的である。ただし、この定義が形式的には ∧ {\textstyle \land } 関数を定義するとしても、その定義にはλ抽象を用いることが必要であり、λそれ自体は共義的に導入されるため、単に問題を別のレベルの抽象へと棚上げしたにすぎないとも考えられる。