PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR
Abstract: Logic holds an
important role in Computer Academic is
used as a basic for programming language, Data Base, Artificial Intelligent,
Software Engineering, and etc. It can be
concluded that if we want to learn about computer, so it will be connected to
logic. Logic is one of knowledge which can’t stand alone. It can be used to
evaluate and organize the structure of arguments and statements which are
collected from the study of the argument and formal system effect to daily
human language.
Quantifier is a sentence that conatains that quantity of expression
involved eg existing objects, all, some, not all, and others. Quantifier
consists of two forms Universal Quantifier and Existensial Quantifier.
Universal Quantifier has the word - a
word that implies a general and comprehensive while Existensial Quantifier have
words – words that contain some sprecial meaning. Domain of quantifier
interpretation is very important to determine the type of quantifier which
would be used and affect its symbol.
Penulis: Septilia Arfida
Kode Jurnal: jptinformatikadd110133
