ADDITION

Tautology:
RULE:
p P → (pVq)
______
∴(pVq)
 2

Example:
Let p be “I will study discrete
math.”
Let q be “I will visit Las Vegas.”
“I will study discrete math.”
“Therefore, I will study
discrete math or I will visit Las
Vegas.”
 3
Ex. 2

Let p be “He studies very

hard.”
Let q be “He is a very bad
student.”
“Therefore, Either he studies
very hard or he is a very bad
student.”
SIMPLIFICATION
4

Tautology:
RULE:

p∧q (p∧q)→p
____
∴ p
 5
Example:
Let p be “I will study discrete
math.”
Let q be “I will study English
literature.”
“I will study discrete math and
English literature”
“Therefore, I will study
discrete math.”
 6
Ex. 2

Let p be “He studies very

hard.”
Let q be “He is the best boy in
class.”
“Therefore, He studies very
hard.”
CONJUNCTION
7

Tautology:
RULE:
P ((p)∧(q))
q →
______
(p∧q)
∴ p∧ q
 8
Example:
Let p be “I will study discrete
math.”
Let q be “I will study English
literature.”
“I will study discrete math.”
“I will study English literature.”
“Therefore, I will study discrete
math and I will
study English literature.”
 9
Ex. 2

Let p be “He studies very

hard.”
Let q be “He is the best boy in
class.”
“Therefore, He studies very
hard and he is the best boy in
the class.”
RESOLUTION
10

Tautology:
RULE:
p∨ q ((pVq) ∧
¬p∨ r (¬p∨r)) →
_______ (q∨r)
∴ q ∨ r
Example:
Let p be “I will study discrete math.”
Let q be “I will study database.”
Let r be “I will study English literature.”
“I will study discrete math or I will study
databases.”
“I will not study discrete math or I will study
English literature”
“Therefore, I will study database or I
will study English literature.”
 12
Ex. 2

Let p be “It is raining.”

Let q be “I will make tea.”
Let r be “I will read book.”

“Therefore, I will make tea, or

I will read a book.”