Dalam logika matematika, **kuantifikasi semesta** atau **kuantifikasi universal** adalah jenis kuantifikasi yang dapat diartikan sebagai "untuk semua" atau "untuk setiap". Kuantifikasi semesta menyatakan bahwa suatu predikat terpenuhi oleh setiap anggota *universal of discourse*. Dengan kata lain, kuantifikasi semesta adalah suatu predikat dari sifat atau relasi untuk setiap anggota domain. Hal ini menyatakan bahwa predikat dalam cakupan kuantifikasi semesta adalah benar untuk nilai variabel predikat.

Kuantifikasi semesta umumnya dilambangkan dengan huruf A terbalik (∀). Hal ini dapat dikaitkan dengan **kuantor semesta**, yang mana ketika simbol operator logika ini digunakan bersama dengan variabel predikat. Kuantor semesta dapat ditulis sebagai {\displaystyle \forall x}. Kuantifikasi semesta berbeda dengan kuantifikasi eksistensial, jenis kuantifikasi yang hanya mengatakan bahwa sifat atau relasi berlaku untuk setidaknya satu anggota domain.

Kuantor universal diberi kode sebagai U+2200 ∀ for all dalam Unicode, dan diberi kode`\forall` dalam markah LaTeX.

Notasi
------

Dalam logika simbolik, kuantor semesta diberi simbol {\displaystyle \forall }, sebuah huruf "A" terbalik, dengan Unicode U+2200. Simbol ini digunakan untuk mengartikan kuantifikasi semesta. Cara menggunakan simbol tersebut berawal dari Gerhard Gentzen pada tahun 1935, yang sejalan dengan notasi Giuseppe Peano {\displaystyle \exists } (sebuah huruf E terbalik) sebagai simbol kuantifikasi eksistensial.

Sebagai contoh, jika {\displaystyle P(n)} menyatakan predikat "{\displaystyle 2\cdot n>2+n}" dan {\displaystyle \mathbb {N} } menyatakan himpunan bilangan asli, maka


∀
n

∈

N

P
(
n
)

{\displaystyle \forall n\!\in \!\mathbb {N} \;P(n)}

{\displaystyle \forall n\!\in \!\mathbb {N} \;P(n)}adalah pernyataan (yang salah). Pernyataan ini dapat dibaca sebagai, "untuk semua bilangan asli {\displaystyle n}, berlaku {\displaystyle 2\cdot n>2+n}". Contoh yang serupa dengannya adalah: jika {\displaystyle Q(n)} menyatakan predikat "{\displaystyle n} adalah komposit", maka


∀
n

∈

N

(

Q
(
n
)
→
P
(
n
)

)

{\displaystyle \forall n\!\in \!\mathbb {N} \;{\bigl (}Q(n)\rightarrow P(n){\bigr )}}

{\displaystyle \forall n\!\in \!\mathbb {N} \;{\bigl (}Q(n)\rightarrow P(n){\bigr )}}adalah pernyataan (yang benar). Pernyataan ini dibaca, "untuk semua bilangan asli *{\displaystyle n}*, jika *{\displaystyle n}* komposit, maka {\displaystyle 2\cdot n>2+n}".

Sifat
-----

### Negasi

Negasi dari fungsi berkuantor semesta diperoleh dengan mengubah kuantor semesta menjadi kuantor eksistensial, dan kemudian memberi tanda negasi {\displaystyle \lnot } pada rumus. Dengan kata lain, {\displaystyle \lnot \forall x\;P(x)} ekuivalen dengan {\displaystyle \exists x\;\lnot P(x)}.

### Operator logika lainnya

Kuantor universal (dan eksistensial) untuk operator logika ∧, ∨, →, dan ↚ adalah sebagai berikut:

{\displaystyle {\begin{aligned}P(x)\land (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\land Q(y))\\P(x)\lor (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\lor Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\to (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\to Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\nleftarrow (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\nleftarrow Q(y))\\P(x)\land (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\land Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\lor (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\lor Q(y))\\P(x)\to (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\to Q(y))\\P(x)\nleftarrow (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\nleftarrow Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \end{aligned}}}
Sebaliknya, untuk penghubung logis ↑,  ↓, ↛, dan ←, maka kuantifikasi tersebut dapat dinyatakan sebagai berikut:

{\displaystyle {\begin{aligned}P(x)\uparrow (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\uparrow Q(y))\\P(x)\downarrow (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\downarrow Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\nrightarrow (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\nrightarrow Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\gets (\exists {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \forall {y}{\in }\mathbf {Y} \,(P(x)\gets Q(y))\\P(x)\uparrow (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\uparrow Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\P(x)\downarrow (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\downarrow Q(y))\\P(x)\nrightarrow (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\nrightarrow Q(y))\\P(x)\gets (\forall {y}{\in }\mathbf {Y} \,Q(y))&\equiv \ \exists {y}{\in }\mathbf {Y} \,(P(x)\gets Q(y)),&{\text{asalkan }}\mathbf {Y} \neq \emptyset \\\end{aligned}}}
### Aturan inferensi

Aturan inferensi adalah aturan yang membenarkan langkah-langkah logika, dimulai dari hipotesis sampai ke kesimpulan. Beberapa aturan-aturan tersebut memakai kuantor universal.

Instansiasi semesta menyimpulkan bahwa, jika diketahui bahwa fungsi proposisional adalah benar secara universal, maka hal tersebut benar untuk sebarang anggota *universal of discourse*. Sifat-sifat ini dapat dinyatakan dengan lambang 


∀

x

∈

X

P
(
x
)
→
P
(
c
)
,

{\displaystyle \forall {x}{\in }\mathbf {X} \,P(x)\to P(c),}

{\displaystyle \forall {x}{\in }\mathbf {X} \,P(x)\to P(c),}dengan {\displaystyle c} menyatakan sebarang anggota *universe of discourse*.

*Universal generalization* menyimpulkan bahwa fungsi proposisional adalah benar secara universal, jika benar untuk sebarang anggota *universal of discourse*. Untuk sebarang *{\displaystyle c}*, dapat dinyatakan dengan lambang


P
(
c
)
→
 
∀

x

∈

X

P
(
x
)
.

{\displaystyle P(c)\to \ \forall {x}{\in }\mathbf {X} \,P(x).}

{\displaystyle P(c)\to \ \forall {x}{\in }\mathbf {X} \,P(x).}Anggota *{\displaystyle c}* harus sepenuhnya adalah sebarang. Jika tidak, maka logika tersebut berkata lain: jika *{\displaystyle c}* tidak sebarang, melainkan anggota khusus dari *universal of discourse*, maka {\displaystyle P(c)} hanya menyiratkan kuantifikasi eksistensial dari fungsi proposisional.

### Himpunan kosong

Berdasarkan konvensi, rumus {\displaystyle \forall {x}{\in }\emptyset \,P(x)} selalu benar untuk {\displaystyle P(x)} manapun.

*Universal closure*
-------------------

*Universal closure* dari rumus {\displaystyle \varphi } menyatakan rumus tanpa variabel bebas yang diperoleh dengan menambahkan kuantor universal untuk setiap variabel bebas di {\displaystyle \varphi }. Sebagai contoh, *universal closure* dari


P
(
y
)
∧
∃
x
Q
(
x
,
z
)

{\displaystyle P(y)\land \exists xQ(x,z)}

{\displaystyle P(y)\land \exists xQ(x,z)}ditulis


∀
y
∀
z
(
P
(
y
)
∧
∃
x
Q
(
x
,
z
)
)
.

{\displaystyle \forall y\forall z(P(y)\land \exists xQ(x,z)).}

{\displaystyle \forall y\forall z(P(y)\land \exists xQ(x,z)).}

Lihat pula
----------

* Kuantifikasi eksistensial
* Logika orde pertama
* Daftar simbol logika - untuk simbol Unicode ∀

Referensi
---------

1. ↑  Miller, Jeff. "Earliest Uses of Symbols of Set Theory and Logic". *Earliest Uses of Various Mathematical Symbols*.

* Hinman, P. (2005). *Fundamentals of Mathematical Logic*. A K Peters. ISBN 1-56881-262-0.
* Franklin, J. and Daoud, A. (2011). *Proof in Mathematics: An Introduction*. Kew Books. ISBN 978-0-646-54509-7. Pemeliharaan CS1: Banyak nama: authors list (link)  (ch. 2)

Pranala luar
------------

* Definisi kamus every di Wiktionary

| * l
* b
* s
Simbol logika umum |
| --- |
| 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 
 ∧  *atau*  &  dan
 | 
 ∨  atau
 | 
 ¬  *atau*  ~  yidak / bukan
 | 
 →  mengimplikasikan
 | 
 ⊃  mengimplikasikan,superset
 | 
 ≡  jika dan hanya jika
 | 
 |  bukan dan
 | 
 ∀  kuantifikasi universaluniversal
 | 
 ∃  kuantifikasieksistensial
 | 
 ⊤  benar,tautologi
 | 
 ⊥  salah,kontradiksi
 | 
 ⊢  membuktikan
 | 
 ⊨  mengakibatkan
 | 
 ∴  sehingga
 | 
 ∵  karena
 |

 |
| 
* Portal Filsafat
* Portal Matematika

 |