EDB — 00S

[00S](Svolto il 2022-10-11) Notate che “$\forall x\in A,𝜑$” è vera se $A$ è vuoto; questo è consistente con quanto discusso nell’esercizio [016]↺↻. Questo però ha una conseguenza importante: l’implicazione

è sempre valida quando $A$ è un insieme non-vuoto, ed è invece falsa quando $A=\mathrm{\varnothing }$.