2x+
BENTUK 1
3 x + 2x BENTUK
PERNYATAA MATEMATIKA
Kelompok 7
B B B B B
B S S S B
S B B S B
S S B S B
EKIVALEN
LOGIS
Dua pernyataan dikatakan ekivalensi jika memiliki nilai
kebenaran yang sama. Ditulis A ≡ B
o
Chn t o Ekivalen
Logis
Tabel
Kebenaran
p q p => q ~p ~p˅ q
B B B S B
B S S S S
S B B B B
S S B B B
Kon v e r s
Konvers merupakan
kebalikan dari
pernyataan implikasi
5 6 7
Rumus
konvers
o
Chn t o Konvers
Inv e r s
Invers merupakan
negasi dari pernyataan
implikasi
5 6 7
Rumus Invers
o
Chn t o Invers
on t
Kposisira -
Kontraposisi
merupakan kebalikan
dan negasi dari
pernyataan implikasi
5 6 7
Rumus Kontra-posisi
o
Chn t o Kontra-
posisi
KUANTOR
Kuantor eksistensial
Kuantor universal
(ada, beberapa, terdapat, atau sekurang-
(semua, untuk setiap, untuk tiap-tiap)
kurangnya satu)
atau jumlah.
Perbedaan
Pernyataan Kuantor Universal Pernyataan Kuantor Eksistensial
ditandai dengan penggunaan Ditandai dengan adanya kata ada,
kata setiap atau semua. beberapa, terdapat, atau kata-kata yang
Simbol operator logika untuk kuantor semakna lainnya.
universal yaitu ∀ Simbol operator logika untuk kuantor
Notasi ∀x dibaca untuk semua x atau eksistensial yaitu .
untuk setiap x Notasi ∃x dibaca ada nilai x, beberapa
Pernyataan berkuantor universal dengan nilai x, atau terdapat nilai x
kalimat terbuka p(x) disimbolkan dalam Pernyataan berkuantor eksistensial
∀x, p(x). dengan kalimat terbuka p(x) disimbolkan
dalam ∃x, p(x)
Contoh
1. ( ∀x ∈ A)(∃y ∈ A) x < y.