2020-11-05から1日間の記事一覧
●問題3.27について 解釈とは「論理式全体から真偽値への写像」でしたから、「解釈\(I,I'\)が等しい」とは、「任意の論理式について\(I,I'\)における真偽値が(論理式ごとに、そのつど)一致する」という意味です。したがって、この問題で要求されているのは…
●問題3.27について 解釈とは「論理式全体から真偽値への写像」でしたから、「解釈\(I,I'\)が等しい」とは、「任意の論理式について\(I,I'\)における真偽値が(論理式ごとに、そのつど)一致する」という意味です。したがって、この問題で要求されているのは…