KELOMPOK 1 AMINATUS SALMAH ILMIAWATI SYARIFUDDIN NURWAHIDAH MADE SUBOWO

PERNYATAAN DAN OPERASINYA

PENGERTIAN PERNYATAAN
Kalimat terbuka yaitu kalimat yang mengandung variabel yang belum pasti benar atau salah. Jika variabel tersebut diganti konstanta dengan semesta yang sesuai kalimat itu akan menjadi kalimat yang bernilai benar saja atau salah saja Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran benar saja atau salah saja dan tidak kedua-duanya.

PENGERTIAN PERNYATAAN
Contoh:
Kalimat Terbuka
Orang itu seorang petinju 4x + 10 = 25

Pernyataan
Mike Tyson seorang petinju (BENAR) 4(2) + 10 = 25 (SALAH)

y merupakan bilangan prima

Bolehkah aku main ke rumahmu ?

3 merupakan bilangan prima (BENAR)

Tahun 2006 merupakan tahun kabisat (BENAR)

OPERASI DALAM LOGIKA

Secara umum, operasi dalam logika terbagi menjadi: Operasi Uner Operasi Biner
Operasi Uner adalah operasi yang hanya terdiri atas satu pernyataan. Yang termasuk operasi uner adalah Negasi (Ingkaran). Negasi (Ingkaran) yang dilambangkan (~) atau () atau (-) dan dibaca tidak atau bukan. Tabel Kebenarannya:
p B S ~p S B

OPERASI DALAM LOGIKA

Operasi Biner adalah operasi yang yang memerlukan paling tidak dua pernyataan atau lebih. Yang termasuk operasi biner adalah Konjungsi, Disjungsi, Implikasi dan biimplikasi.

Konjungsi
Simbol dibaca dan. Untuk menentukan nilai kebenarannya digunakan definisi berikut :

Definisi :
Nilai kebenaran pq ( baca: p konjungsi q) adalah benar jika nilai kebenaran p dan q masing-masing benar, jika dinyatakan lain maka nilai kebenarannya salah.

OPERASI DALAM LOGIKA

Konjungsi
Tabel Kebenaran Konjungsi
p B B S S q B S B S pq B S S S

OPERASI DALAM LOGIKA

Disjungsi
Simbol v dibaca atau.

Untuk menentukan nilai kebenarannya digunakan kaidah salah satu benar pasti benar melalui definisi berikut :
Definisi : Nilai kebenaran pq ( baca: p disjungsi q) adalah salah jika nilai kebenaran p dan q masing-masing salah, jika dinyatakan lain maka bernilai benar.

Tabel Kebenaran Disjungsi p B B S S q B S B S pvq B B B S

OPERASI DALAM LOGIKA

Implikasi
Simbol dibaca jika ... maka ...

Untuk menentukan nilai kebenarannya digunakan definisi berikut :

Definisi : Nilai kebenaran pq ( baca: p implikasi q) adalah salah jika nilai kebenaran p adalah benar dan nilai kebenaran q adalah salah, jika dinyatakan lain maka bernilai benar.

Tabel Kebenaran Implikasi p B B S S q B S B S pq B S B B

OPERASI DALAM LOGIKA

Biimplikasi
Simbol dibaca ... jika dan hanya jika ...

Untuk menentukan nilai kebenarannya digunakan definisi berikut :

Definisi : Nilai kebenaran p q ( baca: p biimplikasi q) adalah benar jika nilai kebenaran p dan q adalah sama, sama-sama benar atau sama-sama salah, jika dinyatakan lain maka bernilai salah.

Tabel Kebenaran Biimplikasi p B B S S q B S B S p q B S S B

TAUTOLOGI, KONTRADIKSI DAN KONTINGENSI

Tautologi adalah pernyataan majemuk yang selalu bernilai benar, tidak tergantung dari nilai kebenaran komponen-komponennya. Contoh:
p B B S S q B S B S

( ~p q ) v ( q p )
~p S S B B (~p q ) ( q p ) ( ~p q ) v ( q p ) S S B S B B S B B B B B

TAUTOLOGI, KONTRADIKSI DAN KONTINGENSI

Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah untuk semua kemungkinan nilai kebenaran komponenkomponennya.
Contoh: (p q) ~q p q ~q (p q ) B S S S (p q ) ~q S S S S

B B S S

B S B S

S B S B

TAUTOLOGI, KONTRADIKSI DAN KONTINGENSI

Kontingensi adalah sebuah pernyataan majemuk yang bukan suatu tautologi maupun kontradiksi.
Contoh: (pvq)q
p B B S S q B S B S (p v q ) B B B S (p v q ) q B S B S

PERNYATAAN-PERNYATAAN EKUIVALEN
Dua buah pernyataan majemuk dikatakan setara atau ekuivalen jika dan hanya jika kedua pernyataan tersebut mempunyai nilai kebenaran yang sama.

Lambang untuk ekuivalen adalah Contoh: p q (p q) (q p)

p
B B S S

q
B S B S

(p q )
B S S B

(pq)
B S B B

(q p)
B B S B

(p q) (q p)
B S S B

KONVERS, INVERS DAN KONTRAPOSISI

Bentuk implikasi p q dapat diubah dengan beberapa aturan, yaitu :
Konvers Invers Kontraposisi :qp : ~p ~q : ~q ~p

Contoh:
Jika Tia penyanyi maka Tia seniman Konvers : Jika Tia seniman maka Tia penyanyi Invers : Jika Tia bukan penyanyi maka Tia bukan seniman Kontraposisi : Jika Tia bukan seniman maka Tia bukan penyanyi.

Sekian.