LOGIKA MATEMATIKA

I N F E R E N S I D A N P R E K D I K AT K U A N T I F I E R

Fiqri Baihaqi Hermawanto

SE0201
1201190034
Apakah (~q ^ (p -> q)) -> ~p adalah tautology?
Jawaban :
Misal :
A : (p -> q)
B : (~q ^ (p -> q)
C : (~q ^ (p -> q)) -> ~p

p q ~p ~q A B C
T T F F T F T
T F F T F F T
F T T F T F T
F F T T T T T

Pernyataan tersebut bersifat tautology karena semua pernyataannya bernilai True (T)
Tunjukkan bahwa (p -> q) -> r dan p -> (q -> r) tidak ekivalen
Jawaban :
Misal :
A : (p -> q)
B : (p -> q) -> r
C : (q -> r)
D : p -> (q -> r)
p q r A B C D
T T T T T T T
T T F T F F F
T F T F T T T
T F F F T T T
F T T T T T T
F T F T F F T
F F T T T T T
F F F T F T T

Kedua pernyataan tersebut tidak ekivalen karena jumlah False (F) antara kedua pernyataan tidak sama.
Gunakan prinsip inferensi untuk menurunkan ~s dari hipotesa :
• (s V q) -> p
• ~a
• p -> a
Jawab :
• (s V q) -> p (Premis)
• ~a (Premis)
• p -> a (Premis)
• (s V q) -> a (Hypthetical Syllogism dari 1 dan 3)
• ~(s V q) (Modus Tollens dari 4)
• ~s ^ ~q (Hukum De Morgan dari 5)
• ~s (Penyederhanaan Konjungtif dari 6)
Terdapat P(x) = “the word x contains the letter a”. Apa nilai kebenarannya ?
• P(orange)
• P(lemon)
• P(true)
• P(false)
Jawab :
• P(orange) : True
Penjelasan : Di dalam predikat P yaitu “orange” terdapat huruf “a”.
• P(lemon) : False
Penjelasan : Di dalam predikat P yaitu “lemon” tidak terdapat huruf “a”.
• P(true) : False
Penjelasan : Di dalam predikat P yaitu “true” tidak terdapat huruf “a”.
• P(false) : True
Penjelasan : Di dalam predikat P yaitu “false” terdapat huruf “a”.
•P(x)
  adalah x = x2, apa nilai kebenaran msg2 di bawah d
ini?
• P(2) : False
• P(0)
Penjelasan : x = x2
• P(1)
2 = 22
• P(2)
2=4
• P(-1)
• P(-1) : False
• xP(x)
Penjelasan : x = x2
• xP(x)
-1 = (-1)2
Jawab :
-1 = 1
• P(0) : True
• xP(x) : True
Penjelasan : x = x2
Penjelasan : Terdapat beberapa bilangan real x
0 = 02 sedemikian sehingga P(x) bernilai
0=0 benar.
• P(1) : True • xP(x) : False
Penjelasan : x = x2 Penjelasan : Terdapat bilangan real x di dalam semesta
sehingga P(x) bernilai
1 = 12
salah.
1=1
•Tentukan
  nilai kebenaran masing2 statement di bawah ini ! Dengan domain bilangan bulat.
• n(n2 ≥ 0) nm(n < )
• n( = 2) nm(n + m = 0)
• n( ≥ n) nm(nm=m)
• nm( < m) nm( + = 5)
Jawab :
• n(n2 ≥ 0) : True
Semua bilangan bulat n jika dikuadratkan akan bernilai positif atau nol dan lebih
besar atau sama dengan nol, misalnya:
n=0
≥0
≥0
0≥0
•  n( = 2) : False
Setiap bilangan bulat n di dalam semesta pembicaraan bernilai salah dalam ( = 2).
• n( ≥ n) : True
Semua bilangan bulat n jika dikuadratkan, hasilnya akan positif dan lebih besar
dari bilangan real tersebut, misalnya:
n=2
≥2
4≥2
• nm( < m) : False
Terdapat bilangan bulat n sedemikian sehingga ( < m) bernilai salah untuk setiap bilangan bulat m.
• nm(n < ) : False
Untuk setiap bilangan bulat n, terdapat bilangan bulat m sehingga (n < ) bernilai salah.
• nm(n + m = 0) : False
Terdapat bilangan bulat n sedemikian sehingga ( < m) bernilai salah untuk setiap bilangan bulat m.
•  nm(nm=m) : True
Terdapat bilangan bulat n sehingga (nm=m) bernilai benar untuk setiap bilangan bulat m.
• nm( + = 5) : True
Terdapat sepasang bilangan bulat n dan m sehingga ( + = 5) bernilai benar.
TERIMA KASIH