ラムダ計算でTRUEとTRUEを正しく引く方法は？

Question

私はラムダ計算を理解しようとしています。しかし、私はちょっとこの表現についています：TRUEとTRUE。私はあなたが

(\F T F -> T) 

に

((\T F -> T) (\T F -> T)) 

から得ることができる方法を見つけ出す、ない

(\F -> (\T F -> T)) 

\

Answer 1

(\F T F -> T) 

ラムダ署名であることはできません

と

(\F -> (\T F -> T)) 

は同じものです。

https://en.wikipedia.org/wiki/Lambda_calculus_definition#Notation：

• 最も外側の括弧はドロップされ：M N代わりに(M N)
• を[...]
• 抽象体は限り右できるだけ延び：λx. M Nはλx. (M N)手段といいえ(λx. M) N
• 抽象シーケンスが収縮します。λx. λy. λz. Nはabbです。我々は、冗長括弧を削除することができ、外側のラムダの本体は可能な限り右に延びているため

  (\F -> (\T F -> T)) 
  

  が

  (\F -> \T F -> T) 
  

  を書き込むことができ、λxyz. N特に

としてreviatedこれを書き込むことができる。

(\F -> \T -> \F -> T) 

最後のルール（収縮）によって

または

(\F T F -> T) 

。