Isi kandungan:
Definisi - Apa maksud pengiraan?
Dalam logik, pengkuantifikasi adalah elemen bahasa yang membantu dalam penjanaan kuantifikasi, yang merupakan pembentukan yang menyebutkan bilangan spesimen dalam bidang wacana yang diberikan memuaskan formula terbuka. Pengkuantahan sebahagian besarnya digunakan dalam logik, bahasa semula jadi dan matematik diskret.
Techopedia menerangkan pengkuantuman
Pengkalkulator digunakan dalam ungkapan yang diukur di mana pembolehubah bebas terikat oleh kuantitinya. Dengan kata lain, pembolehubah predikat dikuantifikasi oleh kuantitinya. Terdapat dua pengkuantum terkenal yang digunakan dalam logika predikat: kuantifikasi sejagat dan kuantum eksistensial. Pengkuantakan sejagat mendakwa bahawa pernyataan dalam skopnya adalah benar untuk setiap nilai pembolehubah yang unik, sedangkan dalam kes kuantum eksistensial, ia mendakwa bahawa pernyataan dalam skopnya adalah benar hanya untuk beberapa nilai pemboleh ubah tertentu. Pengkuantakan sejagat dilambangkan oleh simbol ∀, yang seperti terbalik A. Pengkuantuman eksistensial dilambangkan oleh simbol ∃, yang mirip dengan mundur E.
Pangkat kuantifikasi menentukan kedalaman maksimum sarang mungkin untuk kuantitinya di dalam formula yang diberikan. Perlu diingatkan bahawa urutan kuantitinya sangat penting untuk makna logik. Pengkuiser mempunyai penggunaan yang luas dalam logika predikat dan dalam matematik diskret, kerana ia membantu dalam terjemahan pernyataan logik yang diberikan.
