LOGIC

DISCRETE MATH
PROPOSITIONAL
LOGIC
 PROPOSITIONAL LOGIC

• PROPOSITION
• LOGIC = SCIENCE OF REASONING (MENALAR)
KESIMPULAN DARI BERBAGAI PERNYATAAN
LOGIC HELPS :
• UNDERSTAND AND REASON ABOUT DIFFERENT MATHEMATICAL STATEMENTS
• PROVE OR DISPROVE THOSE MATHEMATICAL STATEMENTS PRECISELY
LOGIC

JIKA ANDA MAHASISWA INFORMATIKA MAKA ANDA TIDAK SULIT

BELAJAR BAHASA JAVA. JIKA ANDA TIDAK SUKA BEGADANG MAKA
ANDA BUKAN MAHASISWA INFORMATIKA. TETAPI, ANDA SULIT
BELAJAR BAHASA JAVA DAN ANDA TIDAK SUKA BEGADANG. JADI,
ANDA BUKAN MAHASISWA INFORMATIKA
LOGIC
INDRA, ICAL, PARRY ADALAH SEKELOMPOK PEMBUNUH. MEREKA
TERTANGKAP DAN SEDANG DIINTEROGASI OLEH POLISI DENGAN
POLIGRAPH:

INDRA BERKATA : “ICAL BERSALAH DAN PARRY TIDAK BERSALAH”

ICAL BERKATA : “JIKA INDRA BERSALAH MAKA PARRY BERSALAH”
PARRY BERKATA : “SAYA TIDAK BERSALAH, TETAPI ICAL ATAU INDRA
BERSALAH”.

TENTUKAN SIAPA SAJAKAH YANG BERSALAH BILA TES POLIGRAPH

MENUNJUKKAN BAHWA ICAL TELAH BERBOHONG, SEMENTARA KEDUA
TEMANNYA MENGATAKAN KEBENARAN
LOGIC

• PURPOSE : CONSTRUCT VALID ARGUMENTS (OR

PROOFS)

• ONCE WE PROVE A MATHEMATICAL STATEMENT IS

TRUE THEN WE CALL IT THEOREM / TEOREMA

• BASIC FOUNDATION OF ALGORITHM AND

PROGRAMMING
• CONTOH : X = 8, Y =10
• BAGAIMANA AGAR X > 10 ?

IF X > Y THEN
BEGIN
TEMP:=X;
X:=Y;
Y:=TEMP;
END;
PROPOSITIONAL LOGIC

• DECLARATIVE SENTENCE (DECLARING FACT /

STATING ARGUMENT) WHICH CAN BE EITHER TRUE OR
FALSE BUT CANNOT BE BOTH
 GAJAH LEBIH BESAR DARIPADA TIKUS

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
 520 < 111

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
 Y>5
• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
 Y>5
• PERNYATAAN ? YA
• PROPOSISI ? TIDAK
• NILAI KEBENARANNYA ? KALIMAT TERBUKA
SEKARANG TAHUN 2020 DAN 100 < 5
• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
 TOLONG UNTUK TIDAK TIDUR
SELAMA KULIAH
• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
 TOLONG UNTUK TIDAK TIDUR
SELAMA KULIAH
• PERNYATAAN ? TIDAK , PERMINTAAN
• PROPOSISI ? TIDAK
• NILAI KEBENARANNYA ? HANYA KALIMAT
PERNYATAAN ADA NILAI KEBENARAN
X < Y JIKA DAN HANYA JIKA Y > X

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
X < Y JIKA DAN HANYA JIKA Y > X

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
X < Y JIKA DAN HANYA JIKA Y > X

• PERNYATAAN ? YA
• PROPOSISI ? YA
• NILAI KEBENARANNYA ? BENAR
•BELANDA TERLETAK DI INGGRIS

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•BELANDA TERLETAK DI INGGRIS

• PERNYATAAN ? YA
• PROPOSISI ? YA
• NILAI KEBENARANNYA ? SALAH
•KERJAKAN TUGASMU !

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•KERJAKAN TUGASMU !

• PERNYATAAN ? BUKAN , PERINTAH

• PROPOSISI ? TIDAK
• NILAI KEBENARANNYA ? TIDAK ADA
•X ADALAH ANGKA GENAP

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•X ADALAH ANGKA GENAP
• PERNYATAAN ? YA
• PROPOSISI ? BUKAN
• NILAI KEBENARANNYA ? BISA BENAR ATAU
SALAH
•10 > 5 JIKA DAN HANYA JIKA 5 >10

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•5 + 7 = 10

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•5 + 7 = 10

• PERNYATAAN ? YA
• PROPOSISI ? YA
• NILAI KEBENARANNYA ? SALAH
• JAM BERAPA PESAWAT CITILINK PENERBANGAN
QG750 TIBA DI BANDARA SAM RATULANGI ?

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
• JAM BERAPA PESAWAT CITILINK PENERBANGAN
QG750 TIBA DI BANDARA SAM RATULANGI ?

• PERNYATAAN ? BUKAN, PERTANYAAN

• PROPOSISI ? BUKAN
• NILAI KEBENARANNYA ? TIDAK ADA
•HARI INI ADALAH HARI SELASA

• PERNYATAAN ?
• PROPOSISI ?
• NILAI KEBENARANNYA ?
•HARI INI ADALAH HARI SELASA

• PERNYATAAN ? YA
• PROPOSISI ? YA
• NILAI KEBENARANNYA ? SALAH
BENTUK BENTUK PROPOSISI
• PROPOSISI ATOMIK
• PROPOSISI MAJEMUK
• IMPLIKASI
• BI-IMPLIKASI
PROPOSISI ATOMIK
• PROPOSISI TUNGGAL
CONTOH :
- UNKLAB DIDIRIKAN TAHUN 1965
- SAYA ADALAH ORANG MANADO
PROPOSISI MAJEMUK
• KONFUNGSI (CONJUCTION) = P DAN Q ( P ^ Q )
• DISJUNGSI (DISJUNCTION) = P ATAU Q ( P V Q)
• INGKARAN (NEGATION) = TIDAK P ATAU TIDAK Q
(~P) , (~Q)
• DISJUNGSI EKSKLUSIF = P ATAU Q TAPI BUKAN
KEDUANYA
CONTOH-CONTOH PROPOSISI MAJEMUK :
CONTOH-CONTOH PROPOSISI MAJEMUK :
CONTOH-CONTOH PROPOSISI MAJEMUK :
LATIHAN
NYATAKAN DALAM BENTUK KALIMAT :
P : GELAS ITU GAMPANG PECAH
Q : GELAS ITU TERBUAT DARI KACA

1. P V Q
2. ~P ^ Q
3. ~P V ~ Q
4. ~ (~P ^ Q)
5. P ^ (P V ~Q)
PENYELESAIAN
NYATAKAN DALAM BENTUK KALIMAT :
P : GELAS ITU GAMPANG PECAH
Q : GELAS ITU TERBUAT DARI KACA
1. P V Q = GELAS ITU GAMPANG PECAH ATAU TERBUAT DARI KACA
2. ~P ^ Q = GELAS ITU TIDAK GAMPANG PECAH DAN TERBUAT DARI KACA
3. ~P V ~ Q = GELAS ITU TIDAK GAMPANG PECAH ATAU TIDAK TERBUAT
DARI KACA
4. ~ (~P ^ Q) = TIDAK BENAR BAHWA GELAS ITU TIDAK GAMPANG PECAH
DAN GELAS ITU TERBUAT DARI KACA
5. P V (~ P ^ ~Q) = GELAS ITU GAMPANG PECAH , ATAU TIDAK
GAMPANG PECAH DAN TIDAK TERBUAT DARI KACA
PENYELESAIAN
NYATAKAN DALAM BENTUK SIMBOLIK :
P : DIA BELAJAR PROGRAMMING
Q : DIA BELAJAR NETWORKING

1. DIA BELAJAR PROGRAMMING DAN BUKAN NETWORKING

2. DIA TIDAK BELAJAR PROGRAMMING TETAPI DIA BELAJAR NETWORKING
3. DIA TIDAK BELAJAR PROGRAMMING ATAU BELAJAR NETWORKING
4. DIA TIDAK BELAJAR PROGRAMMING ATAU TIDAK BELAJAR NETWORKING
TAUTOLOGI = JIKA SEMUA BENAR
KONTRADIKSI = JIKA SEMUA SALAH