# Mathematics | Introduction to Propositional Logic | Set 2

Prerequisite : Introduction to Propositional Logic – Set 1

**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 –

**Proof by Truth Table –**

**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 .

In particular, there are three related conditional statements that occur so often that they have special names.

**Implication :****Converse :**The converse of the proposition is**Contrapositive :**The contrapositive of the proposition is**Inverse :**The inverse of the proposition is

To summarise,

**Note : **It is interesting to note that the truth value of the conditional statement is the same as it’s contrapositive, and the truth value of the Converse of 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,

**Example :**

**Implication :** If today is Friday, then it is raining.

The given proposition is of the form , where is “Today is Friday” and is “It is raining today”.

Contrapositive, Converse, and Inverse of the given proposition respectively are-

**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

**Implicit use of Biconditionals :**

The last article, part one of this topic, ended with a discussion of bi-conditionals, what it is and its truth table. In Natural Language bi-conditionals are not always explicit. In particular, the iff construction (if and only if) is rarely used in 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-

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 Intenet 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,

- "You can access the Internet from campus." - "You are a computer science major." - "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 previous Article),

Therefore the logical expression would be –

**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.

1. GATE CS 2009, Question 24

2. GATE CS 2014 Set-1, Question 63

3. GATE CS 2006, Question 28

4. GATE CS 2002, Question 8

5. GATE CS 2000, Question 30

6. GATE CS 2015 Set-1, Question 24

**References –**

Propositional Logic – Wikipedia

Discrete Mathematics and its Applications, by Kenneth H Rosen

This article is contributed by **Chirag Manwani**. If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

Please write comments if you find anything incorrect, or you want to share more information about the topic discussed above.

## Recommended Posts:

- Mathematics | Introduction to Propositional Logic | Set 1
- Mathematics | Propositional Equivalences
- Introduction of Logic Gates
- Mathematics | Matrix Introduction
- Mathematics | Introduction of Set theory
- Mathematics | Introduction to Proofs
- Mathematics | Introduction and types of Relations
- BCD Adder in Digital Logic
- Latches in Digital Logic
- Multiplexers in Digital Logic
- Encoder in Digital Logic
- 5 variable K-Map in Digital Logic
- Full Subtractor in Digital Logic
- Self Dual functions in Digital Logic
- Magnitude Comparator in Digital Logic