いぼ

楽問のすすめ

論理学レポート作成中続

意味論的手法として真理関数による真理値分析を用いてトートーロジーを見出す方法がある。
構文的手法には、公理化する方法、ツェンゲンの方法、意味タブローによるものがあるそうだ。
まだいまいち細かい点や、理解できていないと思うのでそれぞれの概念の意味やその分野での位置付けがわからないから読み直す必要がある。

レポートは現在1500字程度

明日こそ仕上げたいところだ。