Article Per Year (5 Year)
p-Index From 2020 - 2025
4.967
P-Index
This Author published in this journals
All Journal Humaniora JPMS (Jurnal Pendidikan Matematika dan Sains) MATEMATIKA Journal of Education and Learning (EduLearn) AdMathEdu : Jurnal Ilmiah Pendidikan Matematika, Ilmu Matematika dan Matematika Terapan Jurnal Infinity Kreano, Jurnal Matematika Kreatif-Inovatif Rekayasa: Jurnal Penerapan Teknologi dan Pembelajaran Jurnal Filsafat Journal of Educational Science and Technology AlphaMath: Journal of Mathematics Education Educational Management Jurnal Filsafat International Journal on Emerging Mathematics Education Jurnal Tadris Matematika Jurnal Cendekia : Jurnal Pendidikan Matematika Unnes Journal of Mathematics Education Research Journal of Primary Education Proximal: Jurnal Penelitian Matematika dan Pendidikan Matematika INOPENDAS: Jurnal Ilmiah Kependidikan Kognitif: Jurnal Riset HOTS Pendidikan Matematika Unnes Journal of Mathematics Education Unnes Journal of Mathematics Prosiding Seminar Nasional Pascasarjana Proceeding of International Conference on Science, Education, and Technology Jurnal Infinity Jurnal Tadris Matematika
Hardi Suyitno
Unknown Affiliation
Religion Arts Humanities Computer Science & IT Decision Sciences, Operations Research & Management Education Engineering Languange, Linguistic, Communication & Media Library & Information Science Mathematics Social Sciences Other

Published : 92 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : MATEMATIKA

 1 
HUBUNGAN ANTARA LOGIKA PROPOSISI DENGAN LOGIKA PREDIKAT (SUATU KAJIAN EPISTEMOLOGIS) Suyitno, Hardi
MATEMATIKA Vol 9, No 2 (2006): JURNAL MATEMATIKA
Publisher : MATEMATIKA

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (67.799 KB)

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.  
Co-Authors Abrar Abira Afit Istiandaru, Afit Agus Jaenudin Ainur Rifqi, Ainur Alamsyah - Ali Djamhuri Alifani, Shabrina Mei Andes Safarandes Asmara, Andes Safarandes Ani Rusilowati Apriliani, Laely Rohmatin Ardhi Prabowo Ardiyanti, Yusi Arief Agoestanto Arief Agoestanto Arifin, Mustofa Asih, Tri Sri Noor Aula, Maulida Fatma Reza Bambang Eko Susilo Budhiharti, Susi Juwita Budi Waluya Cahyani, Hesti Darmo, Darmo Deni Kurniawan, Deni Dewi, Nuriana Rachmani Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto Dwijanto, Dwijanto Dwijanto, Dwijanto Endang Susilaningsih Etik Rahayu Farizal, Thesa Febriyana, Dyah Hairunnisah, Hairunnisah Hartati, Tri Lusi Hastuti, Wijaning Herdini, Resty Ayu Huda, Wafiq Nurul Imam Kusmaryono Imam Sayekti Intan Sari Iqbal Kharisudin Ismawati, Arfina Maya Isnaini Rosyida, Isnaini Isnarto Isnarto Isnarto Isnarto Isnarto Isnarto Isnarto Isnarto Isnarto, Isnarto Isti Hidayah Istiqomah, Sayidah Nur Iwan Junaedi Iwan junaedi Juhrani, Juhrani Junaidi, Iwan Kadarsono, Mohamad Karsim, Karsim Kartono - Kartono, Kartono Karyadi Karyadi Khumaedi - Kurniawati, Fita Lita Latiana Lukmana, Chandra Prasetia Mashuri Mashuri Maulida, Azwida Rosana Mohammad Asikin Mufida, Aina Muhammad Rizqi Mujib Mujib Mulyono Mulyono nastiti, Muji Nino Adhi, Nuriana Rachmani Dewi Nio, Tan Hian Nitasari, Ayu Nugraha, Arief Juang Nugroho, Ahmad Munif Nurkaromah Dwidayati, Nurkaromah Nuryadi Nuryadi Oktaviani, Rinta Palupi, Hanifah Raras Pratiwi, Danny Priambada, Miko Probosiwi, Wdyanita Indah Purwandito, Rizky Putut Marwoto Qudwatullathifah, Ratri Nuryani Rahmawati, luthfiana Ratna Dewi Kusumaningtyas Ria Wulansarie, Ria Rick Hunter Simanungkalit, Rick Hunter Riyadhotul Janah, Siti Riza Arifudin Rizqi, Afria Alfitri Rochmad - SA'ADAH, ALFIATUS Sabrina, Ahlam Safa'atullah, Muh. Fajar Saiful Ridlo Sapto, Argiyanto Dwi Sapto, Argiyanto Dwi SATRIYAS ILYAS Scolastika Mariani Setiawan, Fajar Tri Setyawan, Fariz Sholihah, Fitrotus Siti Makhmudah St. Budi Waluya Sudarmin Sudarmin Sugiman Sugiman Sukestiyarno Sukestiyarno Sukestiyarno Sukestiyarno Suparmi Suparmi Supriyadi Supriyadi Supriyono Supriyono Suryono, Wiwik Ariyani Susanto, Febri Tiara Yulita Ula Himatul Aliyah Ula Himatul Aliyah umi arifah, umi Utami, Eka Nurul Veronica, Rahayu Budhiati Vita Istihapsari Vita Istihapsari Vita Istihapsari, Vita Wahyudi Wahyudi, Rachmat Satrio Wahyuningtyas, Febriana Wardono Wardono Widiyaningsih, Budi Wiyanto - Y. L. Sukestiyarno Y. L. Sukestiyarno Y.L Sukestiyarno YL Sukestiyarno Yulianto, Agus Wayan Yusfita Yusuf Zaenuri Mastur