Jurnal Matematika dan Sains (JMS)
Vol. 2 No. 1 (2022): Jurnal Matematika dan Sains (JMS)

ANALISIS PROPOSISI DENGAN METODE POHON SEMANTIK

Salwa Nursyahida (UIN Sunan Gunung Djati Bandung)



Article Info

Publish Date
26 Feb 2022

Abstract

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.

Copyrights © 2022






Journal Info

Abbrev

jms

Publisher

Subject

Biochemistry, Genetics & Molecular Biology Chemical Engineering, Chemistry & Bioengineering Chemistry Mathematics Physics

Description

Jurnal Matematika dan Sains (JMS) adalah jurnal yang memuat artikel yang berkaitan dengan hasil penelitian Biologi, Matematika, Fisika, Kimia dan ...