とする．このとき (論理式のつくり方) ☆証明の方法ではない 前提の論理式について ① ② ③ ④ 命題が不成立であることの理由 私は矛盾許容論理を採用している．そのため (1) 対偶が採れない (2) 選言三段論法を用いることができない なお，私が選言三段論法を使…

とする． 問題 1.1 次の集合を括弧を使って表せ． (1) 数学の「普通」はこのような表示である．しかし，これを論理的に書けば ☆ である．これからはできるだけ☆のように表示して行きたい． (2) (3) < 但し，関数はある終域に属し，は選ばれた終域の中で，す…

とする．このとき (ⅰ) (ⅱ) (ⅲ) (ⅳ) (ⅴ) が成立する． (証明の方針) (ⅰ)について を示す． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 4 (4) 仮定 3,4 (5) 3,4. →-除去 3,4 (6) 5. ∧-除去 3,4 (7) 5. ∧-除去 ここで 零元の性質 分配律 i.e. ☆ であるから☆の両辺…