0177132人目の素数さん垢版 | 大砲2020/06/26(金) 05:33:07.81ID:u731FabP タブローで確認したところ ∀xFx→∀xGxの対偶は (∀x)¬Gx→(∀x)¬Fx であることがわかった 今まで存在命題で書いていたことを訂正し ごめんなさい ∀x(Gx∧¬Fx)と∀x(Fx∧¬Gx)が∀xFx→∀xGxと同値ではないという 結果が出てしまったことについてはもう一度考えてみる