A.

IDENTITAS
Nama : Tyas Nirmala Diksa (201410060311035)
Kelas : Matematika 1-A
BENTUK PERNYATAAN
Logika dan Teori Himpunan,Drs. Marsudi, Ms,2010,UB Press / malang

B. ISI

Di dalam buku ini di jelaskan bahwa, pernyataan ada 3 jenis yaitu :

1. Tautologi
Sebuah pernyataan majemuk disebut tautologi jika pernyataan majemuk itu benar
dalam segala hal, tanpa memperhatikan nilai kebenaran dari pernyataan-
pernyataan penyusunnya.

2. Kontradiksi
Kontradiksi merupakan lawan dari tautologi. Sebuah pernyataan majemuk
dikatakan kontradiksi jika pernyataan majemuk itu selalu salah tanpa
memperhatikan nilai kebenaran dari pernyataan-pernyataan penyusunnya.

3. Kontingensi
Pernyataan kontingensi adalah bukan termasuk tautologi maupun kontradiksi.
Sebuah pernyataan disebut kontingensi jika pernyataan majemuk itu dapat
bernilai benar atau salah, bergantung pada nilai-nilai kebenaran dari variable-
variabel pernyataannya.

C. KOMENTAR
Saya setuju dengan apa yang di jelaskan oleh buku tersebut. Tapi saya ada sedikit
tambahan. Tautologi juga sering disebut benar secara logika. Negasi dari tautologi
adalah kontradiksi, dan sebaliknya. Istilah lain dari kontadiksi adalah mustahil
(absurdity).

D. REFERENSI
http://lichaalmakky.blogspot.com/2011/09/materi-bentuk-bentuk-pernyataan.html
http://blog.uny.ac.id/nurhadi/files/2013/09/Bab-2.-LOGIKA-MATEMATIKA.pdf