Universitas Jember
Indonesia
Jember, 2015
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 1 / 29
Outline
2 Proposisi Majemuk
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 2 / 29
Outline
2 Proposisi Majemuk
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 2 / 29
Outline
2 Proposisi Majemuk
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 2 / 29
Kalimat dan Proposisi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 3 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Kalimat dan Proposisi
Kalimat
Kalimat tak bermakna
Kalimat bermakna:
1 Bukan kalimat deklaratif
2 Kalimat deklaratif:
bernilai BENAR
bernilai SALAH
Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar saja, atau
salah saja, tetapi tidak sekaligus benar dan salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 4 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Mana yang merupakan proposisi?
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 5 / 29
Proposisi Majemuk
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 6 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Proposisi Majemuk
Contoh
Jumlah dua bilangan genap adalah genap merupakan proposisi
bernilai benar;
Kota Jember terletak di propinsi Jawa Barat merupakan
proposisi bernilai salah;
Kerjakan tugasmu bukan merupakan proposisi.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 7 / 29
Negasi
Definisi
Negasi dari suatu proposisi p dinotasikan p. Nilai kebenaran dari p
berkebalikan dengan nilai kebenaran dari p.
Contoh:
Negasi dari a + b = c adalah a + b 6= c.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 8 / 29
Negasi
Definisi
Negasi dari suatu proposisi p dinotasikan p. Nilai kebenaran dari p
berkebalikan dengan nilai kebenaran dari p.
Contoh:
Negasi dari a + b = c adalah a + b 6= c.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 8 / 29
Negasi
Definisi
Negasi dari suatu proposisi p dinotasikan p. Nilai kebenaran dari p
berkebalikan dengan nilai kebenaran dari p.
Contoh:
Negasi dari a + b = c adalah a + b 6= c.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 8 / 29
Negasi
Tabel Kebenaran
p p
B S
S B
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 9 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Negasi
Tentukan negasinya!
1 Jakarta adalah ibukota Indonesia
2 Kepala sekolah memakai kaca mata
3 2+3>6
4 Harga Pertamax naik
5 13 = 15
6 Bajuku hitam
7 Semua jenis ikan bertelur
8 Semua mahasiswa baru berseragam putih hitam
9 Tidak ada dua orang yang serupa
10 Beberapa kambing di padang rumput
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 10 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Definisi
Konjungsi adalah proposisi majemuk yang menggunakan perangkai
dan. Poposisi p dan q dinotasikan p q. Untuk nilai kebenarannya,
p q bernilai benar hanya bila p dan q keduanya benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 11 / 29
Konjungsi
Tabel Kebenaran
p q pq
B B B
B S S
S B S
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 12 / 29
Konjungsi
Tabel Kebenaran
p q pq
B B B
B S S
S B S
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 12 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Konjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 13 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Definisi
Disjungsi yang sering digunakan dalam matematika adalah disjungsi
inklusif, yakni proposisi majemuk yang menggunakan perangkai
atau. Poposisi p atau q dinotasikan p q. Untuk nilai
kebenarannya, p q bernilai salah hanya bila p dan q keduanya salah.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 14 / 29
Disjungsi
Tabel Kebenaran
p q pq
B B B
B S B
S B B
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 15 / 29
Disjungsi
Tabel Kebenaran
p q pq
B B B
B S B
S B B
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 15 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 16 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 17 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 17 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 17 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 17 / 29
Disjungsi Eksklusif
Definisi
Suatu disjungsi eksklusif bernilai benar jika hanya salah satu
komponennya bernilai benar.
Tabel Kebenaran
p q pq
B B S
B S B
S B B
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 18 / 29
Disjungsi Eksklusif
Definisi
Suatu disjungsi eksklusif bernilai benar jika hanya salah satu
komponennya bernilai benar.
Tabel Kebenaran
p q pq
B B S
B S B
S B B
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 18 / 29
Disjungsi Eksklusif
Definisi
Suatu disjungsi eksklusif bernilai benar jika hanya salah satu
komponennya bernilai benar.
Tabel Kebenaran
p q pq
B B S
B S B
S B B
S S S
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 18 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi Eksklusif
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 19 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Disjungsi
Latihan
1 Tentukan nilai kebenarannya
1 Setiap bilangan asli merupakan bilangan genap atau gasal.
2 Kemaren bukan hari Rabu atau besok bukan hari Kamis.
3 Hari ini cuaca cerah atau ramalan cuaca salah.
2 Buatlah tabel kebenaran untuk p q r
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 20 / 29
Kondisional dan Bikondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 21 / 29
Kondisional
Definisi
Proposisi majemuk jika p maka q (dinotasikan p q) disebut
kondisional atau implikasi. p disebut antisenden (hipotesis) sedangkan
q disebut konsekuen (simpulan). p merupakan syarat cukup untuk q
dan q merupakan syarat perlu untuk p.
Nilai kebenaran
p q bernilai benar jika p salah atau q benar.
p q bernilai salah hanya bila p benar dan q salah. Selain dari itu
maka p q selalu bernilai benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 22 / 29
Kondisional
Definisi
Proposisi majemuk jika p maka q (dinotasikan p q) disebut
kondisional atau implikasi. p disebut antisenden (hipotesis) sedangkan
q disebut konsekuen (simpulan). p merupakan syarat cukup untuk q
dan q merupakan syarat perlu untuk p.
Nilai kebenaran
p q bernilai benar jika p salah atau q benar.
p q bernilai salah hanya bila p benar dan q salah. Selain dari itu
maka p q selalu bernilai benar.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 22 / 29
Kondisional
Tabel Kebenaran
p q pq
B B B
B S S
S B B
S S B
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 23 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 24 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 24 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 24 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 24 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 24 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 25 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 25 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 25 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 25 / 29
Kondisional
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 25 / 29
Kondisional
Konvers, Invers dan Kontraposisi
Definisi
Proposisi jika p maka q dan jika q maka p dapat disatukan menjadi
p jika hanya jika q, dan disebut bikondisional atau biimplikasi.
Notasi
p jika hanya jika q dinotasikan sebagai p q. p merupakan syarat
perlu dan cukup untuk q, demikian juga sebaliknya.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 27 / 29
Bikondisional
Definisi
Proposisi jika p maka q dan jika q maka p dapat disatukan menjadi
p jika hanya jika q, dan disebut bikondisional atau biimplikasi.
Notasi
p jika hanya jika q dinotasikan sebagai p q. p merupakan syarat
perlu dan cukup untuk q, demikian juga sebaliknya.
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 27 / 29
Bikondisional
Nilai Kebenaran
p q bernilai benar hanya bila p dan q keduanya bernilai sama.
Tabel Kebenaran
p q pq
B B B
B S S
S B S
S S B
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 28 / 29
Bikondisional
Nilai Kebenaran
p q bernilai benar hanya bila p dan q keduanya bernilai sama.
Tabel Kebenaran
p q pq
B B B
B S S
S B S
S S B
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 28 / 29
Bikondisional
Nilai Kebenaran
p q bernilai benar hanya bila p dan q keduanya bernilai sama.
Tabel Kebenaran
p q pq
B B B
B S S
S B S
S S B
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 28 / 29
TERIMA KASIH
Antonius Cahya Prihandoko (UNEJ) MDAS - Proposisi dalam Logika Jember, 2015 29 / 29