Aspects of Language Monadic Predicate Logic System plus Identity (LMPL+I)

Abstract

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., (LPLS)⊂ (LMPLS+I), which it contains all the hereditary traits (or features) of (LPLS) , 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.