Dalam bahasa alami, kuantifer mengubah kalimat tentang sesuatu yang memiliki beberapa properti menjadi kalimat tentang jumlah (kuantitas) benda sifat. Contoh bilangan dalam bahasa Inggris adalah "all", "some", "many", "few", "most", dan "no"; Contoh kalimat terkuantifikasi adalah "semua orang fana", "beberapa orang fana", dan "tidak ada orang yang fana", adalah benar, dan salah.

Dalam logika matematika, khususnya dalam logika orde pertama, **kuantifer** mencapai tugas serupa, beroperasi pada rumus matematika dari kalimat bahasa Inggris.

Lebih tepatnya, pembilang menentukan jumlah spesimen dalam domain wacana yang menggunakan rumus terbuka. Dua bilangan formal yang umum adalah "kuantifikasi universal" (pembilang universal, secara tradisional dilambangkan dengan "∀" ), dan "eksistensial kuantifikasi" (pembilang eksistensial, "∃"). Misalnya, dalam aritmetika, bilangan memungkinkan bahwa bilangan asli berlangsung, dengan menulis bahwa "untuk bilangan asli *n*, bilangan asli *m* yang terbesar dari *n* "; ditulis sebagai formal sebagai "∀ *n* ∈ℕ. ∃ *m* ∈ℕ. *m* > *n* ". Contoh di atas dapat diformalkan sebagai "∀ *p* ∈ *P.* *M* ( *p* )", "∃ *p* ∈ *P.* *M* ( *p* )", dan "¬ ∃ *p* ∈ *P.* *M* ( *p* )", ketika *P* menunjukkan himpunan, dan *m* ( *p* ) menunjukkan "*p* adalah fana".

Rumus dimulai dengan kuantifer disebut rumus **kuantifikasi**. Kuantifer formal membutuhkan variabel, yang dikatakan *terkait*, dan subrumus menentukan sifat variabel.

Pengukur formal digeneralisasikan dengan karya Mostowski dan Lindström.

Relasi dengan konjungsi dan disjungsi logis
-------------------------------------------

Untuk domain hingga wacana D = {a 1, ... a n }, pembilang universal ekuivalen dengan konjungsi logis dari proposisi dengan istilah tunggal a i (dengan bentuk Pa i untuk predikat monadik).

Pengukur eksistensial ekuivalen dengan disjungsi logis dari proposisi digunakan struktur yang sama seperti sebelumnya. Untuk wacana yang tak hingga, persamaannya serupa.

### Domain wacana tak hingga

Perhatikan pernyataan berikut:

1 · 2 = 1 + 1, dan 2 · 2 = 2 + 2, dan 3 · 2 = 3 + 3, ... dan 100 · 2 = 100 + 100, dan ... dll.
*Konjungsi* proposisi yang *tak hingga d*ari sudut bahasa formal secara langsung menjadi masalah, karena aturan sintaks dengan menghasilkan kata terbatas.

Contoh di atas, karena prosedur untuk konjungsi. Namun, jika pernyataan dibuat tentang bilangan irasional, tidak ada cara untuk menghitung semua konjungsi, karena irasional tidak disebutkan. Rumus ekuivalen ringkas masalah menggunakan *penghitungan universal*:

Untuk bilangan asli *n*, *n* · 2 = *n* + *n* .
Analisis serupa berlaku untuk disjungsi,

1 sama dengan 5 + 5, atau 2 sama dengan 5 + 5, atau 3 sama dengan 5 + 5, ... atau 100 sama dengan 5 + 5, atau ... dll.
dirumuskan ulang menggunakan *kuantifikasi eksistensial*:

Untuk beberapa bilangan asli *n*, *n* sama dengan 5 + 5.

Pendekatan aljabar untuk kuantifikasi
-------------------------------------

Dimungkinkan untuk merancang aljabar abstrak yang modelnya mencakup bahasa formal dengan kuantifikasi, tetapi kemajuannya lambat[*butuh klarifikasi*] dan minat pada aljabar terbatas. Tiga pendekatan dirancang saat ini:

* Aljabar relasi, ditemukan oleh Augustus De Morgan, dan diterbitkan oleh Charles Sanders Peirce, Ernst Schröder, Alfred Tarski, dan siswa Tarski. Aljabar relasi tidak dapat merepresentasikan rumus dengan bilangan yang bersarang lebih dari tiga kedalaman. Anehnya, model aljabar relasi mencakup teori himpunan aksiomatik ZFC dan aritmetika Peano ;
* Tabung aljabar, dibuat ditemukan Alfred Tarski, Leon Henkin, dan lainnya;
* Aljabar poliadic dari Paul Halmos.

Notasi
------

Dua bilangan yang umum adalah bilangan universal dan bilangan eksistensial. Simbol tradisional untuk pembilang universal adalah "∀ ", huruf yang diputar "A ", yang berarti "semua". Simbol yang sesuai untuk pembilang eksistensial adalah "∃ ", huruf "E "yang diputar, yang berarti "ada".

Contoh translasi pernyataan terkuantifikasi dalam bahasa alami seperti bahasa Indonesia adalah sebagai berikut. Dengan pernyataan, "Setiap teman Udin suka menari atau suka pergi ke pantai (atau keduanya)", aspek kunci dapat diidentifikasi dan ditulis ulang menggunakan simbol termasuk bilangan. Jadi, misalkan *X* adalah himpunan dari semua teman Udin, U( *x* ) predikat "*x* suka menari", dan *Q*( *x* ) predikat "*x* suka pergi ke pantai". Maka kalimat diatas dapat ditulis dalam notasi formal sebagai {\displaystyle \forall {x}{\in }X,U(x)\lor Q(x)}, yang dibaca, "untuk *x* yang merupakan anggota *X*, U berlaku untuk *x* atau *Q* berlaku untuk *x* ".

Beberapa ekspresi terkuantifikasi lainnya dibangun sebagai berikut,

{\displaystyle \exists {x}\,U}  {\displaystyle \forall {x}\,U}
untuk rumus U *k*edua ungkapan ini (menggunakan definisi di atas) dibaca sebagai "ada teman Udin yang suka menari" dan "semua teman Udin suka menari". Notasi varian termasuk, untuk himpunan *X* dan himpunan anggota *x* :

{\displaystyle \bigvee \_{x}U}  {\displaystyle (\exists {x})U}  {\displaystyle (\exists x\ .\ U)}  {\displaystyle \exists x\ \cdot \ U}  {\displaystyle (\exists x:U)}  {\displaystyle \exists {x}(U)}  {\displaystyle \exists \_{x}\,U}  {\displaystyle \exists {x}{,}\,U}  {\displaystyle \exists {x}{\in }X\,U}  {\displaystyle \exists \,x{:}X\,U}
Semua variasi berlaku untuk penghitungan universal. Variasi lain untuk pembilang universal adalah

{\displaystyle \bigwedge \_{x}U}  {\displaystyle \bigvee xU}  {\displaystyle (x)\,U}
Beberapa versi notasi secara eksplisit menyebutkan kisaran kuantifikasi. Kisaran penghitungan harus selalu ditentukan; untuk teori matematika tertentu dapat dilakukan dengan beberapa cara:

* Asumsikan domain diskursus tetap untuk setiap kuantifikasi, seperti yang dilakukan dalam teori himpunan Zermelo–Fraenkel ,
* Perbaiki beberapa domain wacana terlebih dahulu dan mengharuskan setiap variabel memiliki domain yang dideklarasikan, yang merupakan *jenis* variabel itu. Ini sejalan dengan situasi dalam bahasa pemrograman komputer yang diketik secara statis, di mana variabel telah menyatakan tipe.
* Sebutkan secara eksplisit kisaran kuantifikasi, mungkin menggunakan simbol untuk himpunan semua objek dalam domain itu (atau tipe objek dalam domain itu).

Menggunakan variabel apa pun sebagai variabel terkuantifikasi sebagai pengganti variabel lain, di bawah batasan tertentu di mana *pengambilan variabel*. Meskipun notasi menggunakan variabel yang diketik, variabel jenis itu dapat digunakan.

Secara informal atau dalam bahasa alami, "∀ *x* "atau "∃ *x* "setelah atau di tengah *P* ( *x* ). Secara formal, frase yang memperkenalkan variabel dummy ditempatkan di depan.

Rumus matematika menggabungkan ekspresi simbolis untuk bilangan dengan bilangan bahasa alami seperti,

Untuk setiap bilangan asli *x* ,.. .
Ada *x*. . .
Untuk setidaknya satu *x,.* *.* *.* *.*
Kata kunci untuk penghitungan ketunggalan meliputi:

Untuk tepat satu bilangan asli *x* ,.. .
Ada satu dan hanya satu *x* seperti itu.. . .
Selanjutnya, *x* dapat diganti dengan kata ganti. Sebagai contoh,

Untuk setiap bilangan asli, hasil perkaliannya dengan 2 sama dengan penjumlahannya dengan dirinya sendiri.
Beberapa bilangan asli adalah bilangan prima.

Urutan kuantifer (bersarang)
----------------------------

Urutan bilangan untuk makna, seperti yang diilustrasikan oleh dua proposisi berikut:

Untuk setiap bilangan asli *n*, terdapat bilangan asli *s* sehingga *s* = *n* 2.
Hal ini jelas benar, setiap bilangan asli memiliki persegi. Arti pernyataan di mana urutan bilangan dibalik berbeda:

Terdapat bilangan asli *s* sehingga untuk setiap bilangan asli *n*, *s* = *n* 2.
Hal ini jelas salah; ia menegaskan bahwa ada satu bilangan asli *s* yang merupakan kuadrat dari *setiap* bilangan asli. Ini karena sintaksis mengarahkan bahwa variabel apa pun tidak dapat menjadi fungsi dari variabel yang diperkenalkan selanjutnya.

Sebuah contoh non-trivial dari analisis matematis adalah konsep keseragaman dan kontinuitas pointwise, yang definisinya hanya berbeda dengan pertukaran dalam posisi dua bilangan. Fungsi *f* dari **R** ke **R**.

* Kontinu Pointwise jika {\textstyle \forall \varepsilon >0\;\forall x\in \mathbb {R} \;\exists \delta >0\;\forall h\in \mathbb {R} \;(|h|<\delta \,\Rightarrow \,|f(x)-f(x+h)|<\varepsilon )}
* Kontinu unuform jika {\textstyle \forall \varepsilon >0\;\exists \delta >0\;\forall x\in \mathbb {R} \;\forall h\in \mathbb {R} \;(|h|<\delta \,\Rightarrow \,|f(x)-f(x+h)|<\varepsilon )}

Dalam kasus sebelumnya, nilai tertentu yang dipilih untuk *δ* dapat berupa fungsi dari *ε* dan *x*, variabel yang mendahuluinya.
Dalam kasus terakhir, *δ* dapat menjadi fungsi hanya dari *ε* (yaitu, dipilih terlepas dari *x*). Sebagai contoh, *f*(*x*) = *x*2, tetapi tidak keseragaman kontinuitas.
Sebaliknya, menukar dua bilangan universal awal dalam definisi kontinuitas pointwise tidak mengubah artinya.

Kedalaman maksimum penyarangan bilangan dalam sebuah rumus disebut "pangkat kuantifer".

Ekspresi ekuivalen
------------------

Jika *D* adalah domain dari *x* dan *P*(*x*) adalah predikat yang bergantung pada variabel objek *x*, maka proposisi universal dapat dinyatakan sebagai

{\displaystyle \forall x\!\in \!D\;P(x).}
Notasi ini dikenal sebagai dibatasi atau direlatifkan atau kuantifikasi terbatas. Sama halnya menulis,

{\displaystyle \forall x\;(x\!\in \!D\to P(x)).}
Proposisi eksistensial dapat diekspresikan dengan kuantifikasi terbatas sebagai

{\displaystyle \exists x\!\in \!D\;P(x),}
atau ekuivalen

{\displaystyle \exists x\;(x\!\in \!\!D\land P(x)).}
Dengan negasi, hanya satu dari bilangan universal atau eksistensial yang diperlukan untuk melakukan kedua tugas tersebut:

{\displaystyle \neg (\forall x\!\in \!D\;P(x))\equiv \exists x\!\in \!D\;\neg P(x),}
yang menunjukkan bahwa untuk menyangkal proposisi "untuk semua *x*", seseorang tidak perlu lebih dari menemukan *x* yang predikatnya salah. Demikian pula,

{\displaystyle \neg (\exists x\!\in \!D\;P(x))\equiv \forall x\!\in \!D\;\neg P(x),}
untuk menyangkal sebuah proposisi "ada *x*", kita perlu menunjukkan bahwa predikatnya salah untuk semua *x*.

Semantik formal
---------------

Semantik matematika adalah aplikasi matematika untuk mempelajari makna ekspresi dalam bahasa formal. memiliki tiga elemen: spesifikasi matematis dari kelas objek melalui sintaks, spesifikasi matematis dari berbagai domain semantik dan hubungan antara keduanya, yang biasanya dinyatakan sebagai fungsi dari objek sintaksis ke objek semantik. Artikel ini hanya membahas masalah bagaimana elemen pembilang diinterpretasikan.
Sintaks rumus dapat digunakan oleh pohon sintaks. Kuantifer memiliki ruang lingkup, dan variabel *x* adalah bebas jika tidak berada dalam lingkup perhitungan untuk variabel. Maka

{\displaystyle \forall x(\exists yB(x,y))\vee C(y,x)}
kemunculan *x* dan *y* dalam *C*(*y*, *x*) bebas, sedangkan kemunculan *x* dan *y* dalam *B*(*y*, *x*) bond (yaitu tidak bebas).

Pohon sintaks dari rumus {\displaystyle \forall x(\exists yB(x,y))\vee C(y,x)}, menggambarkan ruang lingkup dan tangkapan variabel. Kemunculan variabel terikat dan bebas masing-masing diberi warna merah dan hijau.
Interpretasi untuk kalkulus predikat orde pertama mengasumsikan sebagai domain individu *X*. Rumus *A* dari variabel bebas *x*1, ... *x*n diinterpretasikan sebagai fungsi Boolean *F*(*v*1, ... *v**n*) dari argumen *n*, di mana setiap argumen berkisar pada domain *X*. Nilai Boolean berarti bahwa fungsi tersebut mengasumsikan salah satu nilai **T** (ditafsirkan sebagai kebenaran) atau **F** (ditafsirkan sebagai kepalsuan). Penafsiran rumus

{\displaystyle \forall x\_{n}A(x\_{1},\ldots ,x\_{n})}
adalah fungsi *G* dari *n*-1 argumen *G*(*v*1, ... *v**n*-1) = **T** jika dan hanya jika *F*(*v*1, ... *v**n*-1, *w*) = **T** untuk *w* in *X*. Jika *F*(*v*1, ... *v**n*-1, *w*) = **F** untuk setidaknya satu nilai *w*, maka *G*(*v*1, ... *v**n*-1) = **F**. Demikian pula interpretasi rumusnya

{\displaystyle \exists x\_{n}A(x\_{1},\ldots ,x\_{n})}
adalah fungsi *H* dari *n*-1 argumen sedemikian rupa *H*(*v*1, ... *v**n*-1) = **T** jika dan hanya jika *F*(*v*1, ... *v**n*-1, *w*) = **T** untuk setidaknya satu *w* dan jika tidak *H*(*v*1, ... *v**n*-1) = **F**.

Semantik untuk kuantifikasi keunikan membutuhkan kalkulus predikat orde pertama dengan persamaan. Artinya predikat dua tempat yang dibedakan "="; semantik juga dimodifikasi sedemikian rupa sehingga "=" selalu diartikan sebagai relasi persamaan dua tempat pada *X*. Interpretasinya adalah

{\displaystyle \exists !x\_{n}A(x\_{1},\ldots ,x\_{n})}
kemudian adalah fungsi dari *n*-1 argumen, yang merupakan logika dari interpretasi 

{\displaystyle \exists x\_{n}A(x\_{1},\ldots ,x\_{n})}
{\displaystyle \forall y,z\left\{A(x\_{1},\ldots ,x\_{n-1},y)\wedge A(x\_{1},\ldots ,x\_{n-1},z)\implies y=z\right\}.}
Jenis kuantifikasi mendefinisikan operator penutupan yang sesuai pada himpunan rumus, dengan menambahkan, untuk setiap variabel bebas *x*, pembilang untuk *x*. Misalnya, *penutupan eksistensial* dari rumus terbuka *n*>2 ∧ *x**n*+*y**n*=*z**n* adalah rumus tertutup ∃*n* ∃*x* ∃*y* ∃*z* (*n*>2 ∧ *x**n*+*y**n*=*z**n*); rumus terakhir, ketika ditafsirkan di atas bilangan asli, diketahui salah oleh teorema terakhir Fermat. Sebagai contoh lain, aksioma persamaan, *x*+*y*=*y*+*x*, biasanya dimaksudkan untuk menunjukkan *penutupan universal* ∀*x* ∀*y* (*x*+*y*=*y*+*x*) untuk mengekspresikan komutatif.

Paucal, multal dan kuantifer derajat lainnya
--------------------------------------------

Lihat pula: Teorema Fubini dan Ukuran (matematika)
Dari bilangan yang dibahas sebelumnya berlaku untuk bilangan seperti

Ada banyak bilangan bulat *n* < 100, sehingga *n* habis dibagi 2 atau 3 atau 5.
Salah satu mekanisme interpretasi yang mungkin dapat diperoleh sebagai berikut: Misalkan sebagai tambahan untuk domain semantik *X*, ukuran probabilitas P yang ditentukan pada *X* dan bilangan Cutoff 0 < *a* ≤ *b* ≤ 1. If *A* adalah rumus dengan variabel bebas *x*1,...*x**n* yang interpretasi
fungsi *F* variabel *v*1,...*v**n*
kemudian interpretasi 

{\displaystyle \exists ^{\mathrm {many} }x\_{n}A(x\_{1},\ldots ,x\_{n-1},x\_{n})}
adalah fungsi dari *v*1,...*v**n*-1 yaitu **T** jika dan hanya jika

{\displaystyle \operatorname {P} \{w:F(v\_{1},\ldots ,v\_{n-1},w)=\mathbf {T} \}\geq b}
dan **F** sebaliknya. Begitu pula dengan interpretasi 

{\displaystyle \exists ^{\mathrm {few} }x\_{n}A(x\_{1},\ldots ,x\_{n-1},x\_{n})}
adalah fungsi dari *v*1,...*v**n*-1 yaitu **F** jika dan hanya jika

{\displaystyle 0<\operatorname {P} \{w:F(v\_{1},\ldots ,v\_{n-1},w)=\mathbf {T} \}\leq a}
dan **T** sebaliknya.
[*butuh rujukan*]

### Kuantifer lainnya

Beberapa kuantifer lain telah diusulkan dari waktu ke waktu. Secara khusus, pengukur solusi,:28 mencatat § (tanda bagian) dan membaca "itu". Sebagai contoh,

{\displaystyle \left[\S n\in \mathbb {N} \quad n^{2}\leq 4\right]=\{0,1,2\}}
dibaca "itu *n* dalam **N** seperti itu *n*2 ≤ 4 berada dalam {0,1,2}." Konstruksi yang sama dapat diekspresikan dalam notasi himpunan-builder sebagai

{\displaystyle \{n\in \mathbb {N} :n^{2}\leq 4\}=\{0,1,2\}.}
Berlawanan dengan bilangan lain, § menghasilkan satu himpunan dari rumus.

Beberapa bilangan lain yang terkadang digunakan dalam matematika meliputi:

* Ada banyak elemen yang tak terbatas sehingga...
* Untuk semua kecuali banyak elemen yang terbatas... (kadang-kadang dinyatakan sebagai "untuk semua elemen...").
* Ada banyak elemen yang tak terhitung banyaknya sehingga ...
* Untuk semua kecuali banyak elemen...
* Untuk semua elemen dalam satu himpunan ukuran positif...
* Untuk semua elemen kecuali yang ada dalam satu himpunan ukuran nol...

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

* iconPortal Matematika

* General mutlak
* Hampir semua (matematika)
* Kantifer bercabang
* Kuantifer bersyarat
* Hitung kuantifikasi
* Iventuali (matematika)
* Kuantifer generalisasi - properti tingkat tinggi yang digunakan sebagai semantik standar dari frase kata benda
* Kuantifer Lindström - pembilang poladik umum
* Kuantifer eliminasi
* Kuantifer shift

Referensi
---------

1. ↑  See Quantifier (linguistics) for details.
2. 1 2  "Comprehensive List of Logic Symbols". *Math Vault* (dalam bahasa Inggris). 2020-04-06. Diakses tanggal 2020-09-04.
3. ↑  This formula can be proven true, since, given an arbitrary *n*, choosing *m* e.g. as the successor of *n* will do.
4. ↑  Literally: "For each member *p* of the set of all people, *p* is mortal."
5. ↑  Literally: "It is not true that there exists some member *p* of the set of all people such that *p* is mortal."
6. ↑  "Predicates and Quantifiers". *www.csm.ornl.gov*. Diakses tanggal 2020-09-04.
7. ↑  "1.2 Quantifiers". *www.whitman.edu*. Diakses tanggal 2020-09-04.
8. ↑  K.R. Apt (1990). "Logic Programming". Dalam Jan van Leeuwen. *Formal Models and Semantics*. Handbook of Theoretical Computer Science. **B**. Elsevier. hlm. 493–574. ISBN 0-444-88074-7.  Here: p.497
9. ↑  John E. Hopcroft and Jeffrey D. Ullman (1979). *Introduction to Automata Theory, Languages, and Computation*. Reading/MA: Addison-Wesley. ISBN 0-201-02988-X.  Here: p.p.344
10. ↑  Hans Hermes (1973). *Introduction to Mathematical Logic*. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657.  Here: Def. II.1.5
11. ↑  Hehner, Eric C. R. 2004, *Practical Theory of Programming*, 2nd edition, p. 28
12. ↑  Hehner (2004) menggunakan istilah "kuantifer" dalam arti yang sangat umum, juga termasuk mis. penjumlahan.

Bibliografi
-----------

* Barwise, Jon; and Etchemendy, John, 2000. *Language Proof and Logic*. CSLI (University of Chicago Press) and New York: Seven Bridges Press. A gentle introduction to first-order logic by two first-rate logicians.
* Frege, Gottlob, 1879. *Begriffsschrift*. Translated in Jean van Heijenoort, 1967. *From Frege to Gödel: A Source Book on Mathematical Logic, 1879-1931*. Harvard University Press. The first appearance of quantification.
* Hilbert, David; and Ackermann, Wilhelm, 1950 (1928). *Principles of Mathematical Logic*. Chelsea. Translation of *Grundzüge der theoretischen Logik*. Springer-Verlag. The 1928 first edition is the first time quantification was consciously employed in the now-standard manner, namely as binding variables ranging over some fixed domain of discourse. This is the defining aspect of first-order logic.
* Peirce, C. S. 1885, "On the Algebra of Logic: A Contribution to the Philosophy of Notation, *American Journal of Mathematics*, Vol. 7, pp. 180–202. Reprinted in Kloesel, N. *et al.*, eds. 1993. *Writings of C. S. Peirce, Vol. 5*. Indiana University Press. The first appearance of quantification in anything like its present form.
* Reichenbach, Hans, 1975 (1947). *Elements of Symbolic Logic*, Dover Publications. The quantifiers are discussed in chapters §18 "Binding of variables" through §30 "Derivations from Synthetic Premises".
* Westerståhl, Dag, 2001, "Quantifiers," in Goble, Lou, ed. *The Blackwell Guide to Philosophical Logic*. Blackwell.
* Wiese, Heike, 2003. *Numbers, language, and the human mind*. Cambridge University Press. ISBN 0-521-83182-2.

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


Lihat entri ***quantification*** di kamus bebas Wiktionary.

* Hazewinkel, Michiel, ed. (2001) [1994], "Quantifier", *Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
* ""For all" and "there exists" topical phrases, sentences and expressions". Diarsipkan dari versi asli tanggal March 1, 2000.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan). From College of Natural Sciences, University of Hawaii at Manoa.
* Stanford Encyclopedia of Philosophy:
	+ Shapiro, Stewart (2000). "Classical Logic" (Covers syntax, model theory, and metatheory for first order logic in the natural deduction style.)
	+ Westerståhl, Dag (2005). "Generalized quantifiers"
* Peters, Stanley; Westerståhl, Dag (2002). "Quantifiers" Diarsipkan 2012-07-16 di Wayback Machine.

Templat:Formal Fallacy

| * l
* b
* s
Logika matematika |
| --- |
| Umum | 
* Bahasa formal
* Aturan formasi
* Sistem formal
* Sistem deduktif
* Pembuktian formal
* Formal semantik
* Formula bentukan
* Himpunan
* Elemen
* Kelas
* Logika klasik
* Aksioma
* Deduksi alami
* Aturan inferensi
* Relasi
* Teorema
* Konsekuensi logis
* Sistem aksiomatis
* Teori tipe
* Simbol
* Sintaks
* Teori

 |
| Logika tradisional | 
* Proposisi
* Inferensi
* Argumen
* Validitas
* Meyakinkan
* Silogisme
* Sisi berlawanan
* Diagram Venn

 |
| Kalkulus proposisionalLogika boolean | 
* Fungsi Boolean
* Kalkulus proposisional
* Formula proposisional
* Hubungan logis
* Tabel kebenaran

 |
| Logika predikat | 
* Orde-pertama
* Pembilang
* Predikat
* Orde-dua
* Kalkulus predikat Monadic

 |
| Teori himpunan | 
* Himpunan
* Himpunan kosong
* Enumerasi
* Ekstensionalitas
* Himpunan terbatas
* Fungsi
* Subhimpunan
* Himpinan perpangkatan
* Himpunan terhitung
* Himpunan rekursif
* Domain
* Rentang
* Pasangan berurut
* Himputan tak terhitung

 |
| Teori model | 
* Model
* Interpretasi
* Model nonstandar
* Teori model terbatas
* Nilai kebenaran
* Validitas

 |
| Teori pembuktian | 
* Pembuktian formal
* Sistem deduktif
* Sistem formal
* Teorema
* Konsekuensi logis
* Aturan inferensi
* Sintaks

 |
| Teori komputabilitas | 
* Rekursi
* Himpunan rekursif
* Himpunan rekursif terhitung
* Permasalahan keputusan
* Tesis Church–Turing
* Fungsi terhitung
* Fungsi rekursif primitif

 |
| Kategori |


| Pengawasan otoritas Sunting ini di Wikidata |
| --- |
| Umum | 
* Integrated Authority File (Jerman)

 |
| Perpustakaan nasional | 
* Prancis (data)
* Amerika Serikat
* Latvia

 |