Jelajahi eBook
Kategori
Jelajahi Buku audio
Kategori
Jelajahi Majalah
Kategori
Jelajahi Dokumen
Kategori
PENGANTAR LOGIKA
POKOK BAHASAN :
• Penerapan Logika di bidang
Informatika
• Proposisi
• Perangkai Logika
• Operasi dalam Proposisi
Logika
(premis).
Mencari bukti validitas suatu argumen (konklusi)
d. 1 + 1 = 2
Gambir?
b. Isilah gelas tersebut dengan air!
c. x + 3 = 8
d. x > 3
1. Proposisi Atomik
: Proposisi yang tidak dapat dipecah lagi
2. Proposisi Majemuk
: Beberapa proposisi atomik yang
digabungkan dengan perangkai tertentu
Proposisi Atomik
Yogyakarta.
Ada monyet di bulan
Proposisi Majemuk
p,q,r,s,...
Contoh :
p→q ? p↔q ?
Contoh2.
1. pq
2. p q
3. p q
4. (p q)
5. p (p q)
6. (p q)