├∀x∈∅;P(x) - くたくたじゅうよん

├∀x∈∅;P(x)

空集合と全称量化記号に関する定理

証明

$ \forall x\in \varnothing;P(x)

$ \iff \forall x;(x\in\varnothing\implies P(x))

$ \iff \forall x;(\bot\implies P(x))

$ \bot\implies P(x)は⊥除去より真

$ \iff \top

#2021-07-01 16:40:25