Al is young but Claudio is not.
Ya & ~Yc
Barbara is not a student but Donna is.
~Sb & Sd
Although both Al and Claudio are students,
they are not both young.
(Sa & Sc) & ~(Ya & Yc)
Al and Claudio are not both young but they
both work hard.
~(Ya & Yc) & (Wa & Wc)
If Barbara is not ambitious then she will
not work hard.
~Ab -> ~Wb
If either Barbara or Donna is ambitious then
they will both work hard.
(Ab v Ad) -> (Wb & Wd)
Claudio will work hard unless he is not
ambitious,
but Donna will not work hard unless she is ambitious.
(Wc v ~Ac) & (~Wd v Ad)
If Al and Claudio are not both ambitious then
one of them will not be working hard.
~(Aa & Ac) -> (~Wa v ~Wc)
Good
work if you got the last answer
without
difficulty. Remember, we are translating thoughts, so we have to
think about what is really being said when we move from any natural
language
to the artificial language of symbolic logic.
