Question

Tuliskan pernyataan-pernyataan berikut ini dalam bentuk simbolik ! Kemudian tentukan negasinya. a. Tidak semua pulau di Indonesia didiami oleh penduduk. b. Di perguruan tinggiku ada profesor wanita. c. Semua laki-laki dapat dipercaya. d. Setiap bilangan kuadrat lebih besar atau sama dengan nol. e. Ada segi tiga sama kaki yang bukan segi tiga sama sisi. f. Tidak ada manusia yang hidup abadi. ​

Answer 1

Jawaban:

a. ∃x(P(x) → ¬D(x))

  Negasi: ∀x(P(x) ∧ D(x))

b. ∃x(P(x) ∧ W(x))

  Negasi: ∀x(P(x) → ¬W(x))

c. ∀x(L(x) → T(x))

  Negasi: ∃x(L(x) ∧ ¬T(x))

d. ∀x(B(x) → N(x))

  Negasi: ∃x(B(x) ∧ ¬N(x))

e. ∃x(S(x) ∧ ¬E(x))

  Negasi: ∀x(S(x) → E(x))

f. ¬∃x(H(x) ∧ A(x))

  Negasi: ∀x(H(x) → ¬A(x))

Penjelasan:

Keterangan:

P(x): x adalah pulau di Indonesia

D(x): x didiami oleh penduduk

W(x): x adalah profesor wanita

L(x): x adalah laki-laki

T(x): x dapat dipercaya

B(x): x adalah bilangan kuadrat

N(x): x lebih kecil dari nol

S(x): x adalah segi tiga sama kaki

E(x): x adalah segi tiga sama sisi

H(x): x adalah manusia

A(x): x hidup abadi