Pernyataan majemuk ( pernyataan komposisi)

Kata hubung logika Lambang Istilah

dan, tetapi, meskipun, walaupun, dll Λ Konjungsi
atau V Disjungsi
Jika … maka … → Implikasi
… jika dan hanya jika … ↔ Biimplikasi

A. Konjungsi
Konjungsi dari p dan q dilambangkan dengan “p  q “ (dibaca p dan q)
Nilai kebenaran suatu konjungsi di tentukan oleh pernyataan pernyataan penyusunnya.
Ketentuan tersebut dapat dinyatakan dalam tabel kebenaran sebagai berikut:

p q p  q
B B B
B S S
S B S
S S S
B. Disjungsi
Disjungsi dari p dan q dilambangkan dengan “p  q “ (dibaca p atau q)
Ketentuan tersebut dapat dinyatakan dalam tabel kebenaran sebagai berikut:

p q p  q
B B B
B S B
S B B
S S S

C. Ingkaran atau Negasi

Ingkaran dari pernyataan p dilambangkan dengan  p
ketentuan tentang nilai kebenaran dari ingkaran , disajikan dalam tabel berikut

P  p
B S
S B

D. Implikasi atau pernyataan bersyarat

Implikasi :” Jika p maka q “ dilambangkan dengan “p  q “ (dibaca Jika p maka
q)
Ketentuan tersebut dapat dinyatakan dalam tabel kebenaran sebagai berikut:

p q p  q
B B B
B S S
S B B
S S B
E. BiImplikasi atau Ekuivalensi (Implikasi dwi arah ).
“P jika dan hanya jika q” dinyatakan dengan lambang “ p  q “

Ketentuan tentang nilai kebenaran suatu BiImplikasi , disajikan dalam tabel berikut
p q p  q
B B B
B S S
S B S
S S B
F. Konvers , Invers dan Kontraposisi

Dari Implikasi p  q dapat di susun pernyataan baru bentuk

(i) konvers : q  p
(ii) Invers : p  q
(iii) Kontra posisi : q  p

Catatan :
- Implikasi ekuivalen dengan kontraposisi
p  q  q  p
- Invers ekuivalen dengan konvers
p  q  q  p

G. EKUVALEN DAN NEGASI

Untuk p , q dan r pernyataan tunggal berlaku :

1. p  q  q  p   p  q (ekuivalensi)
2. ~( p  q )  ~ p  ~ q
3. (p  q)   p   q negasi
4. ~( p  q )   p   q
5. ~( p  q )  (p  ~q)  (q  ~p)

TUGAS

1. Diketahui pernyataan ”jika semua mahasiswa berdemonstrasi, maka lalu lintas

macet”. Tentukan:
a. Konvers
b. Invers
c. kotraposisi
2. Tentukan ingkaran dari tiap pernyataan berikut
a. Komang adalah orang kaya tetapi kikir
b. Ibu sedang memasak sayur atau pergi ke pasar
c. Jika saya lulus ujian maka saya senang
3. Pernyataan yang setara/ekuivalen dengan
a. jika pejabat negara bijaksana maka semua rakyat bahagia
b. tidak benar bahwa, mawar berwarna merah dan melati berwarna putih
c. p   q
d. p  (p   q)
Kuantor dan
Penarikan kesimpulan (Argumentasi)

1. Modus Ponens

Modus ponen adalah suatu argumentasi yang bentuknyadapat dinyatakan seperti di bawah
ini:
P q premis
P premis
-------------------------
 q Konklusi

2. Modus Tollens
Modus Tollens adalah suatu argumentasi yang bentuknya dapat dinyatakan sebagai
berikut:
P q premis
q premis
-------------------------
 p Konklusi

3. Silogisme
Silogisme juga disebut sifat transitif dari implikasi, adalah suatu argumentasi yang
bentuknya dapat dinyatakan sebagai berikut:

P  q premis
q  r premis
- ------------------
P  q konklusi