Consider the following statements. Write each statement into its symbolic form.(2 pts each)
Let:
p: Ann solved the problem in discrete math.
q: Bryan solved the problem in discrete math.
r: Cris solved the problem in discrete math.
s: Derynn solved the problem in discrete math.
1. If Derynn solved the problem in discrete math then Bryan and Cris solved it too.
2. Cris solved the problem in discrete math only if Ann and Bryan didn’t solve.
3. Derynn solved the problem in discrete mathematics if and only if Cris solved it and Ann doesn’t solved
4. If Derynn solved the problem in discrete mathematics, then if Cris doesn’t solve it then Ann solved it.
5. Cris solved the problem in discrete mathematics provided that Derynn doesn’t solved, but if Derynn solved it, then
Bryan doesn’t solve it.
Solution:
1. "s\\rightarrow(q\u2227 r)"
2. "\u00ac(p\u2227q)\\rightarrow r"
3. "s\\leftrightarrow (r\u2227\u00acp)"
4. "s\\rightarrow (\u00acr\u2227p)"
5. "(\u00acs\\rightarrow r)\u2227(s \\rightarrow \u00acq)"
Comments
Leave a comment