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

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

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

Perkenalan

Perkenalkan, blog ini kami ciptakan untuk memenuhi tugas Pengantar Dasar Matematika. Sebelumnya perkenalkan kami pengurus blog ini :
1. Fajar Tri Setiawan (4101412171)
2. Tommy M.F          (4101412161)
3. Riska Amaliyah      (4101412067)
Kami dari Pendidikan Matematika Universitas Negeri Semarang Angkatan 2012. Harapan kami, semoga blog ini bermanfaat bagi orang lain....Amiin....