ANALISIS PROPOSISI DENGAN METODE POHON SEMANTIK
Jurnal Matematika dan Sains
View Archive InfoField | Value | |
Title |
ANALISIS PROPOSISI DENGAN METODE POHON SEMANTIK
|
|
Creator |
Nursyahida, Salwa
|
|
Subject |
Propositional Logic
Propositional Analysis Semantic Tree Semantic Tableau Tableaux |
|
Description |
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.
|
|
Publisher |
Fakultas Matematika dan Ilmu Pengetahuan Alam
|
|
Date |
2022-02-26
|
|
Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Peer-reviewed Article |
|
Format |
application/pdf
|
|
Identifier |
https://ejournal.billfath.ac.id/index.php/jms/article/view/163
|
|
Source |
Jurnal Matematika dan Sains; Vol. 2 No. 1 (2022): Jurnal Matematika & Sains Volume 2; 165-174
2775-0671 2775-2631 |
|
Language |
eng
|
|
Relation |
https://ejournal.billfath.ac.id/index.php/jms/article/view/163/150
|
|
Rights |
Copyright (c) 2022 Jurnal Matematika dan Sains
|
|