Documente Academic
Documente Profesional
Documente Cultură
STATEMENT FORM
1
EXAMPLE
Write truth table for the statement form ~ p q
p q ~p ~pq
T T F F
T F F F
F T T T
F F T F
Here in order to complete this table we first fill the column for ~p
and from the definition of negation you know that it is false where p is true
and false where p is true.
Then we fill the column for ~ p q and you know that conjunction of two
statements is true omly when both the statements are true. So ~ p q is true
only where ~ p and q both have truth values T,which is third row . Hence we
have T in the column of ~ p q in the third row and write down F in all other
entries.
EXAMPLE
Construct truth table for ~ p (q ~ r)
p q r ~r q~r ~p ~ p (q ~ r)
T T T F T F F
T T F T T F F
T F T F F F F
T F F T T F F
F T T F T T T
F T F T T T T
F F T F F T F 2
F F F T T T T
EXAMPLE
LOGICAL EQUIVALENCE
Two statement forms are called logically equivalent if, and only if, they
have identical truth values for all possible truth values for their statement
variables.
The logical equivalence of statement forms P and Q is denoted by writing
P Q.
EXAMPLE
Double Negative Property ~(~p) p
p ~p ~(~p)
T F T
F T F
EXAMPLE
p q ~p ~q pq ~(pq) ~p ~q
T T F F T F F
T F F T F T F
F T T F F T F
F F T T F T T
Note that the entries in the last two columns are the same . Hence
the statements forms are logically equivalent that is
~(pq) and ~p ~q are not logically equivalent
4
DE MORGAN’S LAWS
~(p q) ~p ~q
p q ~p ~q pq ~(p q) ~p ~q
T T F F T F F
T F F T T F F
F T T F T F F
F F T T F T T
APPLYING
DE MORGAN’S LAWS
p q r pq qr (p q) r p (q r)
T T T T T T T
T T F T F F F
T F T F F F F
T F F F F F F
F T T F T F F
F T F F F F F
F F T F F F F
F F F F F F F
Since the last two column have the same entries in the columns so we have
their corresponding statement forms are equivalent. That is
(p q) r p (q r )
Which is known as the Associative Law for Conjunction.
6
EXERCISE
p q r pq (p q) r (q r) p (q r)
T T T T T T T
T T F T T T T
T F T F T T T
T F F F F F F
F T T F T T F
F T F F F T F
F F T F T T F
F F F F F F F
Now it is clear from above table that the entries of the given
statement forms are not identical so the statement forms are not
logically equivalent.
TAUTOLOGY
A tautology is a statement form that is always true regardless of the truth
values of the statement variables.
A tautology is represented by the symbol “t”.
So if we have to prove that a given statement form is TAUTOLOGY we
will make the truth table for the statement from and if in the column of the
given statement form all the entries are T ,then we say that statement form is
7
tautology.
EXAMPLE: The statement form p ~ p is tautology.
p ~p p~p
T F T
F T T
CONTRADICTION
p ~p p~p
T F F
F T F
Since in the last column in the truth table we have F in all the entries
so is a contradiction p ~p c
8
REMARKS
1. Show that p t p
p t pt
T T T
F T F
Since in the above table the entries in the first and last columns are
identical so we have the corresponding statement forms are Logically
equivalent that is
ptp
9
LOGICAL EQUIVALENCE INVOLVING CONTRADICTION
p c pc
T F F
F F F
F F F T T F T T
10
Hence (p q) (~p (p ~q)) t
EXERCISE
T T T T F F
T F T F T T
F T T F T T
F F F F T F
Note:
Basically
p q ≡ (p q)~p q)
≡ [p ~q) ~p] [(p ~q) q]
≡ (p q) p q)
≡ (p q) p ~q)
12
REASONING EXERCISES
13