da G.D. » 30/09/2016, 17:28
Innanzitutto la prova non è completa. Si vuole infatti provare che una relazione binaria transitiva \( \mathfrak{R} \) su un insieme \( S \) è antisimmetrica se e solo se è antiriflessiva, i.e. si vuole provare che:
(1) se \( \mathfrak{R} \) (transitiva) è antisimmetrica, allora \( \mathfrak{R} \) è antiriflessiva;
(2) se \( \mathfrak{R} \) (transitiva) è antiriflessiva, allora \( \mathfrak{R} \) è antisimmetrica.
Con la tua prova per assurdo hai attaccato solo (2) e non (1). La prova non è buona: l'errore logico c'è, anche se è sottile. Tuttavia la strada non è completamente sbagliata: siano \( x \) e \( y \) elementi di \( S \) con \( x \neq y \) (non è possibile prendere \( x = y \) perché altrimenti la negazione dell'antiriflessività è un assurdo imposto e non ottenuto) tali che \( x \mathfrak{R} y \) e sia (assumendo come ipotesi per assurdo la negazione dell'antisimmetria della relazione) anche \( y \mathfrak{R} x \); allora sia ha \( x \mathfrak{R} y \) e \( y \mathfrak{R} x \) da cui, per la transitività di \( \mathfrak{R} \), segue che \( x \mathfrak{R} x \), che è un assurdo per l'ipotesi di antiriflessività.
A te proseguire con la (1).
"Everybody lies"
"La morte sorride a tutti: un uomo non può fare altro che sorriderle di rimando"
"Eliminato l'impossibile, ciò che resta, per improbabile che sia, deve essere la verità"
"No! Provare no! Fare. O non fare. Non c'è provare!"