Day 04 part 04- Discrete mathematics for computer science Negation Operator of Proposition

Day 04 part 04- Discrete mathematics for computer science Negation Operator of Proposition

https://www.gyanodhan.com/video/7B5.%20GATE%20CSEIT/Discrete%20Mathematics%202/526.%20Day%2004%20%20%20part%2004-%20Discrete%20mathematics%20for%20computer%20science%20%20%20Negation%20Operator%20of%20Proposition.mp4

The Negation Operator (¬) in Propositional Logic is one of the fundamental logical operators in Discrete Mathematics. It is used to reverse the truth value of a given proposition.

Definition:

If P is a proposition, then the negation of P, denoted as ¬P, is a proposition that is true when P is false and false when P is true.

Truth Table of Negation Operator (¬P):

Example:

1. Let P = “It is raining.”

   • Then, ¬P = “It is not raining.”

2. If P = “5 is greater than 3” (which is true),

   • Then, ¬P = “5 is not greater than 3” (which is false).

Properties of Negation Operator:

• Double Negation: ¬(¬P) = P
• Involutory Property: Applying negation twice brings the original value back.

Would you like more examples or explanations related to propositional logic?

Day 04 part 04- Discrete mathematics for computer science Negation Operator of Proposition

Discrete Mathematics for Computer Science Prof. Raissa D …

Discrete Mathematics and Its Applications, Eighth Edition