Senin, 30 November 2009
Senin, 16 November 2009
notation | meaning |
|
|
|
|
number of elements in |
|
empty set |
Kamis, 05 November 2009
Hati yang temaran
Matamu juga mata mataku
Ada hasrat yang mungkin terlarang
[*]
Satu kata yang sulit terucap
Hingga batinku tersiksa
Tuhan tolong aku jelaskanlah
Perasaanku berubah jadi cinta
[**]
Tak bisa hatiku merafikan cinta
Karena cinta tersirat bukan tersurat
Meski bibirku terus berkata tidak
Mataku terus pancarkan sinarnya
Ku dapati diri makin tersesat
Saat kita bersama
Desah nafas yang tak bisa teruskan
persahabatan jadi cinta
Back to [*][**]
[***]
Apa yang kita kini tengah rasakan
Mengapakah kita coba persatukan
Mungkin cobaan untuk persahabatan
Atau mungkin sebuah takdir Tuhan
Back to [**][***] 2x
beribu kisah tentangmu
Bb
tak habis di telan waktu
D#
mengukir indah untukku
Gm
selalu
ada yang hilang dariku
Bb
disaat kau pergi menjauh
D#
sungguh ku tak sanggup berpisah
Gm F
darimu
kau ada di jantungku
F Bb
kau ada dihatiku
D# F
engkaulah yang slalu ku tunggu
Bb
di setiap waktu
kau belahan jiwaku
Dm Gm
permata di dalam hatiku
D# F
kujaga seumur hidupku
Bb
di setiap waktu
temani aku dan jangan kau jauh
D# Gm F
ku menjagamu selalu
Gm F Bb Gm D# F Gm
Sabtu, 24 Oktober 2009
kiSaH di bLik pUlkam
Jumat, 23 Oktober 2009
Jumat, 16 Oktober 2009
Ntah ngeracau
puisi..
curhat
Senin, 05 Oktober 2009
TUGAS PDM 3
4. a (2,3 MT)
5. a∨c (4 Add)
6. (a∨c)∧~b (3,5 konj)
7. (d⇒c) ⇒f. (1,6 MP)
2. (f∨g) ⇒h
3. e / jadi h
4. f ∧~g (1,3 MP)
5. f (4 Sim)
6. f∨g (5 Add)
7. h (2,6 MP)
2. e⇒g / jadi e⇒(f∧g)
3. ~e∨f (1 Imp)
4. ~e∨g (2 Imp)
5. (~e∨f)∧(~e∨g) (1,4 Konj)
6. ~e ∨ (f∧g) (5 dist)
7. e⇒(f∧g) (6 Imp)
2. ~x⇒~w /jadi v ∨ x
3. v ∨ (~u∧u) (3 Dist)
4. v ∨ f (4 Komp)
5. v (5 Komp)
6. v ∨ x (6 Add)
2. g ⇒f /jadi (e ∨ g)⇒f
3. ~e ∨ f (1 Imp)
4. ~g ∨ f (2 Imp)
5. (~e ∨ f)∧ (~g ∨ f) (3,4 Konj)
6. (~e∧ ~g) ∨ f (5 Dist)
7. ~(e ∨ g) ∨ f (6 DM)
8. (e ∨ g)⇒f (7 Imp)
2. w⇒(s ∨ u) / jadi w⇒(t ∨ v)
3. (s⇒t) (1 simp)
4. (s ⇒t) ∨ u (3 Add)
5. ( s ∨ u)⇒(t ∨ u) (4 dist)
6. w⇒(t ∨ u) (2,5 MT)
7. (u⇒v) (1 simp)
8. (u⇒v) ∨ t (7 Add)
9. ( u ∨ v)⇒( v ∨ t) (8 dist)
10. ( t ∨ u) ⇒( t ∨ v) (7 komp)
11. w⇒( t ∨ v ) (6,8 MT)
n : Saya mendapat nilai baik
s : Saya bersenang - senang
1. b⇒n
2. ~b⇒ s / jadi n ∨ s
3. ~n⇒ ~b (1 Trans)
4. ~n⇒ s (2,3 Sil)
5. n ∨ s (4 Imp)
t : Penggunaan perak meningkat
n : Harga perak naik
s : Bermunculan spekulan - spekulan
1. (p∧t)⇒n
2. J (t⇒n)⇒s
3. p / jadi s
4. p⇒ (t ⇒n) (1 Eksp)
5. p⇒s (4,2 HS)
6. s (5,3 MP)
u: upah naik
a: dagang eceran meningkat
i : kesibukan iklan meningkat
k: pedagang kecil mendapat uang banyak
1. ( h∨u )⇒(a∧i)
2. a⇒k
3.~k /jadi ~h
4. ~a (2,3 MT)
5. ~a∨~i (4 Add)
6. ~(a∧i) (5 DM)
7.~(h ∨ u) (1,6 MT)
8.~h∧~u (7 DM)
9. ~h ( 8 simp)
k: Adam menumpang kereta api
m: Adam mengendarai mobil sendiri
l: Adam terlambat
h: Adam kehilangan bagian pertama
1. b ∨ k
2. ( b ∨ m )⇒( l∧h)
3. ~l /jadi k
4. ~l∨~h (3 add)
5. ~(l∧h) (4 DM)
6. ~(b ∨ m) (2,5MT)
7. ~b∧~m (6 DM)
8. ~b ( 7 simp )
9. k (1,8 DS)
Tugas Pembuktian
((p∧→q)∧p)→q
≡ ((¬p∨q)∧p) →q (imp)
≡ (¬p∧p)∨(q∧p)→q (dist)
≡ F∨(q∧p) →q (komp)
≡ (q∧p) →q (id)
≡ ¬(q∧p)∨q (imp)
≡ (¬q∨¬p)∨q (DM)
≡ (¬p∨¬q)∨q (kom)
≡ ¬p∨(¬q∨q) (asso)
≡ ¬p∨T (kom)
≡ T (id)
2.Bukti Keabsahan Distruktif Silogisma (DS)
[ (p ∨ q) ∧ ~p ] ⇒ q
≡ ( p ∧ ~p) ∨ (q ∧ ~p) ⇒ q (dist)
≡ F ∨ ( q ∧ ~p ) ⇒ q (komp)
≡ ( q ∧ ~p ) ⇒ q (id)
≡ ~ (q ∧ ~p) ∨ q (imp)
≡ ( ~q ∨ p ) ∨ q (DM)
≡ (p ∨ ~q) ∨ q (kom)
≡ p ∨ (~q ∨ q) (asso)
≡ p ∨ (q ∨ ~q) (kom)
≡ p ∨ T (komp)
≡ T ( id)
3. Bukti Keabsahan Destructif Dilema (DD)
{[(p ⇒ q) ∧ (r⇒s)]} ∧ (~q ∨ ~s)} ⇒ (~p ∨ ~r)
≡ [(~p ∨ q) ∧ (~r ∨ s ) ∧ (~q ∨ ~s)] ⇒ (~p ∨ ~r) (imp)
≡ [(p ∧ ~q) ∨ ( r ∧ ~s) ∨ (q ∧ s)] ∨ (~p ∨ r ) (imp)
≡ [(p ∧ ~q) ∨ (q ∧ s) ∨ (r ∧~s ) ∨ ( ~p ∨ ~r) (asso)
≡ [(p ∧ ~q ) ∨ (q ∧ s )] ∨ [( r ∧ ~s) ∨ (~p ∨ ~r)] (asso)
≡ [{(p ∧ ~q ) ∨ q }∧{ (p ∧~q) ∨ s}] ∨ [{(r ∧~s) ∨(~p ∨ ~r)] (dis)
≡ [{(p ∧ ~q ) ∨ q }∧{ (p ∧~q) ∨ s}] ∨ [{(r ∧~s) ∨ ~r} ∨ ~p] (asso)
≡ [{(p ∨ q ) ∧(~q ∨ q)}∧{(p ∨ s} ∧ (~q ∨ s)}] ∨ [{(r ∨~r) ∧( ~s ∨ ~r)} ∨ ~p] (dis)
≡ [{(p ∨ q ) ∧ T}∧{(p ∨ s) ∧ (~q ∨ s)}] ∨ [{ T ∧ ( ~s ∨ ~r)} ∨ ~p] (komp)
≡ [{(p ∨ q ) ∧{(p ∨ s) ∧ (~q ∨ s)}] ∨ [( ~s ∨ ~r)} ∨ ~p] (id)
≡ [{(p ∨ q ) ∧{(p ∨ s) ∧ (~q ∨ s)∨~p] ∨ ( ~s ∨ ~r) (asso)
≡ [{(p ∨ q ) ∨ ~p} ∧{(p ∨ s) ∨ ~p} ∧ {(q ∨ s)∨~p}] ∨ ( ~s ∨ ~r) (dis)
≡ [{(p ∨ ~p ) ∨ q} ∧{(p ∨ ~p) ∨ s} ∧ (q ∨ s ∨~p)] ∨ ( ~s ∨ ~r) (asso)
≡ [(T ∨ q) ∧(T ∨ s) ∧ (q ∨ s ∨~p)] ∨ ( ~s ∨ ~r) (komp)
≡ [(T ∧ T∧ (q ∨ s ∨~p)] ∨ ( ~s ∨ ~r) (id)
≡ (q ∨ s ∨~p) ∨ ( ~s ∨ ~r) (id)
≡ ( s ∨~s) ∨ ( ~p ∨ q ∨~r) (asso)
≡ T ∨ ( ~p ∨ q ∨~r) (komp)
≡ T (id)
Sabtu, 19 September 2009
Jumat, 18 September 2009
Tugas 2 PDM
Konversi : r → ( p^ q ).
2. Jika p maka (q dan r)
Selasa, 08 September 2009
Tugas 1 PDM
Buatlah 5 Contoh masing-masing kalimat dibawah ini:
- Kalimat pernyataan
- Kalimat terbuka
- Kalimat perintah
- Kalimat tanya
- Kalimat harapan
- Kalimat faktual.
Kalimat pernyataan
Indonesia adalah negara Maritim.
10 x 7 = 100.
7 adalah bilangan prima.
Tidak benar ada bilangan bulat yang bukan bilangan rasional.
Sin 2x = 2sinxcosx.
Kalimat terbuka
x/57 + 6 =8.
Y adalah bilangan negative.
x+y+7 =10.
x2 + y2 + 5 > x + y + 10.
(2x-2)(5+y) >26+xy.
Kalimat perintah
Take my book!
Buanglah sampah pada tempatnya!
Buktikan bahwa 1+1=2 !
Gambarlah grafik f: IR, f(x) = Ix+2I !
Keep silent!
Kalimat Tanya
Di mana alamat kos mu?
Berapa banyak bilangan prima yang terdapat di antara 30 hingga 5761 ?
Apakah perbedaan antara bilangan irasional dengan rasional ?
Where do you come from?
Apakah mata kuliah PDM untuk minggu depan diliburkan ?
Kalimat harapan
Semoga kita lulus dengan nilai cumloade.
Mudah-mudahan minggu depan kita libur.
Saya berharap bisa mudik pada H-7.
Semoga kita mendapatkan nilai A pada mata kuliah PDM.
Mudah-mudahan hari ini hujan.
Kalimat factual
Besok ada pengundian pemenang Gebyar BCA 2009.
Hari ini turun salju di Tokyo.
Math Genk adalah sekumpulan mahasiswi yang ramah, cantik, baik hati, dan tidak sombong.
Besok saya akan pulang ke Pati.
Pak Ardhi adalah dosen yang murah senyum dan dermawan dalam memberikan nilai.