## Implication in Discrete mathematicsAn implication statement can be represented in the form "if....then". The symbol ⇒ is used to show the implication. Suppose there are two statements, P and Q. In this case, the statement "if P then Q" can also be written as P ⇒ Q or P → Q, and it will be read as "P implies Q". In this implication, the statement P is a hypothesis, which is also known as premise and antecedent, and the statement Q is conclusion, which is also known as the consequent. The implication also plays an important role in the logical argument. If the implication of the statements is known to be true, then whenever the premise is met, the conclusion must also be true. Because of this reason, the implication is also known as the conditional statement. Some examples of implications are described as follows: - "If the weather of GOA is sunny, then we will go to beach".
- "If the club has discount system, then we will go to that club".
- "If it is sunny while going beach, then we will be tanned".
The logical implication can be expressed in various ways, which are described as follows: - If p then q
- If p, q
- q when p
- Q only if P
- q unless ~p
- q whenever p
- p is a sufficient condition for q
- q follow p
- p implies q
- A necessary condition for p is q
- q if p
- q is necessary for p
- p is a necessary condition for q
Now we will describe the examples of all the above-described implications with the help of premise P and conclusion Q. For this, we will assume that P = It is sunny and Q = I will go to the beach. P ⇒ - IF it is sunny THEN I will go to the beach
- IF it is sunny, I will go to the beach
- I will go to the beach WHEN it is sunny
- I will go to the beach ONLY IF it is sunny
- I will go to the beach UNLESS it is not sunny
- I will go to the beach WHENEVER it is sunny
- It is sunny IS A SUFFICIENT CONDITION FOR I will go to the beach
- I will go to the beach FOLLOW it is sunny
- It is sunny IMPLIES I will go to the beach
- A NECESSARY CONDITION FOR it is sunny is I will go to the beach
- I will go to the beach IF it is sunny
- I will go to the beach IS NECESSARY FOR it is sunny
- It is sunny IS A NECESSARY CONDITION FOR I will go to the beach
When there is a conditional statement "if p then q", then this statement P ⇒ Q will be false when Premises p is true, and Conclusion q is false. In all the other cases, that means when p is false or Q is true, the statement P ⇒ Q will be true. We can represent this statement with the help of a truth table in which the false will be represented by F and true will be represented by T. The truth table of the statement "if P then Q" is described as follows:
It is not necessary that the premises and conclusion are related to each other. On the basis of the formulation of P and Q, the interpretation of the truth table is dependent.
- If Jack is made of plastic, then the Ocean is green.
- The statement: Jack is made of plastic
- The statement: The Ocean is green
The above two statements are not making any sense because Jack is a human, and he can never be made of plastic, and another statement Ocean is green will never happen because the ocean is always blue and the color of Ocean can't be changed. As we can see that both statements are not related to each other. On the other hand, the truth table for the statement P ⇒ Q is valid. So it is not a question of whether the truth table is correct or not, but it is a question of imagination and interpretation. So in P ⇒ Q, we don't need any type of connection between the premise and consequent. On the basis of the true value of P and Q, the meaning of these only depends. These statements will also be false even if we consider both the statements for our world, so So when we look at the above truth table, we see that when P is false and Q is false, then P ⇒ Q is true. So, if the Jack is made of plastic, then the Ocean will be green. However, premise p and conclusion q will be related, and both statements make sense. ## AmbiguityThere can be an ambiguity in the implied operator. So when we use the imply operator (⇒), at this time, we should use the parenthesis.
In the above truth table, we can see that the truth table of P ⇒ (Q ⇒ R) and (P ⇒ Q) ⇒ R are not similar. Hence, they both will generate different outputs or results.
Some more examples of Implications are described as follows: - If it is sunny, then I will go to school.
- If I get a good job, then I will earn money.
- If I get good marks, then my parents will be happy.
In all the above examples, we get confused because we don't know when an implication will be considered as true and when it will be considered as false. To solve this problem and to understand the concept of implication, we will use a hypothetical example. In this example, we will assume that Marry will play badminton with his boyfriend Jack, and his boyfriend Jack wants to motivate Marry a little bit, so he entices her with a statement: Through this statement, Jack means that If marry wins, then obviously he will buy a ring. Through this statement, Jack only commits himself when Marry wins. He did not commit anything in any case when Mary loose. So at the end of the match, there can be only four possibilities, which are described as follows: - Marry wins - buy a ring.
- Marry wins - buy no ring.
- Marry loses - buy a ring.
- Marry loses - buy no ring.
However, Jack did not make any statement related to rule (B). He also did not mention rules number (C) and (D) in his statement, so if Marry loose, then it's totally up to Jack to buy a ring for her or not. In effect, statements (A), (C), and (D) might happen as the outcome of the statement that Jack says to Marry, but (B) will not be the outcome. If outcome (B) occurs, only then Jack will be caught in a lie. In all the other three cases, i.e., (A), (C), and (D), he will have spoken the truth. Now we will use the simpler statement so that we can symbolically define Jack's statement like this: In this implication, we use the logical symbol ⇒, which can be read as "implies". We will form the Jack's Compound statement with the help of putting this arrow from P to Q like this: In conclusion, we have observed that the implication will be false only when P is true and q is false. According to this statement, Marry wins the game, but sadly Jack does not buy a ring. In all the other cases/outcomes, the statement will be true. Accordingly, the truth table for implication is described as follows:
The list of corresponding logic equations for the implication is described as follows: ## Examples of Implication:There are various examples of implications, and some of them are described as follows:
P: Jack is in school Q: Jack is teaching R: Jack is sleeping S: Jack is sick Now we will describe some symbolic statements which are involved with these simple statements. - P → R
- S → ~P
- ~Q → (S ∧ R)
- (P ∨ R) → ~Q
- (~R ∧ ~S) → (Q ∨ ~P)
Here we have to show the representation of interpretation of these symbolic statements into words.
Now we will consider an example of implication, which has the statement, "If you study well, you get good marks". This statement is in the form P → Q, where P: you study well Q: you get good marks Now we will use the P and Q statements and show the four associate statements like this:
The truth values of all the above associate statements are described with the help of a truth table, which is described as follows
In the above table, we can see that the implication (P → Q) and its contrapositive (~Q → ~P) have the same value in their columns. That means they both are equivalent. So we can say that: Similarly, we can see that the converse and inverse both have similar values in their columns. But this will not make any difference because the inverse is the contra-positive of the converse. Similarly, the original implication can get from the contra-positive of the contra-positive. (That means if we negate P and Q and then switch the arrow's direction, and after that, we will again repeat the process, that means negate ~P and ~Q, and again switch the arrow's direction, in this case, we will get back where we started). |

For Videos Join Our Youtube Channel: Join Now

- Send your Feedback to [email protected]