Kuantor Logika Matematika

Kalimat " Semua manusia membutuhkan oksigen " dapat ditulis dalam bentuk simbolik yaitu...

• ∃x P(x)

• ∀x P(x)

• ∃x ∼P(x)

• ∼∀x P(x)

Manakah dari pernyataan berikut yang menggunakan kuantor Universal?

• Setiap bilangan genap lebih besar dari 2 dapat dinyatakan sebagai jumlah dua bilangan prima

• Ada bilangan prima yang genap

• Ada bilangan yang lebih besar dari 100

• Terdapat bilangan yang bukan bilangan rasional

Pernyataan " Setiap Bilangan Real Positif memiliki akar kuadrat " dapat dituliskan dalam bentuk simbolik sebagai ...

• ∃x ∊ ℝ, x > 0 → ∃y ∊ ℝ, y² = x

• ∀x ∊ ℝ, x > 0 → ∃y ∊ ℝ, y² = x

• ∃x ∊ ℝ, x² > 0

• ∀x ∊ ℝ, x = x

Pernyataan " Tidak ada bilangan asli yang negatif " dalam bentuk logika kuantor adalah ...

• ∃x ∊ ℕ, x < 0

• ∼ ∃x ∊ ℕ, x < 0

• ∀x ∊ ℕ, x > 0

• ∼ ∀x ∊ ℕ, x > 0

Bentuk negasi dari pernyataan " ∀ x ∊ ℕ, x² ≥ x " adalah...

• ∀ x ∊ ℕ, x² < x

• ∃ x ∊ ℕ, x² < x

• ∃ x ∊ ℕ, x² ≥ x

• ∼ ∀ x ∊ ℕ, x² ≥ x

Pilih pernyataan mana yang menggunakan kuantor universal!

• Beberapa mahasiswa gemar membaca novel

• Tidak ada orang yang sempurna

• Setiap orang memiliki mimpi

• Ada seseorang yang menunggumu di luar

Pernyataan " Ada mahasiswa yang pandai dalam matematika " menggunakan kuantor ...

• Universal

• Eksistensial

• Negasi

• Implikasi

Manakah dari pernyataan berikut yang mengandung kuantor eksistensial?

• Semua bilangan genap habis di bagi 2

• Setiap bilangan prima lebih besar dari 1

• Untuk setiap bilangan real x, berlaku x² ≥ 0

• Ada bilangan bulat yang merupakan akar dari persamaan x²-4=0

p →q (hipotesis)

∼q (hipotesis)

∴ ∼ p ( kesimpulan)

Kaidah apakah yang digunakan dalam pengambilan kesimpulan pernyataan diatas...

• Modus Ponen

• Modus Tollens

• Silogisme Hipotesis

• Silogisme Disjungtif

Silogisme Hipotesis dapat di tulis dengan cara

• p→q ( hipotesis )

  q→r (hipotesis)

  ∴p →r (kesimpulan)

• p→ ∼q ( hipotesis )

  q→r (hipotesis)

  ∴p →q (kesimpulan)

• p→q ( hipotesis )

  ∼q (hipotesis)

  ∴∼p (kesimpulan)

• p→q ( hipotesis )

  q (hipotesis)

  ∴r (kesimpulan)