Prospects for Applied Mathematics and Data Analysis
PAMDA
2836-4449
10.54216/PAMDA
https://www.americaspg.com/journals/show/1469
2022
2022
Aspects of Language Monadic Predicate Logic System plus Identity (LMPL+I)
Department of Mathematics Faculty of Education, Humanities and Applied Sciences – khawlan Sana'a University. Box:13509, Sana'a, Yemen
Adel Mohammed Al
Al-Odhari
In this paper, we devoted to study the language monadic predicate logic system plus identity (LMPLS+I) as extension of the language of propositional logic system (LPLS). I.e., ( (LMPLS+I), which it contains all the hereditary traits (or features) of , furthermore that, we will add some new data information between relationship of object, subject and predicate. This is the task of monadic predicate logic system addressed. As mentioned in pervious papers, the main task of system of logic is classifying between valid and invalid arguments, moreover, the central role the system of logic how distinguishes between the conclusions which follow from their premises of the arguments and those do not follow from their premises. As a matter of fact, when we encounter some proofs that seem perceptually (or intuitively) sound, but we are -unable to prove their validity due to the inability language of propositional logic system (LPLS). Hence, it was necessary to uses the monadic predicate logic system (LMPLS+I) to overcome this problem. In this article, we study syntax, semantics and inference on language monadic predicate logic system plus identity (LMPLS+I) and investigation characteristics of arguments such valid \ invalid and types of formulas and relations between formulas like consistency and inconsistency sets.
2023
2023
31
51
10.54216/PAMDA.010103
https://www.americaspg.com/articleinfo/34/show/1469