Starting from:

$30

Assignment-1 First Order Logic

Assignment-1
CS 2214: Discrete structures for computing

Instructions: Please submit a single pdf file in OWL.
1. Construct a compund proposition s using the propositions p, q, r and the
connectives ∨, ∧, ¬ such that
(i.) s = T if and only if (p = q = T, r = F) and (p = F, q = r = T).
(ii.) s = T if and only if exactly one of p, q or r are true.
Justify your answers using truth tables.
2. Decide which of the following propositions are tautology, contradiction
or satisfiable with justification. The justification should use truth tables
and/or laws of propositional logic:
(i.) (p ∧ q ∧ r) → (p ∧ q) ∨ r
(ii.) p → ¬p
(iii.) ((p → q) ∧ q) → p
3. Decide if the following sentences are equivalent. Use appropriate labeling
of propositions and use logical reasoning to justify your conclusion.
(i.) If Gail scored a 100 in the final and got more than 80% in the assignments then she will get an A in the course.
(ii.) If Gail scored a 100 in the final then she got less than 80% on the
assignments or she will get an A in the course.
Note: Here ‘or’ is used in the sense of disjunction, not exclusive or.
4. Prove the validity or invalidity of the following argument. If it is valid
then prove it using rules of inference. If it is invalid give appropriate
justification. Assume the domain for all statements is the set of all family
members in a large family.
If someone in the family eats tuna then they eat salmon.
There is someone in the family who eats shrimp.
No one in the family eats both shrimp and salmon.
Therefore, there is someone in the family who does not eat tuna.
1

More products