Correct symbolical representation of statement => "All Birds are beautiful" ?
Now , here the logical way to approach seems like necessary condition.
Since All birds are beautiful , can be equivalent to , "If X is a bird then X is beautiful."
Again , with Universal quantifier ; simply (Vx) { B(x) -> Beauty(x) } .
I observed , the answer chosen is , ~ [∃x , { B(x) ^ Beauty(x) } ] .
First , I'm totally lost now , with when to choose conjunction vs implication and how the above form is closer to sentential form.