Proposisi adalah pernyataan yang berisi subyek dan predikat yang dapat dinilai benar (true) atau salah (false) tetapi tidak dapat sekaligus keduanya.
Contoh :
- Semarang adalah Ibukota provinsi Jawa Tengah (proposisi yang bernilai benar karena Semarang adalah Ibukota Jawa Tengah)
- Sukarno adalah Presiden Pertama Republik Indonesia.
- 5 + 7 = 10 (proposisi yang bernilai salah)
- x + 5 = 11 (bukan proposisi, karena "x" belum ditentukan)
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 :
- Proposisi Hipotetik
- Proposisi Disjungtif
- Proposisi Konjungtif
Wah!!!
BalasHapusmantab bos, sangat butuh sekali nih