NIM : 0501201075
Prodi : PGSD
Korwil : Subang
Matkul : KD MATEMATIKA 2
Resume :
PENGANTAR LOGIKA
LOGIKA MATEMATIKA adalah cabang ilmu matematika yang mempelajari tentang cara menentukan
nilai kebenaran suatu pernyataan dan cara menarik kesimpulan dari beberapa pernyataan yang
diberikan. Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya karena
masih mengandung variabel atau pengganti.
Benar (B)
Salah (S)
Meliputi:
1. Pernyataan (Premis) = kalimat yang hanya mempunyai kebenaran benar atau salah saja.
2. Kalimat terbuka = kalimat yang nilai kebenarannya belum pasti.
3. Negasi/ingkar(~)= pernyataan yang menolak atau mengingkari.
4. Pernyataan majemuk = pernyataan yang memiliki lebih dari satu pernyataan dalam satu kalimat
yang menggunakan kata penghubung dan,atau,jika-maka,jika-dan hanya jika.
5. Konjungsi (dan) =Kata 'dan' penghubung dalam pernyataan.
6. Disjungsi (atau) = Kata 'atau' penghubung dalam pernyataan.
7. Implikasi (jika-maka)= kata 'jika-maka' penghubung dalam pernyataan.
8. Biimplikasi (jika-dan hanya jika)=kata 'jika-dan hanya jika' penghubung dalam pernyataan.
9. Berkuantor (kuantor umum(universal)dan kuantor khusus(eksistensial))
10. Kesimpulan (modus ponens,modus tolens,silogisme,ekivalensi/kesamaan)
3.Negasi/ingkar (~)='Ikan hias ini bernafas dengan insang' negasinya 'Ikan hias ini tidak bernafas dengan
insang'
Rumus Negasi:
P ~P
B S
S S
4.Pernyataan majemuk
Rumus:
Konjungsi B B B Disjungsi B B B
(Dan)∧ B S S (Atau) B S B
S B S ∨ S B B
S S S S S S
Rumus:
Implikasi B B B Biimplikasi B B B
(->) B S S (<->) B S S
S B B S B S
S S B S S B
1.~(p∧q)=~p∨~q
2.~(p∨q)=~p∧~q
3.~(p->q)=p∧~q
4.~(p<->q)=(p∨~q) ∧ (q∨~p)
5.Berkuantor
Logika matematika