BibTex Citation Data :
@article{JM1386, author = {Hardi Suyitno}, title = {HUBUNGAN ANTARA LOGIKA PROPOSISI DENGAN LOGIKA PREDIKAT (SUATU KAJIAN EPISTEMOLOGIS)}, journal = {MATEMATIKA}, volume = {9}, number = {2}, year = {2012}, keywords = {}, abstract = { This paper presents epistemological studies of propositional logic and predicate logic. The topic is a part of the dissertation proposal under title “Ëpistemology of Mathematical Logic According to Ludwig Wittgenstein”. Author is a student of the Doctor Program of Gajah Mada University, the majorstudy is philosophy. There are some difference, equality, and relation between propositional logic and predicate logic. Both of them use the same ope-rator, method, and rule of inference. There are five operator of logic, that are disjunction, conjunction, negation, implication, and biimplication. The truth value of proposition deter-minated by definition. There are eighteen rules of inference, four rules for removing quan-tifiers, and four rules for introducing quantifiers. There are two methods of validity test, that are direct proof and indirect proof; and there is one common method for invalidity test , that is Counter Exampel Method. The basic component of propositional logic is simple statement. The basic component of predicate logic is predicate. In the predicate logic beside Counter Exampel Method for invalidity test, there is another method for invalidity test that is Finite Universe Method. The conclusion of this research is propositional logic which a part of predicate logic. If a form is valid in propositional logic, then the form is valid in predicate logics. Thus scope of predicate logic is wider than propositional logic. }, url = {https://ejournal.undip.ac.id/index.php/matematika/article/view/1386} }
Refworks Citation Data :
This paper presents epistemological studies of propositional logic and predicate logic. The topic is a part of the dissertation proposal under title “Ëpistemology of Mathematical Logic According to Ludwig Wittgenstein”. Author is a student of the Doctor Program of Gajah Mada University, the majorstudy is philosophy. There are some difference, equality, and relation between propositional logic and predicate logic. Both of them use the same ope-rator, method, and rule of inference. There are five operator of logic, that are disjunction, conjunction, negation, implication, and biimplication. The truth value of proposition deter-minated by definition. There are eighteen rules of inference, four rules for removing quan-tifiers, and four rules for introducing quantifiers. There are two methods of validity test, that are direct proof and indirect proof; and there is one common method for invalidity test , that is Counter Exampel Method. The basic component of propositional logic is simple statement. The basic component of predicate logic is predicate. In the predicate logic beside Counter Exampel Method for invalidity test, there is another method for invalidity test that is Finite Universe Method. The conclusion of this research is propositional logic which a part of predicate logic. If a form is valid in propositional logic, then the form is valid in predicate logics. Thus scope of predicate logic is wider than propositional logic.
Last update:
Last update: 2024-11-08 02:25:36