Determine whether the following arguments are correct by representing the sentences as statement forms and checking to see whether the conjunction of the assumptions logically implies the conclusion.
(a) Either Arlen is lying or Brewster was in Mexico in April or Crawford was not a blackmailer. If Brewster was not in Mexico in April, then either Arlen is telling the truth or Crawford was a blackmailer. Hence Brewster must have been in Mexico in April.
(b) If the budget is not cut, then a necessary and sufficient condition for prices to remain stable is that taxes will be raised. Taxes will be raised only if the budget is not cut. If prices remain stable, then taxes will not be raised. Hence taxes will not be raised.