A.

IDENTITAS
Nama : Tyas Nirmala Diksa (201410060311035)
Kelas : Matematika 1-A

OPERASI PADA PERNYATAAN

Logika dan Teori Himpunan,Drs. Marsudi, Ms,2010,UB Press / malang

B. ISI

Di dalam buku ini di jelaskan bahwa, operasi-operasi yang dapat membentuk

pernyataan majemuk adalah Negasi atau ingkaran, konjungsi, disjungsi,
implikasi, biimplikasi.

1. Negasi
Misalkan p sebuah pernyataan. Jika nilai p bernilai benar maka ~p bernilai
salah, begitu juga sebaliknya. Lambang negasi adalah ”~”.
2. Konjungsi
Lambang konjungsi adalah ””. Misal p dan q adalah pernyataan maka
konjungsi nya adalah “p dan q”. jika p dan q bernilai benar maka keduanya
benar, pernyataan majemuk bernilai salah jika salah satu dari p atau q bernilai
salah, atau p dan q keduanya salah.
3. Disjungsi
Lambang disjungsi adalah “”. Misal p dan q adalah pernyataan maka
disjungsinya adalah “p atau q”. hasilnya akan bernilai benar jika kedua
pernyataan atau salah satunya bernilai benar.
4. Implikasi
Lambang implikasi adalah “→”. Missal p dan q adalah penyataan. Pernyataan
majemuk “Jika p, maka q”. Pernyataan ini bernilai salah jika p benar dan q
salah.
5. Biimplikasi
Lambing biimplikasi adalah “↔”. Missal p dan q adalah pernyataan.
Pernyataan majemuk “p jika dan hanya jika q”. Pernyataan ini bernilai benar
jika p dan q keduanya benar atau keduanya salah.
C. KOMENTAR
Saya setuju dengan apa yang di jelaskan oleh buku tersebut. Saya sedikit
menambahkan, nama lain dari negasi adalah ingkaran. Pada implikasi, pernyataan p
disebut hipotesis atau anteseden dan q disebut konklusi atau konsekuen. Pada
disjungsi, ada dua jenis yaitu disjungsi inklusif dan disjungsi eksklusif. Disjungsi
inklusif adalah pernyataan bernilai benar jika paling sedikit salah satu dari
komponennya bernilai benar, sedangkan disjungsi eksklusif adalah pernyataan
bernilai salah jika keduanya bernilai salah atau benar. Nama lain dari biimplikasi
adalah ekuivalensi.

D. REFERENSI
http://blog.uny.ac.id/nurhadi/files/2013/09/Bab-2.-LOGIKA-
MATEMATIKA.pdf
http://dogleg.jw.lt/ruang_belajar/mtk/logika