Esercizio
35
[1Y9] Siano dati
Mostrate che nell’ipotesi
si ha che
Deducete in particolare che se
allora
.Mostrate poi che se ipotizziamo che i quattro elementi
non siano tutti uguali, allora si hase e solo se
oppure .
Per mostrare quanto sopra siate più precisi possibile: usate l’assioma di estensionalità [1Y8], l’assioma della coppia [1Y3] e le tautulogie mostrate nella sezione precedente (o altre relazioni logiche elementari).
Soluzione
1