kuantor
/kuantor/
🇮🇩Bahasa IndonesiaLogikaMatematikaLinguistikNetral
Ringkasan Makna
Istilah dalam logika dan matematika yang menyatakan jumlah atau cakupan suatu variabel dalam pernyataan.
Penjelasan & Konteks Penggunaan
Kuantor adalah operator yang menentukan seberapa banyak elemen dalam suatu domain yang memenuhi suatu predikat. Dalam logika predikat, terdapat dua jenis kuantor utama: kuantor universal (menyatakan 'untuk semua') dan kuantor eksistensial (menyatakan 'terdapat setidaknya satu').
Contoh Penggunaan dalam Kalimat
“Kuantor universal dilambangkan dengan simbol ∀.”
→The universal quantifier is denoted by the symbol ∀.
“Dalam logika matematika, kuantor digunakan untuk membatasi variabel dalam sebuah proposisi.”
→In mathematical logic, quantifiers are used to bound variables in a proposition.
Asal-usul & Konteks Budaya
Berasal dari bahasa Latin 'quantus' yang berarti 'seberapa banyak', istilah ini diadopsi ke dalam bahasa Indonesia melalui terminologi logika formal dan matematika modern.