Theorem emptyex

On the empty domain, any existentially quantified formula is false. (Contributed by Wolf Lammen, 21-Jan-2024.)

Conclusion

\( \vdash \neg \exists x \, \top \rightarrow \neg \exists x \, \varphi \)

Proof

trud

eximi _

con3i _