Basic Math Chapter 1&1
Basic Math Chapter 1&1
Or ∨ Disjunction 𝑝 ∨𝑞 p or q
𝒑 𝒒 𝒑∧𝑞 𝒑 𝒒 𝒑∨𝑞
𝑻 𝑻 𝑻 𝑻 𝑻 𝑻
𝑻 𝑭 𝑭 𝑻 𝑭 𝑻
𝑭 𝑻 𝑭 𝑭 𝑻 𝑻
𝑭 𝑭 𝑭 𝑭 𝑭 𝑭
3. Implication 4. Bi-implication
• Rule-3:𝒑 ⟹ 𝑞 is false • Rule-4:𝒑 ⟺ 𝑞 is false iff p and
iff p is true and q is q have different truth values.
false , otherwise it is Otherwise it is true.
true.
𝑝 𝒒 𝒑⟹𝑞 𝒑 𝒒 𝒑⟺𝑞
𝑻 𝑻 𝑻 𝑻 𝑻 𝑻
𝑻 𝑭 𝑭 𝑻 𝑭 𝑭
𝑭 𝑻 𝑻 𝑭 𝑻 𝑭
𝑭 𝑭 𝑻 𝑭 𝑭 𝑻
5. Negation
• Rule-5: a proposition and its negation have opposite truth
values.
𝒑 𝑝
𝐓 𝐅
𝐅 𝐓
Examples
• Let p: 2 is a prime number-T
q: 7 is a composite number-F
r: Cairo is the capital of Sudan-F
• Then, write the following propositions in words and give their
truth value.
a) 𝑝 ∧ 𝑞 b) 𝒑 ∨ 𝑞 c) 𝒑 ⟹ 𝑞 d) r⟺ 𝑞
e) q⟹ p f) 𝑝 g) p⟺ 𝑞
• Answers
a) 𝑝 ∧ 𝑞: 2 is a prime number and 7 is a composite number-F
b) 𝒑 ∨ 𝑞: 2 is a prime number or 7 is a composite number-T
c) 𝒑 ⟹ 𝑞: If 2 is a prime number , then 7 is a composite
number-F
d) r⟺ 𝑞:Cairo is the capital of Sudan if and only if f 7 is a
composite number-T
e) q⟹ p: If 7 is a composite number, then 2 is a prime
number-T
f) 𝑝: 2 is a not a prime number or 2 is a composite number-F
g) p⟺ 𝑞: 2 is a prime number if and only if 7 is a composite
number-F
Compound(Complex) Propositions
• Example:
a) 𝑝 ∧ 𝑞 , 𝒑 ∨ 𝑞 , 𝒑 ⟹ 𝑞 , p⟺ 𝑞
Solutions
a)
p q ¬𝒑 𝒑⟹𝑞 ¬𝒑 ∨ 𝑞
T T F T T
T F F F F
F T T T T
F F T T T
From columns 4 and 5 of the above table we see that
𝒑 ⟹ 𝑞, ¬𝒑 ∨ 𝑞 have the same truth values.
Thus: 𝒑 ⟹ 𝑞 ≡ ¬𝒑 ∨ 𝑞
b)
p q ¬p ¬q 𝒑⟹𝑞 ¬𝒑 ⟹ ¬𝑞
T T F F T T
T F F T F T
F T T F T F
F F T T T T
b) Converse:¬r ⟹ (𝑝 ∧ 𝑞)
Inverse:¬(𝑝 ∧ 𝑞) ⟹ r
Contrapositive::r ⟹ ¬(𝑝 ∧ 𝑞)
Tautology and Contradiction
Definition 1.4: A compound proposition is a tautology if it is
always true regardless of the truth values of its component
propositions. If, on the other hand, a compound proposition is
always false regardless of its component propositions, we say
that it is a contradiction.
Soln:a) T T T T
T F T T
F T F T
F F T T
T T F T F F
b)
T F T F T F
F T F T F F
F F T T F F
• Examples
1. Universal Quantifier ( )
• ∀𝑥: we read it as “ for each 𝑥”, or “ for all 𝑥”, or “for every 𝑥”
• ∀𝑥 𝑃(𝑥): read it as: “ for all 𝑥 the property P(𝑥) holds true.”
2. Existential Quantifier ( )
a) ∀𝑥 ∈ ℝ 𝑥 2 + 1 > 1 b) ∃𝑥 ∈ ℝ (𝑥 2 + 1 ≤ 1)
c) ∀𝑥 ∈ ℝ ∃𝑦 ∈ ℝ 𝑥 + 𝑦 = 5
𝑑) ∃𝑥 ∈ ℝ ∀𝑦 ∈ ℝ (𝑥 + 𝑦 = 5)
e) ∃𝑥 ∈ ℝ ∀𝑦 ∈ ℝ (𝑥 2 ≤ 𝑦 2 )
Answers:
a) F b) T c) T d) F e) T
a) ¬ ∀𝑥 𝑃 𝑥 ≡ ∃𝑥 𝑃(𝑥) b) ¬ ∃𝑥 𝑃 𝑥 ≡ ∀𝑥 𝑃(𝑥)
1.3. Argument and Validity
𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛 ├ 𝑄
Example :Consider the following argument:
If you study hard, then you will pass the exam.
You did not pass the exam.
Therefore, you did not study hard.
Let 𝑝: You study hard.
𝑞: You will pass the exam.
The argument form can be written as:
Definition 1.8: An argument form 𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛 ├ 𝑄 is said to
be valid if 𝑄 is true whenever all the premises 𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛
are true; otherwise it is invalid.
Example: Investigate the validity of the following argument:
c) If it rains, crops will be good. It did not rain. Therefore, crops
were not good.
Solutions
a) The given argument form is valid as can be seen from the
table
p q ¬q 𝒑⟹𝑞 ¬p
T T F T F
T F T F F
F T F T T
F F T T T
b) Invalid c) invalid
Proof: exercise
• Remarks:
1) What is important in validity is the form of the argument
rather than the meaning or content of the statements
involved.
2) The argument form 𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛 ├ 𝑄 is valid iff the
statement
(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ ⋯ ∧ 𝑝𝑛 ) ⟹ 𝑄 is a tautology.
Reading Assignment
Rules of Inferences
Formal proofs of Validity
1.4. Set Theory
1.4.1. The Concept of a Set
• Set is an undefined term which refers to a collection of well-
defined objects that share a certain property or certain
properties.