Discreet Structure/Math Problems- Proving and Propositional Statement Questions
ID: 3876540 • Letter: D
Question
Discreet Structure/Math Problems- Proving and Propositional Statement Questions
Proof the following:
1. (A'->B') ^ (A->C) -> (B->C)
2. (Y->Z') ^ (X'->Y) ^ [Y->(X->W)] ^ (Y->Z) -> (Y->W)
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The crop is good, but there is not enough water. If there is a lot of rain or not a lot of sun, then there is enough water. Therefore the crop is good and there is a lot of sun. (use letters C, W, R, S)
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. (use letters E, Q, B)
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Write down the propositional form of the following argument:
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.
Explanation / Answer
The propositional form of arguments:
1. The crop is good...
2. If the program is efficient.....
3. If my client is guilty.....
Let's assign the variables first:
Logic sentence of the lawyer argument:
Now, Firstly write down the hypothesis (hyp):
And we trying to prove ~G.
Proof:
And finally we proved it that the lawyer's argument is true.
(C^~W) ^ ((Rv~S)->W) -> (C^S)Related Questions
drjack9650@gmail.com
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.