Propositions Laws and Algebra
Last Updated :
27 Jan, 2025
Propositional logic is the foundation of logical reasoning, playing a vital role in understanding mathematical proofs and algorithms. It is especially important for college students preparing for competitive exams like GATE.
This article explores:
- Fundamental laws and concepts in the algebra of propositions like Idempotent, Associative, Distributive, and Commutative Laws.
- Special conditional statements essential for understanding logical reasoning.
Prerequisites: Propositional Logic - Definitions & Truth Table
Laws of Algebra of Propositions
Below mentioned are the laws of Algebra of Propositions
Idempotent Law
The truth table of conjunction and disjunction of a proposition with itself will equal the proposition.
Associative Law
- (p ∨ q) ∨ r ≅ p ∨ (q ∨ r)
- (p ∧ q) ∧ r ≅ p ∧ (q ∧ r)
Associative Law states that propositions also follow associativity and can be written as mentioned above.
Distributive Law
- p ∨ (q ∧ r) ≅ (p ∨ q) ∧ (p ∨ r)
- p ∧ (q ∨ r) ≅ (p ∧ q) ∨ (p ∧ r)
Distributive Law states that propositions also follow the distribution and can be written as mentioned above.
Commutative Law
- p ∨ q ≅ q ∨ p
- p ∧ q ≅ q ∧ p
It states that propositions follow commutative property i.e if a=b then b=a
Identity Law
- p ∨ T ≅ T
- p ∨ F ≅ p
- p ∧ T ≅ p
- p ∧ F ≅ F
where T is a Tautology, F is a Contradiction and p is a proposition.
De Morgan's Law
In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. In formal language, the rules are written as -
- \neg (p\wedge q) \equiv \neg p \vee \neg q
- \neg (p\vee q) \equiv \neg p \wedge \neg q
Involution Law
Complement Law
- p ∨ ~p ≅ T
- p ∧ ~p ≅ F
- ~T ≅ F
- ~F ≅ T
where T is a Tautology, F is a Contradiction and p is a proposition.
Special Conditional Statements
As we know that we can form new propositions using existing propositions and logical connectives. New conditional statements can be formed starting with a conditional statement p\rightarrow q . In particular, there are three related conditional statements that occur so often that they have special names.
- Implication : p\rightarrow q
- Converse : The converse of the proposition p\rightarrow q
is q\rightarrow p
- Contrapositive : The contrapositive of the proposition p\rightarrow q
is \neg q\rightarrow \neg p
- Inverse : The inverse of the proposition p\rightarrow q
is \neg p\rightarrow \neg q
Note : It is interesting to note that the truth value of the conditional statement p\rightarrow q is the same as it's contrapositive, and the truth value of the Converse of p\rightarrow q is the same as the truth value of its Inverse. When two compound propositions always have the same truth value, they are said to be equivalent. Therefore,
- p\rightarrow q \equiv \neg q\rightarrow \neg p
- q\rightarrow p \equiv \neg p\rightarrow \neg q
Example :
Implication : If today is Friday, then it is raining. The given proposition is of the form p\rightarrow q , where p is "Today is Friday" and q is "It is raining today". Contrapositive, Converse, and Inverse of the given proposition respectively are-
- Converse: If it is raining, then today is Friday
or
if q -> p is converse of p-> q
- Contrapositive: If it is not raining, then today is not Friday
or
if ~q -> ~p is contrapositive of p-> q
- Inverse: If today is not Friday, then it is not raining
or
if ~p -> ~q is inverse of p-> q
Implicit Use of Biconditionals
The last article, part one of this topic, ended with a discussion of bi-conditionals, what it is, and their truth table. In Natural Language bi-conditionals are not always explicit. In particular, the if construction (if and only if) is rarely used in the common language. Instead, bi-conditionals are often expressed using "if, then" or an "only if" construction. The other part of the "if and only if" is implicit, i.e. the converse is implied but not stated. For example consider the following statement, "If you complete your homework, then you can go out and play". What is really meant is "You can go out and play if and only if you complete your homework". This statement is logically equivalent to two statements, "If you complete your homework, then you can go out and play" and "You can go out and play only if you complete your homework". Because of this imprecision in Natural Language, an assumption needs to be made whether a conditional statement in natural language includes its converse or not.
Precedence Order of Logical Connectives
Logical connectives are used to construct compound propositions by joining existing propositions. Although parenthesis can be used to specify the order in which the logical operators in the compound proposition need to be applied, there exists a precedence order in Logical Operators. The precedence Order is-
\begin{array}{ |c|c| } \hline Operator & Precedence \\ \hline \neg & 1 \\ \hline \wedge & 2 \\ \vee & 3 \\ \hline \rightarrow & 4 \\ \leftrightarrow & 5 \\ \hline\end{array}
Here, higher the number lower the precedence.
Translating English Sentences
As mentioned above in this article, Natural Languages such as English are ambiguous i.e. a statement may have multiple interpretations. Therefore it is important to convert these sentences into mathematical expressions involving propositional variables and logical connectives. The above process of conversion may take certain reasonable assumptions about the intended meaning of the sentence. Once the sentences are translated into logical expressions they can be analyzed further to determine their truth values. Rules of Inference can then further be used to reason about the expressions.
Example : "You can access the Internet from campus only if you are a computer science major or you are not a freshman." The above statement could be considered as a single proposition but it would be more useful to break it down into simpler propositions. That would make it easier to analyze its meaning and to reason with it. The above sentence could be broken down into three propositions,
p - "You can access the Internet from campus."
q - "You are a computer science major."
r - "You are a freshman."
Using logical connectives we can join the above-mentioned propositions to get a logical expression of the given statement. "only if" is one way to express a conditional statement, (as discussed in Part 1 of this topic in the previous Article), Therefore the logical expression would be -
p\rightarrow (q\vee \neg r)
Examples
1. Implication
If today is Friday, then it is raining.
- Converse: If it is raining, then today is Friday.
- Contrapositive: If it is not raining, then today is not Friday.
- Inverse: If today is not Friday, then it is not raining.
2. Translate English Sentence
"You can access the Internet from campus only if you are a computer science major or you are not a freshman."
- Logical Expression: 𝑝 - > (𝑞 ∨ ¬ 𝑟 )
- Where:
- p = "You can access the Internet from campus."
- q = "You are a computer science major."
- r = "You are a freshman."
Unsolved Problems
- Simplify ¬(p ∨ ¬q).
- Prove p ∧ (p ∨ q) ≅ p.
- What is the inverse of p → q?
- Simplify ¬p ∨ (p ∧ q).
- Prove (p ∧ T) ≅ p.
- Determine the contrapositive of p → q.
- Simplify ¬(p ∧ ¬q).
- Prove (p ∨ F) ≅ p.
- What is the converse of p → ¬q?
- Simplify ¬(p ∨ q).
GATE CS Corner Questions
Practicing the following questions will help you test your knowledge. All questions have been asked in GATE in previous years or in GATE Mock Tests. It is highly recommended that you practice them.
Similar Reads
Engineering Mathematics Tutorials Engineering mathematics is a vital component of the engineering discipline, offering the analytical tools and techniques necessary for solving complex problems across various fields. Whether you're designing a bridge, optimizing a manufacturing process, or developing algorithms for computer systems,
3 min read
Linear Algebra
MatricesMatrices are key concepts in mathematics, widely used in solving equations and problems in fields like physics and computer science. A matrix is simply a grid of numbers, and a determinant is a value calculated from a square matrix.Example: \begin{bmatrix} 6 & 9 \\ 5 & -4 \\ \end{bmatrix}_{2
3 min read
Row Echelon FormRow Echelon Form (REF) of a matrix simplifies solving systems of linear equations, understanding linear transformations, and working with matrix equations. A matrix is in Row Echelon form if it has the following properties:Zero Rows at the Bottom: If there are any rows that are completely filled wit
4 min read
Eigenvalues and EigenvectorsEigenvalues and eigenvectors are fundamental concepts in linear algebra, used in various applications such as matrix diagonalization, stability analysis and data analysis (e.g., PCA). They are associated with a square matrix and provide insights into its properties.Eigen value and Eigen vectorTable
10 min read
System of Linear EquationsA system of linear equations is a set of two or more linear equations involving the same variables. Each equation represents a straight line or a plane and the solution to the system is the set of values for the variables that satisfy all equations simultaneously.Here is simple example of system of
5 min read
Matrix DiagonalizationMatrix diagonalization is the process of reducing a square matrix into its diagonal form using a similarity transformation. This process is useful because diagonal matrices are easier to work with, especially when raising them to integer powers.Not all matrices are diagonalizable. A matrix is diagon
8 min read
LU DecompositionLU decomposition or factorization of a matrix is the factorization of a given square matrix into two triangular matrices, one upper triangular matrix and one lower triangular matrix, such that the product of these two matrices gives the original matrix. It is a fundamental technique in linear algebr
6 min read
Finding Inverse of a Square Matrix using Cayley Hamilton Theorem in MATLABMatrix is the set of numbers arranged in rows & columns in order to form a Rectangular array. Here, those numbers are called the entries or elements of that matrix. A Rectangular array of (m*n) numbers in the form of 'm' horizontal lines (rows) & 'n' vertical lines (called columns), is calle
4 min read
Sequence & Series
Calculus
Limits, Continuity and DifferentiabilityLimits, Continuity, and Differentiation are fundamental concepts in calculus. They are essential for analyzing and understanding function behavior and are crucial for solving real-world problems in physics, engineering, and economics.Table of ContentLimitsKey Characteristics of LimitsExample of Limi
10 min read
Cauchy's Mean Value TheoremCauchy's Mean Value theorem provides a relation between the change of two functions over a fixed interval with their derivative. It is a special case of Lagrange Mean Value Theorem. Cauchy's Mean Value theorem is also called the Extended Mean Value Theorem or the Second Mean Value Theorem.According
7 min read
Taylor SeriesA Taylor series represents a function as an infinite sum of terms, calculated from the values of its derivatives at a single point.Taylor series is a powerful mathematical tool used to approximate complex functions with an infinite sum of terms derived from the function's derivatives at a single poi
8 min read
Inverse functions and composition of functionsInverse Functions - In mathematics a function, a, is said to be an inverse of another, b, if given the output of b a returns the input value given to b. Additionally, this must hold true for every element in the domain co-domain(range) of b. In other words, assuming x and y are constants, if b(x) =
3 min read
Definite Integral | Definition, Formula & How to CalculateA definite integral is an integral that calculates a fixed value for the area under a curve between two specified limits. The resulting value represents the sum of all infinitesimal quantities within these boundaries. i.e. if we integrate any function within a fixed interval it is called a Definite
8 min read
Application of Derivative - Maxima and MinimaDerivatives have many applications, like finding rate of change, approximation, maxima/minima and tangent. In this section, we focus on their use in finding maxima and minima.Note: If f(x) is a continuous function, then for every continuous function on a closed interval has a maximum and a minimum v
6 min read
Probability & Statistics
Mean, Variance and Standard DeviationMean, Variance and Standard Deviation are fundamental concepts in statistics and engineering mathematics, essential for analyzing and interpreting data. These measures provide insights into data's central tendency, dispersion, and spread, which are crucial for making informed decisions in various en
10 min read
Conditional ProbabilityConditional probability defines the probability of an event occurring based on a given condition or prior knowledge of another event. It is the likelihood of an event occurring, given that another event has already occurred. In probability, this is denoted as A given B, expressed as P(A | B), indica
12 min read
Bayes' TheoremBayes' Theorem is a mathematical formula used to determine the conditional probability of an event based on prior knowledge and new evidence. It adjusts probabilities when new information comes in and helps make better decisions in uncertain situations.Bayes' Theorem helps us update probabilities ba
13 min read
Probability Distribution - Function, Formula, TableA probability distribution is a mathematical function or rule that describes how the probabilities of different outcomes are assigned to the possible values of a random variable. It provides a way of modeling the likelihood of each outcome in a random experiment.While a Frequency Distribution shows
13 min read
Covariance and CorrelationCovariance and correlation are the two key concepts in Statistics that help us analyze the relationship between two variables. Covariance measures how two variables change together, indicating whether they move in the same or opposite directions. Relationship between Independent and dependent variab
6 min read
Practice Questions