GMAT Critical Reasoning (CR) | Re: If Shero wins the election, McGuinness will be appointed hea

Hi Abhimahna,

Are propositional and conditional logic same? Since I am using powerscore I want to make sure you and me are on same page.
Furthermore, symbol ~ means negation, correct ? if A ->B is valid (where A is sufficient and B is necessary condition)
then only negated B -> negated A is valid inference.

Can you explain why did you change statement starting with But S is more ... to conditional logic?

My interpretation of unless is different, let me know if I am incorrect:

Unless