Jurnal Informatika
Vol 11, No 1 (2011): Jurnal Informatika

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR

Septilia Arfida (IBI Darmajaya)



Article Info

Publish Date
08 Dec 2014

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. Key Word: Quantity Object, Universal Quantifier and Existensial Quantifier,  and Domain

Copyrights © 2011






Journal Info

Abbrev

JurnalInformatika

Publisher

Subject

Computer Science & IT

Description

Jurnal Informatika. Jurnal Informatika adalah jurnal cetak dan elektronik sebagai media untuk mempublikasikan hasil penelitian dan pemikiran kalangan akademisi, peneliti dan praktisi bidang informatika. Jurnal Informatika Terbit 2 kali dalam setahun yaitu Bulan Juni dan Desember dengan No. ISSN : ...