Propositional Logic
Propositional Logic
CHAPTER NO. 03
2. 1 + 1 = 2
All of the above sentences are propositions, where the first two are (True) and
the third one is (False). Some sentences that do not have a truth value or may
have more than one truth value are not propositions. For Example,
3. x + 1 = 2.
But "Close the door", and "Is it hot outside?" are not propositions.
Also "x is greater than 2", where x is a variable representing a number, is not a
proposition,
because unless a specific value is given to x we cannot say whether it is true or
false, nor do we know what x represents.
The area of logic which deals with propositions is called propositional
calculus or propositional logic. It also includes producing new propositions
using existing ones. Propositions constructed using one or more propositions
are called compound propositions. The propositions are combined together
using Logical Connectives or Logical Operators.
SIMPLE PROPOSITION:
Logical Connectives:
Truth Table
Since we need to know the truth value of a proposition in all possible
scenarios, we consider all the possible combinations of the propositions which
are joined together by Logical Connectives to form the given compound
proposition. This compilation of all possible scenarios in a tabular format is
called a truth table. Most Common Logical Connectives-
1. Negation – If p is a proposition, then the negation of is denoted by ¬p ,
which when translated to simple English means- “It is not the case that ”
or simply “not “. The truth value of is the opposite of the truth value
of proposition. The truth table of will be true iff p is false. • Truth table
for ¬:
p ¬p
F T
T F
Example, The negation of “It is raining today”, is “It is not the case that is
raining today” or simply “It is not raining today”.
p q p∧q
F F F
F T F
T F F
T T T
The disjunction is ‘True’ when either p or q is True, otherwise False. The truth
table of is-
P q p∨q
F F F
F T T
T F T
T T T
p q p→q
T T T
T F F
F T T
F F T
You might wonder that why is true when is false. This is because the
implication guarantees that when p and q are true then the implication is true.
But the implication does not guarantee anything when the premise q is false.