generated at
├∀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