Diskusi 4 Logika
Diskusi 4 Logika
Suatu proposisi dapat benar, dapat juga salah. Proposisi disebut juga sebagai bentuk lahir dari
pendapat, sedangkan term yang merupakan unsur proposisi adalah bentuk lahir dari
pengertian. Sehingga dapatlah dikatakan bahwa pendapat adalah hubungan dua pengertian
yang mempunyai nilai benar dan salah. Atau dengan kata lain pendapat itu mempunyai dua
kemungkinan, mungkin benar mungkin juga salah.
Unsur yang merupakan materi proposisi kategoris adalah term sebagai subyek dan term
sebagai predikat, yang keduanya tersebut merupakan hal yang harus ada. Jika salah satu tidak
ada, maka pernyataan itu tidak dapat disebut sebagai proposisi kategoris, melainkan hanya
merupakan proposisi tunggal.
Negasi atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun
majemuk.
Negasi p adalah ~p.
contoh :
Carilah Negasi dari Proposisi berikut :
a) Hari ini adalah hari minggu
b) Tidak ada musim hujan di Indonesia
c) 2 + 3 = 5
d) Musim kemarau di Indonesia adalah panas dan kering
e) Tidak ada Candi Borobudur di daerah Istemewa Yogyakarta
f) 7 + x = 10
Jawab :
a) Hari ini adalah tidak hari minggu
b) Ada musim hujan di Indonesia
c) 2+3 tidak = 5
d) Musim kemarau di Indonesia adalah tidak panas dan tidak kering
e) Candi Borobudur di daerah Istimewa Yogyakarta
f) 7 + x tidak = 10
Proposisi Atomik adalah suatu pernyataan yang tidak dapat dipecah-pecah lagi.
contoh :
Setiap orang Indonesia kaya raya.
Cristiano Ronaldo pemain bola.
Proposisi Majemuk adalah suatu pernyataan yang terdiri atas hubungan 2 bagian yang dapat
dinilai benar atau salah. Proposisi Majemuk disusun dari beberapa Proposisi Atomik. Operator
Dasar logika yang dipakai adalah dan (and), atau (or), tidak (not).
contoh :
a) Bowo kaya raya, demikan juga Kalina
b) Badu kaya raya dan memiliki banyak harta
c) Dino kaya raya atau banyak hartanya
Proposisi Majemuk dibagi menjadi 3 macam :
1. Proposisi Hipotetik
2. Proposisi Disjungtif
3. Proposisi Konjungtif