CHARACTERISTICS OF THE CATEGORY NATURAL DEDUCTION FOR LANGUAGE THE PROPOSITIONAL LOGIC SYSTEM
Aim & In this paper, we introduce the third system which is called the category of natural deduction (CND) for language propositional logic system(LPLS), it's essential different in its form and ways form truth -table and truth-tree for (LPLS), even itspick out (or select) the same symbolic language like that used in the system of truth-table and truth- tree for (LPLS).