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.
A propositional statement comprises of atomic proposition which is made by the means of any one or more propositions, generally named as connectives. Here atomic propositions is been taken into course to represent the fact which is co-related with the logical mechanism consisting of sequential expression for the representation of the facts to the algebra of proposition. Various occurrences create various queries at different Period of time in the same atomic proposition.
The binary operations satisfy many identities. These several identities have separate specified name. There are three pairs of laws which are stated below:
Propositions 1: For variables A, B, C the laws are shown below:
A U B = B U A,
A ∩ B,
(A U B) U C = A U (B U C),
(A ∩ B) ∩ C = A ∩ (B ∩ C),
AU (B ∩ C) = (A U B) ∩ (AU B),
A ∩ (B ∩ C) = (A ∩ B) ∩ (A ∩ C),
Proposition 2: For any of the ‘A’ subset of the pervasive set ‘Q’ the identities laws are:
A U ∅ = A,
A ∩ ∅ = A,
A U AC = Q
A ∩ AC = ∅.
The term 'Logical Argument' is made with two words logic and arguments first we will understand its meaning. Logic deals with the study of evaluation of argument and reasoning. Logic enables us to reason correctly it helps to get the difference between what is correct and what is inaccurate. The term logic arguments help us to reach to the final result of a particular ...Read More