Page 41 - modul digital struktur aljabar grup
P. 41
38
Ambil sembarang maka akibatnya dipenuhi
artinya ( ) (sifat refleksif dipenuhi)
Ambil sembarang dengan ( ) dan
( )
akan ditunjukkan ( )
( ) artinya dan ( ) artinya
dari maka
maka akibatnya diperoleh atau
menurut definisi ( ) dan ( ) maka
( )
(sifat transitif terpenuhi)
Ambil sembarang dengan ( ) dan
( )
akan ditunjukkan bahwa
Andaikan berarti atau
Dari terjadi kontradiksi dengan ( ) atau
Dari terjadi kontradiksi dengan ( ) atau
Jadi pengadaian salah yang benar
Sifat simetri tidak dipenuhi (beri contoh penyangkalan)
