Scribd
Upload
1K views

Activity 2.3 Elementary Mathematical Logic

1. The document contains an activity on elementary mathematical logic that involves expressing compound propositions, completing a truth table, and determining the truth value of statements over integers. 2. Part I has students express 5 compound propositions involving whether n2 + 1 is even or n is odd. 3. Part II has students complete a truth table for propositions involving p, q, and r, and identify tautologies, contradictions, and logical equivalents. 4. Part III tests understanding of quantifiers and relationships by having students determine the truth value of 5 statements over integers and explain their reasoning.

Uploaded by

Charmae Narvasa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
1K views

Activity 2.3 Elementary Mathematical Logic

1. The document contains an activity on elementary mathematical logic that involves expressing compound propositions, completing a truth table, and determining the truth value of statements over integers. 2. Part I has students express 5 compound propositions involving whether n2 + 1 is even or n is odd. 3. Part II has students complete a truth table for propositions involving p, q, and r, and identify tautologies, contradictions, and logical equivalents. 4. Part III tests understanding of quantifiers and relationships by having students determine the truth value of 5 statements over integers and explain their reasoning.

Uploaded by

Charmae Narvasa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

Name Date

Program Score

Activity 2.3 Elementary Mathematical Logic


I. Given p and q, express the following compound propositions as a sentence:
p: 𝑛2 + 1 is an even number.
q: 𝑛 is an odd integer.

1. ~𝒑
2. ~𝒑 ∨ 𝒒
3. 𝒑 ∧ ~𝒒
4. 𝒒 → 𝒑
5. ~𝒑 ↔ ~𝒒

II. Complete the following truth table and supply necessary columns to create tautology,
contradiction, and logically equivalent propositions.

𝒑 𝒒 𝒓 𝒑→𝒒 (𝒑 ∧ 𝒒) ⟷ 𝒓
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

III. Determine the truth value of each of these statements if the domain consists of all integers.
State your reason.

1. ∀𝑥, (𝑥2 > 𝑥)


𝑦
2. ∃𝑦, (𝑦 < − 1)
2
3. ∀𝑦, (𝑦2 ≠ 𝑦)
4. ∃𝑥, 𝑦, (4𝑥 > 5𝑦) where 𝑥 < 𝑦
5. ∀𝑥, 𝑦, (𝑥𝑦 > 0) where 𝑥 = 𝑦

You might also like