Selasa, 13 November 2012
Senin, 12 November 2012
Tugas PDM translate ebook
Kelompok 7 PDM rombel 4 mendapat tugas menerjemahkan bab 7 "FINITE AND INFINITE SET" dari ebook ELEMENTARY SETS THEORY
Ini link dari tugas kelompok kami BAB 7 HIMPUNAN HINGGA DAN TAK HINGGA
Ini link dari tugas kelompok kami BAB 7 HIMPUNAN HINGGA DAN TAK HINGGA
Selasa, 16 Oktober 2012
Selasa, 18 September 2012
Soal no.6
6.
Show that (i) ̴x eq ̴(xvy) and (ii) x eq
(x→y) →(x→y) from these find the equivalent formulae of x˄y, x→y and x↔y as iterated
compositions of joint negations
Answer : (i) ̴ x eq x→x
Untuk penyelesaiannya dapat didownload disini Penyelesaian soal no.6
Senin, 17 September 2012
Peta Konsep Operasi Pernyataan
Ini peta konsep karya kami, maaf masih ada tulisan TRIAL VERSIONnya karena kami masih menggunakan software yang trial....hehehehe
Untuk peta konsepnya dapat di download disini ..... Peta Konsep
Untuk peta konsepnya dapat di download disini ..... Peta Konsep
Jawaban soal no.5
5. Corresponding
to the statement 'neither X nor Y', the joint negation
X i Y is defined by the truth table.
Show that (i) X i Y eq ~ (X v Y) and (ii) X eq
(X I X) I (X I X).
(I)
untuk penyelesainnya dapat didownload disini Jawaban soal no.5
Contoh soal
Buktikan [(p → q) ˄p] → q ek T
Bukti :
Jelas :
[( p → q ) ˄ p ] → q
≡ [( ~p v q) ˄ p ] → q (hk.
implikasi)
≡~
[( ~p v q ) ˄ p ] v q (hk.
implikasi)
≡
[~(~p v q ) v ~p ] v q (hk.
DM)
≡
[(~(~p) ^ ~q ) v ~p ] v q (hk. DM)
≡
[(p ^ ~q ) v ~p
] v q (hk. Komplemen)
≡
[(p v ~p ) ^(~q
v ~p) ] v q (hk. Distributis )
≡
[T ^(~q v
~p) ] v q (hk.
Komplemen)
≡
(~q v ~p) v q (hk. Identitas)
≡
~q v ( ~p v q) (hk.
Asosiatif)
≡
~q v ( q v ~p) (hk.
Komutatif)
≡(~q
v q) v ~p (hk.Asosiatif)
≡
T v ~p (hk. Komplemen)
≡
T (hk. Identitas)
Jadi [(p → q) ˄p] → q ek T BENAR! Hehehhe….
Bisa di download di sini Contoh soal
Langganan:
Postingan (Atom)