

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
A practice test for CSE 240: Logic and Discrete Mathematics. The test includes questions on negation, predicates, propositional variables, and propositional equivalence. The questions require the student to write in good English and use logical operators. The document also includes answers and explanations for each question.
Typology: Exams
1 / 3
This page cannot be seen from the preview
Don't miss anything!


CSE 240: Logic and Discrete Mathematics Practice Test 1
Name: Student Number:
a. Some bananas are yellow. No bananas are yellow
b. All integers ending in the digit 7 are odd. There are some even integers ending in the digit 7
c. No tests are easy. Some tests are easy
d. Roses are red and violets are blue. Some roses are not red, or some violets are not blue
e. Some skiers do not speak Spanish. All skiers speak Spanish
a. ¬P (John, CSE 131) John has not passed CSE 131
b. ∃y∀xT (x, y) There is a course that all students have taken
c. ∀x∃yT (x, y) Each student has taken some course
p q r p ∧ q ∧ ¬r F F F F F F T F F T F F F T T F T F F F T F T F T T F T T T T F
(q ∧ (p → ¬q)) → ¬p
(Do not use a truth table.)
(q ∧ (p → ¬q)) → ¬p ≡ (q ∧ (¬p ∨ ¬q)) → ¬p (Conditional-disjunction equivalence: p → q ≡ ¬p ∨ q) ≡ ((q ∧ ¬p) ∨ (q ∧ ¬q)) → ¬p (Distributivity Law) ≡ ((q ∧ ¬p) ∨ F) → ¬p (Negation Law) ≡ (q ∧ ¬p) → ¬p (Identity Law) ≡ ¬(q ∧ ¬p) ∨ ¬p (Conditional-disjunction equivalence) ≡ (¬q ∨ ¬¬p) ∨ ¬p (DeMorgan’s Law) ≡ (¬q ∨ p) ∨ ¬p (Double negation Law) ≡ ¬q ∨ (p ∨ ¬p) (Associative Law) ≡ ¬q ∨ T (Negation Law) ≡ T (Domination Law)