Implikasi

Misalkan p dan q adalah pernyataan. Pernyataan majemuk “jika p maka q”, yang dilambangkan dengan p → q disebut pernyataan bersyarat atau implikasi. Pernyataan p disebut hipotesis atau anteseden (antecedent) dan q disebut konklusi atau konsekuen (consequent).

 

Tulislah implikasi dari p dan q :

(a)    p : saya lapar;                                  q:   saya akan makan.

(b)   p : 2 adalah bilangan prima;           q:   2 < 4

Penyelesaian :

(a)    Jika saya lapar, maka saya akan makan

(b)   Jika 2 adalah bilangan prima maka 2 < 4

Pernyataan - pernyataan berikut merupakan bentuk yang ekuivalen:

(a)    Jika p, maka q.

(b)   P mengimplikasi q.

(c)    Jika p,q.

(d)   P hanya jika q.

(e)    q jika p.

(f)    p adalah syarat cukup untuk q.

(g)   q adalah syarat perlu untuk p.