MTES3023

Penaakulan Matematik

Kesetaraan Pernyataan
Bersyarat

Gambar Rajah Euler bagi Pernyataan

Bersyarat

Jika p, maka q.

q
p

Kontrapositif:
Jika ~q, maka ~p.

Jika bukan q, mesti bukan p.

Jadi, kontrapositif adalah benar.

Buktikan:
Sebarang pernyataan bersyarat adalah setara
dengan kontrapositifnya.

( p q) (~ q ~ p )

Kesetaraan Pernyataan

ab

Jika dua pernyataan a dan b mempunyai nilai kebenaran

yang sama, maka a dan b adalah setara.
p

pq

qp

Lengkapkan nilai
kebenaran bagi akas q p.
Seterusnya, tentukan sama
ada (p q) setara dengan
akasnya atau tidak.

Lengkapkan jadual kebenaran.

r
e
b

~p

~q

a
y
s

pq

t
a
r
ak

as

qp

so

ng

n
sa

~p ~q

an
ko

r
t
n

o
p
a

~q ~p

ti
si

Kesetaraan Pernyataan Bersyarat

r
e
b

a
y
s

t
a
r
ak

as

so

ng

n
sa

an
ko

r
t
n

o
p
a

~p

~q

pq

qp

~p ~q

~q ~p

SETARA
SETARA

ti
si

Akas dan songsangan sesuatu pernyataan

bersyarat adalah setara.

( q p ) (~ p ~ q)

Latihan
Diberi pernyataan bersyarat:
Jika x > 0, maka x2 > 0.
Tuliskan:
songsangan
akas
kontrapositif
Seterusnya, buktikan bahawa kontrapositif
adalah setara dengan pernyataan bersyarat ini.

Sesi Pleno
Jadual kebenaran dan gambarajah Euler berguna
untuk menentukan nilai kebenaran pernyataan
bersyarat.
Kontrapositif adalah setara dengan pernyataan
bersyarat.
Akas adalah setara dengan songsangan
pernyataan bersyarat.
Elak daripada kesilapan akas bila membuat hujah
berdasarkan pernyataan bersyarat.