Setelah bab pernyataan tunggal dan majemuk dibahas, anda
akan mengenal lebih dalam tentang pernyataan majemuk.
Operasi yang dapat membentuk pernyataan majemuk :
1.
Negasi atau ingkaran,
dengan kata perangkai tidaklah benar, simbol
~
2.
Konjungsi, dengan kata
perangkai dan, simbol Ù
3.
Disjungsi, dengan kata
perangkai atau, simbol Ú
4.
Implikasi, dengan kata
perangkai Jika ……, maka …….., simbol Þ
5.
Biimplikasi, dengan kata
perangkai …….jika dan hanya jika ……., simbol Û
Pembahasan :
1.
Negasi atau ingkaran adalah sebuah operasi yang hanya
berupa pernyataan (nilai kebenarannya berlawanan)
Jika p adalah pernyataan tunggal, maka ~p adalah pernyataan majemuk.
Contoh:
p : Jakarta ibukota negara Republik Indonesia
~ p : Jakarta bukan ibukota negara
Republik Indonesia
2.
Konjungsi adalah pernyataan
majemuk yang menggabungkan dua pernyataan tunggal dengan memakai kata perangkai.
Konjungsi bernilai benar jika komponen-komponennya bernilai benar, dan
bernilai salah jika salah satu dari komponennya bernilai salah
3.
Disjungsi adalah pernyataan majemuk yang
dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata
perangkai
Sebuah disjungsi inklusif bernilai benar jika paling sedikit salah satu
komponennya bernilai benar, sedangkan disjungsi eksklusif bernilai benar jika
paling sedikit komponennya bernilai benar tetapi tidak kedua-duanya.
4.
Implikasi adalah sebuah pernyataan
majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan
memakai kata perangkai Jika …. maka …..
Pernyataan implikasi hanya salah jika antesedennya benar dan konsekwennya
salah, dalam kemungkinan lainnya implikasi bernilai benar.
P = antaseden q
= kosekuen
5.
Berimplikasi adalah pernyataan
majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan
memakai kata perangkai …… jika dan hanya jika ……
Pernyataan biimplikasi bernilai benar jika komponen-koponennya mempunyai nilai kebenaran sama, dan jika komponen-koponennya mempunyai nilai kebenaran tidak sama maka biimplikasi bernilai salah.
dikutip dari google.com - logika matematika - download office word
