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

命題と、そのコンテキスト/真理集合 (G2 A1P1)

※この記事は「記事1 問題集1」与えられた論理式〈形式化された命題〉に対して、そのスコット・ブラケットを実際に計算する練習。スコット・ブラケット(の値)と真理集合は同じもの。予備知識として、中学・高校で習った、方程式・不等式と図形の関係が必要…