1.

KONDISIONAL (IMPLIKASI)

Operasi Implikasi. Operasi implikasi (kondisional) adalah operasi penggabungan dua pernyataan
yang menggunakan kata hubung jika . maka . yang dilambangkan . Implikasi dari
pernyataan p dan q ditulis pq dan dibaca jika p maka q. Pernyataan bersyarat pq juga
dapat dibaca p hanya jika q atau p adalah syarat cukup bagi q atau q adalah syarat perlu
bagi p. Dalam pernyataan pq p disebut hipotesa / anteseden / sebab q disebut koklusi /
konequen / akibat Jika p dan q dua buah pernyataan maka pq salah jika p benar dan q
salah,dalam kemungkinan lainnya pq benar

. Contoh dari Implikasi

1. p : 10 adalah bilangan genap ( benar ) q : 10 habis di bagi 2 ( benar ) pq : Jika 10 adalah
bilangan genap maka 10 habis di bagi 2 ( benar ).

2. p : Indonesia di lalui garis khatulistiwa ( benar ) q : Di Indonesia ada empat musim ( salah )
pq : Jika Indonesia di lalui garis khatulistiwa maka di Indonesia ada empat musim ( salah )

3. p : 12 adalah bilangan prima ( salah ) q : 12 habis dibagi 4 ( benar ) pq : Jika 12 adalah

bilangan prima maka 12 habis dibagi 4 ( benar )

4. p : Inggris adalah negara berkembang ( salah ) q : Inggris bukan anggota organisasi negara
maju ( salah ) pq : Jika Inggris adalah negara berkembang maka Inggris bukan anggota
organisasi negara maju ( benar ).

Tabel Kebenaran Implikasi:

Ket :
p q p=>q
P : benar
B B B
Q : salah
B S S
p=>q : jika p maka q
S B B

S S B
2. BIKONDISIONAL (BIIMPLIKASI)

Operasi Biimplikasi ( Bikondisional). Biimplikasi yaitu pernyataan majemuk yang menggunakan kata
hubung jika dan hanya jika .. dinotasikan . Biimplikasi dari pernyataan p dan q ditulis p q
dibaca p jika dan hanya jika q.Pernyataan p q dapat juga dibaca :

1. p equivalent q
2. p adalah syarat perlu dan cukup bagi q Jika p dan q dua buah pernyatan maka p q benar bila kedua
pernyataan tersebut mempunyai nilai kebenaran yang sama, sebaliknya p q salah bila salah satu
salah , atau salah satu benar.

Contoh dari biimplikasi :

1. p : Ayah mendapat gaji ( benar ) q : Ayah bekerja ( benar ) pq : Ayah mendapat gaji jika dan hanya
jika ayah bekerja ( benar)
2. p : Ani lulus ujian ( benar ) q : Ani malas belajar ( salah ) pq : Ani lulus ujian jika dan hanya jika Ani
malas belajar ( salah )
3. p : Padi tidak tumbuh subur ( salah ) q : Padi diberi pupuk ( benar ) pq : Padi tidak tumbuh subur jika
dan hanya jika padi diberi pupuk ( salah )
4. p : Doni mendapat nilai jelek ( salah ) q : Doni malas belajar ( salah ) pq : Doni mendapat nilai jelek
jika dan hanya jika Doni malas belajar ( benar ).
 Tabel Kebenaran Biimplikasi :

KET : p<=>
p q
q
P : benar
B B B
Q:
B S S
p<=>q : p jika dan hanya jika q
S B S

S S B

Argumen adalah rangkaian kalimat kalimat. Semua kaliamat kalimat tersebut

kecuali yang terakhir disebut hipotesa ( atau asumsi/premise). Kalimat terakhir disebut
kesimpulan.
Secara umum, hipotesa dan kesimpulan dapat digambarkan sebagai berikut :
P1
P2
P3
...
Pn
--------------------
q } kesimpulan
(tanda q dibaca ` jadi q `

Suatu argumen dikatakan valid apabila untuk sembarang pernyataan yang

disubsitusikan kedalam hipotesa, jika semua hipotesa tersebut benar, maka kesimpulan
juga benar. Sebaliknya meskipun semua hipotesa benar tetapi ada kesimpulan yang
salah, maka argumen tersebut dikatakan invalid.
Kalau suatu argumen dan semua hipotesanya bernilai benar maka kebenaran nilai
konklusi dikatakan sebagai ` diinferensikan (diturunkan) dari kebenaran hipotesa `.
Untuk mengecek apakah suatu argumen merupakan kalimat yang valid, dapat
dilakukan langkah langkah sebagai berikut :

1 Tentukan hipotesa dan kesimpulan kalimat.

2 Buat tabel yang merupakan nilai kebenaran untuk semua hipotesa dan kesimpulan.
3 Carilah baris kritis, yaitu baris dimana semua hipotesa bernilai benar.
4 Dalam baris kritis tersebut, jika semua nilai bernilai benar, maka argumen itu valid. Jika
diantara baris kritis tersebut ada baris dengan nilai kesimpulan yang salah, maka argumen itu
invalid.

Contoh

Tentukan apakah argumen ini valid / invalid

a pv(qvr) b p(qv~r)
 ~r q(p^r)
---------------- --------------------
pvq pr

Penyelesaian :

a Ada 2 hipotesa masing masing p v ( q v r ) dan ~ r. Kesimpulannya adalah p v q. Tabel

kebenaran hipotesa hipotesa dan kesimpulan adalah :

Baris p q r qvr p v (qvr) ~r pvq

ke
1 T T T T T F T
2 T T F T T T T
3 T F T T T F T
4 T F F F T T T
5 F T T T T F T
6 F T F T T T T
7 F F T T T F F
8 F F F F F T F
Baris kritis adalah baris 2, 4, 6 (baris yang semua hipotesanya bernilai T. Pada baris baris
tersebut kesimpulannya juga bernilai T. Maka argumen tersebut valid.

b Hipotesa adalah p ( q v ~ r ) dan q ( p ^ r ). Konklusinya adalah p r, tabel

kebenarannya adalah

Bari p q r ~ qv~ p^ p(qv q(p^ P

s ke r r r ~r) q) r
1 T T T F T T T T T
2 T T F T T F T F F
3 T F T F F T F T T
4 T F F T T F T T F
5 F T T F T F T F T
6 F T F T T F T F T
7 F F T F F F T T T
8 F F F T T F T T T

Baris kritis adalah baris 1, 4, 7, dan 8. Pada baris ke 4 (baris kritis) nilai konklusinya adalah F,
maka argumen tersebut invalid.