Nama : Sachril Candra Pratama

NIM : 2130511086 (Teknik Informatika B)

TUGAS : Logika Informatika

5 Ekspresi Predikat, 5 Logika Predikat, 5 Negasi

● Ekspresi Logika Predikat

1. “Semua Harimau Adalah Pemangsa”

- Semua x adalah Harimau, dan x adalah Pemangsa
- (Ɐx)(Harimau(x) -> Pemangsa(x))
- (Ɐx)(H(x) -> P(x))

2. “Ada Harimau Hidup di Kebun Binatang Ragunan”

- Ada x adalah Harimau, dan x Hidup di Kebun Binatang Ragunan
- (Ǝx)(Harimau(x) ^ Hidup di Kebun Binatang Ragunan(x))
- (Ǝx)(H(x) ^ R(x))

3. “Hanya Harimau yang Mengaum”

- Hanya x adalah Harimau, dan x yang Mengaum
- (Ǝx)(Harimau(x) ^ yang Mengaum(x))
- (Ǝx)(H(x) ^ M(x))

4. “Ada Harimau Memangsa Kijang”

- Ada x adalah Harimau, dan x Memangsa Kijang
- (Ǝx)(Harimau(x) ^ Memangsa Kijang(x))
- (Ǝx)(H(x) ^ K(x))

5. “Beberapa Harimau Hidup di India”

- Beberapa x adalah Harimau, dan x Hidup di India
- (Ǝx)(Harimau(x) ^ Hidup di India(x))
- (Ǝx)(H(x) ^ I(x))
● Logika Predikat

1. “Semua pejuang kemerdekaan indonesia adalah gagah berani”

- A = Semua pejuang memperjuangkan kemerdekaan indonesia
- B = Pejuang kemerdekaan gagah dan berani
- C = Dengan demikian “Semua pejuang kemerdekaan indonesia adalah
gagah dan berani”

Ekspresi (opsional) :
(Ɐx)(P(x) -> B(x))
P(x) = semua pejuang kemerdekaan indonesia adalah
B(x) = gagah dan berani

2. “Beberapa ahli sejarah mengakui kalau untung surapati adalah

pejuang yang gagah berani”
- A = Beberapa ahli sejarah mengakui untung surapati adalah pejuang
- B = Untung surapati gagah dan berani
- C = Dengan demikian “Beberapa ahli sejarah mengakui kalau untung
surapati adalah pejuang yang gagah berani”

Ekspresi (opsional) :
(Ǝx)(S(x) ^ U(x) -> P(x) ^ G(x))
S(x) = Beberapa ahli sejarah mengakui
U(x) = Untung surapati adalah
P(x) = Pejuang yang
G(x) = Gagah berani

3. “Untuk setiap pahlawan ada musuh yang harus dibasmi”

- A = Setiap pahlawan ada musuh
- B = Musuh pahlawan ada yang harus dibasmi
- C = Dengan demikian “Untuk setiap pahlawan ada musuh yang harus
dibasmi”

Ekspresi (opsional) :
(Ǝx)(P(x) ^ M(x) -> B(x))
P(x) = Untuk setiap pahlawan
M(x) = Ada musuh
P(x) = Yang harus dibasmi

4. “Semua orang mengakui spiderman adalah pahlawan”

- A = Semua orang mengakui spiderman
- B = Spiderman adalah pahlawan yang diakui
 - C = Dengan demikian “Semua orang mengakui spiderman adalah
pahlawan”
Ekspresi (opsional) :
(Ɐx)(S(x) -> P(x))
S(x) = Semua orang mengakui spiderman
P(x) = Adalah pahlawan

5. “Kertanegara adalah raja singosari yang pemberani”

- A = Kertanegara adalah raja singosari
- B = Raja singosari adalah pemberani
- C = Dengan demikian “Kertanegara adalah raja singosari yang
pemberani”

Ekspresi (opsional) :
(Ɐx)(K(x) -> P(x))
K(x) = Kertanegara adalah raja singosari
P(x) = Yang pemberani

● Negasi

1. Semua lelaki pandai berlari (Ɐx)(L(x) -> B(x))

Dinegasikan menjadi
Beberapa lelaki tidak pandai berlari (~Ɐx)(L(x) ^ ~B(x))

2. Ada buah adalah berwarna pink (Ǝx)(B(x) ^ P(x))

Dinegasikan menjadi
Semua buah adalah tidak berwarna pink (~Ǝx)(B(x) ^ ~P(x))

3. Semua yang hadir merasakan lapar (Ɐx)(H(x) -> L(x))

Dinegasikan menjadi
Beberapa yang hadir tidak merasakan lapar (~Ɐx)(H(x) -> ~L(x))

4. Semua baju berwarna hitam (Ɐx)(B(x) -> H(x))

Dinegasikan menjadi
Beberapa baju berwarna hitam (~Ɐx)(B(x) -> H(x))

5. Semua tamu membawa makanan (Ɐx)(T(x) -> M(x))

Dinegasikan menjadi
Beberapa tamu membawa makanan (~Ɐx)(T(x) -> M(x))