Tuesday 22 February 2011

DISJUNCTION

Definition : A disjunction is a compound statement formed by joining two statements with    the connector OR. The disjunction "p or q" is symbolized by ∨ q  . A disjunction is false if and only if both statements are false; otherwise it is true. The truth values of ∨ q are listed in the truth table below.A disjunction, both statements must be false for the disjunction to be false.

Example 1:
Given:
p: Ann is on the softball team.
q: Paul is on the football team.
Problem:
What does ∨ q represent?

Solution: In Example 1, statement p represents, "Ann is on the softball team" 
and statement q represents, "Paul is on the football team." The symbol ∨ 
is a logical connector which means "or." Thus, the compound 
statement ∨ q represents the sentence, "Ann is on the softball team or
Paul is on the football team." The statement ∨ q is a disjunction.


p
q
∨ q
T
T
T
T
F
T
F
T
T
F
F
F

Example 2:
Given:
a: A square is a quadrilateral.
b: Harrison Ford is an American actor.
Problem:  
Construct a truth table for the disjunction "a or b."
Solution:
a
b
∨ b 
T
T
T
T
F
T
F
T
T
F
F
F

Example 3:
Given:
r: x is divisible by 2.
s: x is divisible by 3.
Problem:
What are the truth values of  ∨ 

Solution:
If x = 6, then r is true, and s is true. The disjunction r ∨ s is true.
If x = 8, then r is true, and s is false. The disjunction ∨ s  is true.
If x = 15, then r is false, and s is true. The disjunction ∨ s  is true.
If x = 11, then r is false, and s is false. The disjunction ∨ s  is false.

No comments:

Post a Comment