2019-09-08から1日間の記事一覧

数理論理3:構文論

今回は ・言語に対して,その言語の定理式の全体が定まること をLKと呼ばれる流儀で述べます.以下,言語,その言語の論理式の集合Σを任意に固定します. (定義3-1)論理式の任意の集合の対(Ψ,Ω)をシーケントと呼び,Σから導出可能なシーケントの全…