Contoh Proposisi, negasi, proposisi atomik dan majemuk

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)
Proposisi bukan berupa kalimat tanya, kalimat seru atau kalimat inversi.
  

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

0 Response to "Contoh Proposisi, negasi, proposisi atomik dan majemuk"

Poskan Komentar