0983132人目の素数さん垢版 | 大砲2020/06/19(金) 23:39:11.54ID:qXfDhvSl >>978 お前さ 何でも知っているみたいな書き込みをしているけど 背理法の論理式は書けるようになった? 条件法の否定¬(P→Q)の意味はわかった? それからタブローに自然演繹を混ぜようとするのは止めてくれ タブロー法に全称例化という概念はない だから混乱しているし意味不明なんだよ