I love it. I found this video to be truly useful, except that it misses one statement that is essential for understanding this video. The statement is: "Axioms and theorems are tautologies. The proof is a series of steps that demonstrate, how the fact that the axioms are tautologies, guarantees that the theorem candidate is a tautology." I suggest to add the sentence or some more elegant variant of it as an annotation to the start of the video.
is it possible to have different solutions and still get to the same conclusion? bc i'm able to prove the arguments but my textbook always has different answers from me :(
you make mistake about 3rd problem i.e. you mention 5,6 HS that is wrong because you can't apply the rules of Hypothetical syllogism so you have to write 6,5 HS.
you expained what my professor couldnt in an entire semester thank you!!!!
Love you after 8 years, man. This help me so much. Ty from Brazil guy.
Makes sense! Online learning > lectures cause you can rewind
Online learning > lectures cause you can stay in bed till 11.
How the tables have turned
I love it. I found this video to be truly useful, except that it misses one statement that is essential for understanding this video. The statement is: "Axioms and theorems are tautologies. The proof is a series of steps that demonstrate, how the fact that the axioms are tautologies, guarantees that the theorem candidate is a tautology."
I suggest to add the sentence or some more elegant variant of it as an annotation to the start of the video.
Great suggestion. I will definitely do so when I re-record this. Thanks!
I found it very helpful; greetings from Mexico!
is it possible to have different solutions and still get to the same conclusion? bc i'm able to prove the arguments but my textbook always has different answers from me :(
Is it allowed to do those problems by assigning a True of False value to some expressions ?
which book are you using?
This class was so difficult!
Thanks for the video =)
De Morgan's at 5:10 is wrong. should be -q v -r = -(q^r)
What book was that you had?
Your title is mis-spelled.
.
Pls help me to solve my problem in deduction reasoning
you make mistake about 3rd problem i.e. you mention 5,6 HS that is wrong because you can't apply the rules of Hypothetical syllogism so you have to write 6,5 HS.
+Zabin Laishram Thanks for catching that.
Came here for the example probelms, and you gave me example problems. False advertising, I rate this video 0/10
How to prove this
Prove: (M/W
1.(A->~A)
2.(A->W)
3.(~A->M)
And
Prove: (X/Z)
1. [(X/Z) → ~K]
2. [W → (C/~P)]
3. [(C/~P) → (X&W)]
4. { ~[~W / ~(X/Z)] / (X&~Z)}
5. {~ (X&W) / ~[(X/Z) & ~K]}
(PROBELMS) problems -_-
mmkay