2836-4449ISSN (Online)
Volume 1 , Issue 1 , PP: 31-51, 2023 | Cite this article as | XML | Html | PDF | Full Length Article
Adel Mohammed Al-Odhari 1 *
Doi: https://doi.org/10.54216/PAMDA.010103
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.
, Weakness (LPLS) , Syntax of (LMPLS+I) , Semantics of (LMPLS+I) , Inference of (LMPLS+I) ,
[1] A. Al-Odhari, Algebraizations of Propositional Logic and Monadic Logic, under consideration. Research
Square, https://doi.org/10.21203/rs.3.rs-1930787/v1 , to appear.
[2] A. Al-Odhari, Characteristics of Category Natural Deduction for Language Propositional Logic System
(CCND) for (LPLS), to appear.
[3] A. Al-Odhari, Novel of Truth-Tree for Propositional Logic System (NTTPLS), IJRAR, Vol. 9 (4)
(2022), 43-56, https://www.ijrar.org/archive, http://doi.one/10.1729/Journal.32040
[4] A. Al-Odhari., Features of Propositional Logic, Pure Mathematical Sciences, Vol. 10, 2021, no. 1,
35 – 44, HIKARI Ltd, www.m-ikari.com, https://doi.org/10.12988/pms.2021.91275.
[5] A. Al-Odhari, Existential and Universal Quantifier Operators on Boolean Algebras and Their
Properties, I.J. of Mathematical Achieve, 12 (5) (2021), 37-44.
[6] A. Al-Odhari, Some Characteristics of Monadic and Simple Monadic Algebras, I.J. of Mathematical
Achieve, 13 (4) (2022), 1-6.
[7] A. Arnold, and I. Guessarian, Mathematics for Computer Science. Prentice Hall Europe-Masson, 1996.
[8] M. Bergmann, J. Morr, J. Nelson, The Logic Book, Mc Graw-Hill, Companies, Inc., 1221.
[9] G. Boole, An investigation into laws of thought, 1854. www.gutenberg.org
[10] P. A. Fejer, and D. Simovici, Mathematical, Foundations of Computer Science,Springer-Verlag
New York, Inc, 1991. https://doi.org/10.1007/978-1-4612-3086-1
[11] G. Forbes, Modern Logic, Oxford University Press, Oxford, 1994.
[12] A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, Cambridge, 1978.
[13] R. C. Jeffrey, Formal Logic: Its Scope and Limits, McGraw-Hill, New York (1967).
[14] H. Kahane, Logic and Philosophy. Wadsworth, Inc. 1990.
[15] Y. I. Manin, A Course of Mathematical Logic for Mathematicians, Springer,New York,
Dordrecht, Heidelberg, London, 2010. https://doi.org/10.1007/978-1-4419-0615-1
[16] A. W. Miller, Introduction to Mathematical Logic, arXiv:math/ 9601203V1[math.LO] 16 (1996) Jan 1996.
[17] H. Pospessel, Introduction to Logic Propositional Logic, Prentice-Hall, Inc.
[18] W. V. Quine, Philosophy of Logic, Harvard University Press, Cambridge,Massachusetts and London
England, 1986.
[19] W. V. Quine, Methods of Logic, Holt, Rinehart and Winston, Inc, 1959.
[20] U. Schoning, Logic for Computer Scientists, Birkhauser Boston Basel Berlin, 1989
