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