Mathematics Homework Help

43. If the program is efficient, it executes quickly. Either the program is efficient, or it has a bug. However, the
program does not execute quickly. Therefore, it has a bug. E, Q, B

44. If Jane is more popular, then she will be elected. If Jane is more popular, then Craig will resign. Therefore,
if Jane is more popular, she will be elected and Craig will resign. J, E, C

45. If chicken is on the menu, then don’t order fish, but you should have either fish or salad. So, if chicken is
on the menu, have salad. C, F, S

56. The argument of the defense attorney at the beginning of this chapter was
If my client is guilty, then the knife was in the drawer. Either the knife was not in the drawer or Jason
Pritchard saw the knife. If the knife was not there on October 10, it follows that Jason Pritchard didn’t see the knife. Furthermore, if the knife was there on October 10, then the knife was in the
drawer and also the hammer was in the barn. But we all know that the hammer was not in the barn.
Therefore, ladies and gentlemen of the jury, my client is innocent

Use propositional logic to prove that this is a valid argument.

I want it to have the format below and by using prolog in swish

/*

* Explain how the answer confirms a tautology.

*/

problem(1.2, 56, Answer) :-

taut( … , Answer ).