Kuantor: Difference between revisions
Created page with "Kuantor adalah suatu istilah yang menyatakan “Berapa Banyak” dari suatu objek dalam suatu sistem (semesta). #'''Kuantor Universal''' (semua) → ∀ → Pada x : ∀x unt..." |
|||
| Line 45: | Line 45: | ||
Dan : ∀x(∃y L(x,y)) berbunyi “Setiap orang memiliki orang yang disukai” (proposisi dengan 0 variabel bebas) | Dan : ∀x(∃y L(x,y)) berbunyi “Setiap orang memiliki orang yang disukai” (proposisi dengan 0 variabel bebas) | ||
==Terkait== | |||
*[[Equivalen]] | |||
*[[Inferensi]] | |||
*[[Tautologi dan Kontradiksi]] | |||
*[[Proposisi]] | |||
*[[Logika]] | |||
*[[Logika Proposisi]] | |||
*[[Varian Proposisi]] | |||
*[[Disjungsi Inklusif dan Eksklusif]] | |||
*[[Operasi Himpunan]] | |||
*[[Bilangan Biner]] | |||
*[[Bilangan Oktal]] | |||
*[[Diagram Venn]] | |||
*[[Operasi Himpunan]] | |||
*[[Gerbang Logika Dasar]] | |||
[[Category:Matematika Diskrit]] | [[Category:Matematika Diskrit]] | ||