














Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
MATHWORLD 7 MATHEMATICAL LOGIC
Typology: Slides
1 / 22
This page cannot be seen from the preview
Don't miss anything!















PROPOSITION ❑A declarative sentence which is either true or false, but not both Representation: p, q, r
PROPOSITION
NOT PROPOSITION
Negation Conjunction Disjunction ¬ or ~ ∧ ∨ not and or ¬ p p ∧ q p ∨ q
BASIC LOGICAL OPERATIONS Translate it into symbolic form. 12 is not a multiple of 4. Let p: 12 is a multiple of 4. Answer: ¬ p
BASIC LOGICAL OPERATIONS Translate it into symbolic form. Fibonacci means “son of Bonaccio” or Pisano originates from Pisa, Italy.
Answer: p ∨ q
BASIC LOGICAL OPERATIONS Translate the proposition in its symbolic form.
Let p: COVID-19 stands for corona virus disease 2019 q: Covid-19 originated in India. Answer: p ∨ ¬ q
CONDITIONAL STATEMENT
If PhilHealth chief resigned amid corruption mess, then the PhilHealth members are worried about looming bankruptcy. Let p: PhilHealth chief resigned amid corruption mess. q: The PhilHealth members are worried about looming bankruptcy. Answer: p → q
Given: p → q Converse q → p Inverse ¬ p → ¬ q Contrapositive ¬ q → ¬ p
Let p: SONA is held every 4th Monday of July. q: President Duterte delivers his 5th SONA. Converse q → p Inverse ¬ p → ¬ q Contrapositive ¬ q → ¬ p
BICONDITIONAL STATEMENT p ↔ q p if and only if q Transform it in symbolic form
1. An angle is right if and only if it measures 90 degrees. Let p: An angle is right. q: It (the angle) measures 90 degrees. Answer: p ↔ q
Requirements