The first example in the video can be proven by using de Morgan, distribution and hypothetical syllogism but of course, it is much easier by using the conditional proof method.
really enjoying this, though i would like it if you could but down the number of sentences we'll use meaning like were going to be using 7 reasons this proof and then right them down like 1, 2, 3, 4, 5, 6, 7 instead of waiting till the end because i would like to try the sequence myself and i cant do it without the line number
Hi Mark Thorsby, I really enjoyed watching you work out the conditional proofs, indirect proofs, and regular natural deductions on paper! By the way, your pen in the indirect proofs video is awesome--where did you get it? Take care, QP
My school is finally getting with the 21st century and getting rid of this course as a requirement for a law degree. It's a bunch of useless, archaic puzzles.
I'm a math/stat student,I learn it to try to comprehend the problem of decidability of the computer science or mathematical logic, all the operations are very familiar with me because we used them a lot in mathematical proofs.So it maybe not attractive for you in your current study, but I assure you it's a very powerful tool and the whole basis of computer science kinds of lay on this.
Literally would've failed without you. Thank you!
Your videos literally saved my academic career!
Studying for my final and this just unlocked my brain and helped me out so much!!!
Thanks for these videos. There literally saving my grade.
Thank you for making these videos. I have been providing them to students. They are very helpful.
You saved me. You deserve a beer sir👍 Respect from India.
Could you teach 7.7 Lesson on page 440. My final is covering it and I'm only passing because of these videos. You are truly a God Send!!
The first example in the video can be proven by using de Morgan, distribution and hypothetical syllogism but of course, it is much easier by using the conditional proof method.
That's a weird trick, what a lesson!
really enjoying this, though i would like it if you could but down the number of sentences we'll use meaning like were going to be using 7 reasons this proof and then right them down like 1, 2, 3, 4, 5, 6, 7 instead of waiting till the end because i would like to try the sequence myself and i cant do it without the line number
Thank you professor, by the way, I like the old fashion pen and paper easier to understand. (I am never able to read the computer version)
Hi Mark Thorsby, I really enjoyed watching you work out the conditional proofs, indirect proofs, and regular natural deductions on paper! By the way, your pen in the indirect proofs video is awesome--where did you get it? Take care, QP
Thanks for your help!
Can we, after discharging, remake an assumption with the same proposition and go to another conclusion?
+Nidomy Yes, so long as you discharge it first.
jy
What does jy mean?
And thanks Mark Thorsby for being such cool teacher.
Hello, Congratulation for the channel! Can you help me with one exercise about this subject?
@@kushalnath889 yes they are very usefull
@@kushalnath889 I am from Portugal and I am 22
@@kushalnath889 computador engeneering
thx
My school is finally getting with the 21st century and getting rid of this course as a requirement for a law degree. It's a bunch of useless, archaic puzzles.
I'm a math/stat student,I learn it to try to comprehend the problem of decidability of the computer science or mathematical logic, all the operations are very familiar with me because we used them a lot in mathematical proofs.So it maybe not attractive for you in your current study, but I assure you it's a very powerful tool and the whole basis of computer science kinds of lay on this.