Help with Propositional Logic Translation I have an assignment for university and I’m a bit confused as to how I should translate the following sentence:
Neither Ana nor Bob can do every exercise but each can do some.
I've identified the atomic sentences A=Ana can do every exercise and B=Bob can do every exercise and managed to translate the first part into ~A & ~B but I don't know how to go about "each can do some".
Any help would be greatly appreciated!
 A: You are supposed to use quantifiers. Hence, you might want to define $A(x)$ as "Anna can do exercise x" and $B(x)$ as "Bob can do exercise x".
The second part of your sentence can now be translated as $\exists x A(x) \wedge \exists y B(y).$ I will let you translate the first part.
A: 

*

*Neither Ana nor Bob can do every exercise but each can do some.


It's helpful to sequentially deconstruct the given sentence. The following are all equivalent to the above:

*

*Observe that 'but' and 'and' have the same logical meaning.

*

*Neither Ana nor Bob can do every exercise, and each can do some.



*'Neither M nor N passed' means 'both M and N failed'.

*

*Ana cannot do every exercise and Bob cannot do every exercise and each can do some.



*Be extra careful: 'can't eat everything' does not mean 'can't eat anything', and a wrong translation of the first conjunct is, "for every exercise $x,$ Ana cannot do $x$".

*

*(It is not that Ana can do every exercise) and (it is not that Bob can do every exercise) and each can do some.

These two pairs of parentheses are crucial delimiters, and mustn't be omitted.


*Denote "Ana can do exercise $x$" and "Bob can do exercise $x$" by $Ax$ and $Bx,$ respectively. Using this legend, notice that the word 'each' in the above sentences does not translate as 'for each'.

*

*(It is not that Ana can do every exercise) and (it is not that Bob can do every exercise) and Ana can do some exercise and Bob can do some exercise.

*(It is not that $∀x\,Ax$) and (it is not that $∀x\, Bx$) and $∃x\,Ax$ and $∃x\,Bx.$
Symbolically rewrite the last sentence, optionally dropping all parentheses since quantification and negation have a higher precedence than conjunction & disjunction.
P.S. In step 2, 'neither M nor N passed' can alternatively be translated as 'it's not that (M or N passed)', noting that in logic 'or' is inclusive rather than exclusive.
