The branch of mathematics which deals with the symbols representation, vectors, specified Set of number, etc. with complete description is known as Algebra. Now we will study about the Algebra of propositions. Propositional formulas refer to propositions, propositional expressions, sentential formula, or we can say it is not a formula but a mere formal expression. It will be clear by taking an example: 'o + m' this does not denote any value, whereas representing the term as the value. |

Some properties of arguments:

Ascertainment of arguments- It is necessary because of its ascertainment the argument will not work out, because there is a difference between the argument and mere statement, although it is not a easy job to make the difference because arguments are also conducted in an ordinary language, but there is no need to worry about that with a loud expression and Set of sentences form the argument. This is the way to separate the term argument or sentence. There are two inferences which will help us perfectly to differentiate between the argument and propositions. The first inference is deductive inference which states a simple meaning that when in the conclusion of the matter the truth has the firm guarantee, then it will be considered as deductive inference. It holds the correctness and reliability at high standards. The other inference is Inductive inference which holds the truth likely or with the less Probability of correctness but it needs some evidences or proof on the grounds of truth and reliability.

On the grounds of differentiation we can easily examine the truth or reach to the conclusion of logical arguments.