Jelajahi eBook
Kategori
Jelajahi Buku audio
Kategori
Jelajahi Majalah
Kategori
Jelajahi Dokumen
Kategori
NIKODEMUS O. ATIE
PHELIPUS MERE
ICHSAN A. PRADANA
YANES A. MALELAK
FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN JURUSAN PENDIDIKAN MIPA UNIVERSITAS NUSA CENDANA KUPANG / 2013
Bukti: i.
Akan dibuktikan ( ) ( )=
(y) (A) atau (y) (B) karena x diambil sembarang maka: x { x ( ) x [ ( ) ( )]} Hal ini berarti ( ) ( ) ( ) ii. Akan dibuktikan ( ) ( ) Ambil y (A) atau y (B) x,z ( ) x ( ) ( )
y ( ) ( ), akan ditunjukan y ( )
karena y diambil sembarang maka: y{ y ( ) ( ) y ( ) Kesimpulan: Hal ini berarti ( ) ( ) ( ) Karena ( ) ( ) ( ) dan ( ) ( ) Maka ( ) = ( ) ( ), , ( )
Bukti: i.
Akan dibuktikan ( ) ( ) ( ) ( )=
(y) (A) dan (y) (B) karena x diambil sembarang maka: x { x ( ) x [ ( ) ( )]} Hal ini berarti ( ) ( ) ( ) ii. Akan dibuktikan ( ) ( ) Ambil y (A) dan x,z y ( ) ( ), ( ) x ( ) ( )
y (B)
akan ditunjukan y ( )
karena y diambil sembarang maka: y{ y [ ( ) ( )] y ( )} Kesimpulan: Hal ini berarti ( ) ( ) ( ) Karena ( ) ( ) ( ) dan ( ) ( ) Maka ( ) = ( ) ( ), , ( )
y ( )
)=
*(
) *( ), ,
*(
*(
Bukti: i.
(x) P Q
) akan ditunjukan x
) *( )
*(
) *( )
) atau x ) *( )
*(Q)
karena x diambil sembarang maka: x{ x ii. Hal ini berarti * ( ) Akan dibuktikan Ambil y y
*( *( *( *(
) x [ *( ) *( )] ) *( )
*(
) *( ) )
*(
*(y) P *(P)
) *( ) , akan ditunjukan y y
*(Q)
*(P atau Q)
*(Q)
Q)
*(
) *( ) y
*(
) *( )
*(
*( *(
)
*(
) *( ) *( ) dan ) *( ), ,
) *( )
Bukti: i.
)=
*(
)
*(
*(
), ,
*(
*(
(x) P dan
*( *(
(x) P Q
*(
*(
*(
karena y diambil sembarang maka: x{ x ii. Ini bararti * ( ) Akan dibuktikan Ambil y y y
*( *( *(
) dan x )
*(
*(Q)
) x [ *( )
*(
)
*(
*(
*(
)]
*(
*(y) P *(P)
) *( ) , akan ditunjukan y Q
*(Q)
*(
*(P dan
Q)
Q)
*(Q)
*(
) y
*( *(
*(
*( *(
)
*(
*(
), ,
) dan
) *( )