Question

5) Translate the following argument into symbolic form and then use natural deduction (first 18 rules of inference) to derive the conclusion of each argument. Do not use conditional proof or indirect proof.

The Central Intelligence Agency (CIA) will lose its funding only if the President thinks that it is wise and the Congress supports the move. If either Congress supports the move or covert operations run amok, then the CIA will have political problems. Therefore, if the CIA will not have political problems, then the CIA will not lose its funding.

Answer 1