2023-08-12から1日間の記事一覧
を示す. 1 (1) 仮定 1 (2) 1.∨-導入 3 (3) 仮定 (4) 2,3.三段論法 ここで1,3の仮定落とし (5) 1-4.→-導入 仮定1の仮定落とし 1 (1) 仮定 1 (2) 1.∨-導入 3 (3) 仮定 (4) 2,3.三段論法 ここで1,3の仮定落とし (5) 1-4.→-導入
を示す. 1 (1) 仮定 1 (2) 1.∨-導入 3 (3) 仮定 (4) 2,3.三段論法 ここで1,3の仮定落とし (5) 1-4.→-導入 仮定1の仮定落とし 1 (1) 仮定 1 (2) 1.∨-導入 3 (3) 仮定 (4) 2,3.三段論法 ここで1,3の仮定落とし (5) 1-4.→-導入