股関節おじさんの勉強部屋 ∀と∃の交換律 基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫?」と不安になったので ∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y) が成り立つのか確認します。 ∀x∈X,∀y∈Y:P(x,y)... 2024.03.12 股関節おじさんの勉強部屋
股関節おじさんの勉強部屋 全称命題と存在命題の関係 wikiにこうあります。 全称命題は、存在命題の否定と論理的に等値である。Wikipedia これを確かめたい。 全称命題否定と存在命題 証明 wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満たす... 2023.09.24 股関節おじさんの勉強部屋