Hello 4chan!
Geniuses are welcome in this thread. Can someone help my with my homework? I have to do some exercises in my logics course(Truth-functional logic). I will post my exercises from the easiest to hardest, so you can help me to solve one after another. I hope that you guys will help me so i will not drop out of university. My future is in your hands. I would really appreciate your help!
Here is my first exercise:
2. Prove that these two sentences are provably equivalent and answer the questions:
2.1 ((Q P) ? Q) ? (P ? Q)
2.2 (P ? Q) ? ((Q P) ? Q)
2.3 Why do you need two proofs here? AND For one of these proofs, you made assumption(s) (in addition to your premises). Why is that?
Geniuses are welcome in this thread. Can someone help my with my homework? I have to do some exercises in my logics course(Truth-functional logic). I will post my exercises from the easiest to hardest, so you can help me to solve one after another. I hope that you guys will help me so i will not drop out of university. My future is in your hands. I would really appreciate your help!
Here is my first exercise:
2. Prove that these two sentences are provably equivalent and answer the questions:
2.1 ((Q P) ? Q) ? (P ? Q)
2.2 (P ? Q) ? ((Q P) ? Q)
2.3 Why do you need two proofs here? AND For one of these proofs, you made assumption(s) (in addition to your premises). Why is that?
