Pernyataan berkuantor adalah kalimat yang digunakan untuk menyatakan SEMUA atau
SEBAGIAN
Menggunakan kata semua, setiap, untuk Menggunakan kata ada (paling tidak ada 1
tiap-tiap yang berbeda)
Lambang: Lambang:
⩝(x) dibaca semua, setiap x ∃(x) dibaca beberapa, ada x
Contoh: Contoh:
Semua perempuan suka belanja online Beberapa perempuan suka tas branded
⩝(x) p(x) ∃(x) p(x)
Setiap anak menyukai pelajaran seni Ada anak laki-laki yang suka menjahit
⩝(x) p(x) ∃(x) p(x)
Pernyataan berkuantor dapat dirubah menjadi pernyataan yang setara maknanya. Jadi jika
ada kesulitan mencari jawaban, maka coba setarakan pernyataan tersebut.
Contoh:
Semua peserta lomba mendapat souvenir (semua p)
p
Jawaban:
Pernyataan Negasi
Semua p Ada (∼p)
p: Semua peserta lomba mendapat ∼p: Ada peserta lomba yang tidak
souvenir mendapat souvenir
Contoh:
Ada peserta lomba mendapat souvenir (ada p)
p
Jawaban:
Pernyataan Negasi
Ada p Semua (∼p)
p: Ada peserta lomba mendapat ∼p: Semua peserta lomba tidak
souvenir mendapat souvenir
Resume
Pernyataan Negasi
∼ (semua p) Ada (∼p)
∼ (ada p) Semua (∼p)
Ekuivalensi adalah bentuk pernyataan yang memiiki nilai kebenaran yang setara dengan
sebuah pernyataan lainnya
Pengetahuan tentang ekuivalensi sangat dibutuhkan sebagai dasar dalam membuat
kesimpulan (dalam silogisme).
Ekuivalen berbeda dengan Negasi walau tampak mirip. Ekuivalen bermaksud untuk mencari
bentuk lain dari sebuah pernyataan dengan derajat kebenaran yang sama. Sedangkan negasi
bermaksud untuk mengingkari sebuah pernyataan.
Berikut ini adalah bentuk ekuivalen yang perlu dihafal dan dipahami. Ekuivalensi di bawah
ini sudah diuji dalam table kebenaran: