Kuantifer (logika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Wagino Bot (bicara | kontrib) k Bot: Merapikan artikel |
Add 1 book for Wikipedia:Pemastian (20240109)) #IABot (v2.0.9.5) (GreenC bot |
||
Baris 52:
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'' :
: <math> \bigvee_{x} U</math> <math>(\exists{x}) U</math> <math>(\exists x \ . \ U)</math> <math>\exists x \ \cdot \ U</math> <math>(\exists x : U)</math> <math>\exists{x}(U)</math><ref>{{Cite book|last=John E. Hopcroft and Jeffrey D. Ullman|year=1979|title=Introduction to Automata Theory, Languages, and Computation|url=https://archive.org/details/introductiontoau00hopc|location=Reading/MA|publisher=Addison-Wesley|isbn=0-201-02988-X}} Here: p.p.344</ref> <math>\exists_{x}\, U</math> <math>\exists{x}{,}\, U</math> <math>\exists{x}{\in}X \, U </math> <math>\exists\, x{:}X \, U</math>
Semua variasi berlaku untuk penghitungan universal. Variasi lain untuk pembilang universal adalah
| |||