1 - PropositionalLogic
1 - PropositionalLogic
Does the following compound proposition a satisfiable? (p V ~q) ⋀ (~p V q) ^ (~p V ~q) T
(True of False) satisfiable
Does the following compound proposition a satisfiable? (p⟶ q) ^ (p⟶ ~q) ^ (~p ⟶ q) ^
(~p ⟶ ~q) F
Does the following compound proposition a satisfiable? (p V ~r) ⋀ (~p V q) ⋀ (~p V ~r) T
¬ q ∨ (¬ p ∧ q)
p: The election is decided.
q: votes have been counted.
(a) The votes have not been counted, or they have been counted but the election is not (yet)
decided.
Page 1 of 4
(b) The election is decided or the votes have been counted
(c) The votes have been counted but the election is not (yet) decided.
(d) The election is not decided unless the votes have been counted.
• To take discrete mathematics, you must have taken calculus or a course in computer
science.
(a) Inclusive OR
(b) Exclusive OR
1..2. Inverse:
(a)If I stay at home, then it snows tonight.
(b) If I'm not staying at home, then it doesn't snow tonight.
(c)If it does not snow tonight, then I will not stay at home.
1..3. Contrapositive:
(a)If I stay at home, then it snows tonight.
(b) If I'm not staying at home, then it doesn't snow tonight.
(c)If it does not snow tonight, then I will not stay at home.
Page 2 of 4
Templet#2
Blackboard (True of False) Questions
¬q→¬p
p: The election is decided.
q: votes have been counted.
(a)The votes have not been counted, or they have been counted but the election is not (yet)
decided.
(b) The election is decided or the votes have been counted
(c)The votes have been counted but the election is not (yet) decided.
(d) The election is not decided unless the votes have been counted
Page 3 of 4
Determine whether an inclusive or, or an exclusive or, is intended.
A password must have at least three digits or be at least eight characters long.
(a)Inclusive OR
(b) Exclusive OR
To take discrete mathematics, you must have taken calculus or a course in computer science.
(a)Inclusive OR
(b) Exclusive OR
1..2. Converse:
(a)A positive integer is not a prime only if it has divisors other than 1 and itself.
(b) A positive integer has no divisors other than 1 and itself only if it is a prime.
(c)A positive integer has divisors other than 1 and itself only if it is not a prime.
1..3. Inverse:
(a)A positive integer is not a prime only if it has divisors other than 1 and itself.
(b) A positive integer has no divisors other than 1 and itself only if it is a prime.
(c)A positive integer has divisors other than 1 and itself only if it is not a prime.
Page 4 of 4