ANALISIS PROPOSISI DENGAN METODE POHON SEMANTIK
DOI:
https://doi.org/10.552273/jms.v2i1.163Keywords:
Propositional Logic, Propositional Analysis, Semantic Tree, Semantic Tableau, TableauxAbstract
The proposition is an argument or statement which has a truth value. Propositional Logic is a branch of Mathematical Logic that focuses on propositions and relations between them. Semantic tree (also known as truth tree, semantic tableau, or tableaux) is a method to grow truth-value assignment on trees. In this research article, the semantic tree method is used to analyze propositions and relations between propositions such as validity, consistency, equivalence, and logical entailment of propositions.
References
Barwise, J., & Etchemendy, J. (1999). Language, Proof, and Logic. CSLI Publication.
Genesereth, M., & Kao, E. J. (2017). Introduction to Logic, Third Edition. Morgan & Claypool Publishers.
Hurley, P. J. (2012). A Concise Introduction to Logic, Eleventh Edition. Wadsworth.
Kumar, R. (2017). Effectiveness of Formal Logic Course on the Reasoning Skills of Students in Nizwa College of Technology, Oman. Journal of Education and Practice, 30-35.
Nolt, J., Rohatyn, D., & Varzi, A. (2011). Schaum's Outline of Logic, Second Edition. McGraw Hill.
Zegarelli, M. (2007). Logic For Dummies. Wiley Publishing, Inc.
