Contoh Logika Proposisi
Contoh Logika Proposisi
Proposisi Atomik (Proposisi Tunggal)
Keterangan : (T)=True, (F)=False
- Jakarta adalah Ibukota Indonesia (T)
- Banda Aceh adalah ibu kota Provinsi Nanggroe Aceh Darussalam (T)
- Medan adalah ibu kota Provinsi Sumatera Utara (T)
- Padang adalah ibu kota Provinsi Sumatera Barat
- Pekanbaru adalah ibu kota Provinsi Riau (T)
- Tanjung Pinanga adalah ibu kota Provinsi Kepulauan Riau (T)
- Jambi adalah ibukota provinsi Jambi (T)
- Bengkulu adalah ibu kota provinsi Bengkulu (T)
- Palembang adalah ibu kota Provinsi Sumatera Selatan (T)
- Pangkal Pinang adalah ibu kota Provinsi Kepulauan Bangka Belitung (T)
- Bandar Lampung adalah ibu kota Provinsi Lampung (T)
- Serang adalah ibu kota Banten (T)
- Jakarta adalah ibu kota provinsi DKI Jakarta (T)
- Bandung adalah ibu kota provinsi Jawa Barat (T)
- Semarang adalah ibu kota provinsi Jawa Tengah (T)
- Surabaya adalah ibu kota provinsi Jawa Timur (T)
- Yogyakarta adalah ibu kota provinsi DI Yogyakarta (T)
- Denpasar adalah ibu kota provinsi Bali (T)
- Mataram adalah ibu kota Provinsi Nusa Tenggara Barat (T)
- Kupang adalah ibu kota Provinsi Nusa Tenggara Timur (T)
- Pontianak adalah ibu kota Provinsi Kalimantan Barat (T)
- Banjarmasin adalah ibu kota Provinsi Kalimantan Selatan (T)
- Palangkaraya adalah ibu kota Provinsi Kalimantan Tengah (T)
- Samarinda adalah ibu kota Provinsi Kalimantan Timur (T)
- Tanjung Selor adalah ibu kota Provinsi Kalimantan Utara (T)
- Gorontalo adalah ibu kota Provinsi Gorontalo (T)
- Makassar adalah ibu kota Provinsi Sulawesi Selatan (T)
- Kendari adalah ibu kota Provinsi Sulawesi Tenggara (T)
- Palu adalah ibu kota provinsi Sulawesi Tengah (T)
- Manado adalah ibu kota Provinsi Sulawesi Utara (T)
- Mamuju adalah ibu kota Provinsi Sulawesi Barat (T)
- Ambon adlaah ibu kota Provinsi Maluku (T)
- Sofifi adalah ibu kota Provinsi Maluku Utara (T)
- Jayapura adalah ibu kota Provinsi Papua (T)
- Monokwari adalah ibu kota Provinsi Papua Barat (T)
- 5+5=10 (T)
- 4-1=10 (F)
- Bandung adalah ibu kota Provinsi Sumatera (F)
- Kabupaten Sumedang berada di Provinsi Jawa tengah (F)
- 5 + 5 =12 (F)
- Sapi adalah unggas (F)
- Ayam adalah mamalia (F)
- Ayam adalah ungags (T)
- Sapi berkaki empat (T)
- Satu minggu terdiri dari tujuh hari (T)
Proposisi Majemuk
• p^q
p = Imam pintar
q = Imam ganteng
p ^ q = Imam pintar dan ganteng
• p ^ -q
p = Imam pintar
q = Imam ganteng
p ^ -q = Imam pintar tapi tidak ganteng
• -p ^ -q
p = Imam pintar
q = Imam ganteng
-p ^ -q = Imam tidak pintar maupun ganteng
• p v q
p = Pemilih pemilu harus berumur 17 tahun.
q= Pemilih pemilu harus sudah menikah.
P v q = Pemilih pemilu harus berumur 17 tahun atau sudah menikah.
• ~(~p v ~q)
p = Imam pintar
q = Imam ganteng
p ^ -q = Tidak benar jika Imam bodoh atau tidak ganteng
.
• p (~p v q)
p = Imam pintar
q = Imam ganteng
p ^ -q = Imam itu pintar, bodoh dan ganteng
• ~p (~p v q)
p = Imam pintar
q = Imam ganteng
p ^ -q = Tidak benar jika Imam itu bodoh atau ganteng
Contoh Implementasi logika proposisi dalam Program:
True jika:
False jika:
Post a Comment for "Contoh Logika Proposisi"