Logika Informatika

Pertemuan - 2
 Proposisi
• Suatu pernyataan atau kalimat yang
bernilai benar saja atau salah,
tetapi tidak keduanya

• Bentuk proposisi merupakan kalimat

berita dan fakta yang sudah jelas
nilai kebenarannya

20XX Logika Informatika 2

 Contoh Proposisi
Manakah pernyataan yang benar atau salah?

a. 2 + 3 = 5
b. 10 adalah bilangan prima*
c. Jakarta adalah ibu kota negara Indonesia
d. 8 adalah bilangan ganjil
e. Hasil penjumlahan dua bilangan genap adalah bilangan ganjil
*bilangan lebih dari 1 dan hanya bisa dibagi dengan angka 1 atau bilangan itu sendiri

20XX Logika Informatika 3

 Contoh Pernyataan yang Bukan Proposisi

a. Dimanakah letak Labuan Bajo ?

b. Kerjakan ini!
c. Ahmad lebih tinggi dari Ali
d. x + y = 5
e. 2 mencintai 10

20XX Logika Informatika 4

Penjelasan
Kalimat (a) adalah kalimat pertanyaan dan kalimat (b) merupakan kalimat perintah sehingga keduanya tidak dapat ditentukan nilai
kebenarannya.

Kalimat (c) bukan merupakan kalimat proposisi karena ada banyak nama Ahmad dan Ali di dunia ini. Kalau konteksnya adalah
mahasiswa-mahasiswa yang mengambil mata kuliah Logika Informatika di UMMI dan diantara mahasiswa-mahasiswa tersebut
hanya ada satu nama Ahmad dan Ali, maka kalimat ini bisa berubah menjadi kalimat proposisi.

Kalimat (d) bukan kalimat proposisi karena hasil dari x + y = 5 tergantung dari nilai x dan y nya. Misalkan, jika x=3 dan y = 6 maka
hasil dari x + y bukan sama dengan 5.

Kalimat (e) bukan kalimat proposisi karena arti kata mencintai tidak berlaku pada bilangan. Oleh karena itu, tidak bisa dibuktikan
benar atau salahnya.

Kalimat terbuka adalah kalimat yang belum bisa dipastikan nilai kebenarannya.

Kalimat (c) dan (d) merupakan kalimat terbuka.

20XX Logika Informatika 5

 Jenis – jenis
Proposisi
Ada proposisi yang sangat sederhana,
hanya terdiri atas satu subjek dan satu
predikat. Ada juga yang bertingkat atau
majemuk sehingga memerlukan kata
hubung.

20XX Logika Informatika 6

 Jenis Proposisi
Proposisi Atomik
Proposisi yang tidak dapat dipecah-
pecah menjadi beberapa proposisi
penyusunnya disebut proposisi atomic

20XX Logika Informatika 7

Contoh Proposisi Atomik

1. Muhammad Hatta adalah presiden pertama RI

2. 3 + 4 = 7
3. 5 adalah bilangan genap
4. Mahasiswa UMMI pintar membuat program computer

20XX Logika Informatika 8

 Jenis Proposisi
Proposisi Majemuk

Proposisi yang terdiri dari beberapa

proposisi atomic disebut proposisi
majemuk.

20XX Logika Informatika 9

Contoh Proposisi Majemuk

1. 5 adalah bilangan ganjil dan prima

2. Pada pengunjung bazar akan mendapat laptop dan voucher pulsa gratis.
3. Tidak ada mata kuliah yang sulit jika kami rajin belajar
4. Mahasiswa UMMI pandai membuat program dan merakit hardware computer
5. Jika 2 + 3 = 10 maka dunia akan berhenti berputar

20XX Logika Informatika 10

 Terimakasih
Semoga ilmunya bermanfaat!

20XX Logika Informatika 11