判断
判断(justification)
型理論の判断について
どんなものが判断か
「Aは真である」
「Aは論理式である」
$ x_1 : A_1,...,x_n :A_n \vdash t:A
変数$ x_1,...,x_n
型$ A_1,...A_n 、$ A
項$ t
読み方の例: 変数$ x_1 から$ x_n が型$ A_1 から$ A_n であると仮定すると、項$ t は型$ A を持つ
確認用
Q. 判断
参考
P9
メモ
https://www.youtube.com/watch?v=1QnJRWLgOvI&list=PLQIrJ0f9gMcPC8_eEnysTwZm14VRaQWCT
調査用
Wikipedia.icon
Wikipedia.icon