いぼ

楽問のすすめ

2016-02-22から1日間の記事一覧

論理学レポート作成中続

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