RULES of INFERENCE - DISCRETE MATHEMATICS
Vložit
- čas přidán 16. 07. 2017
- Looking for paid tutoring or online courses with practice exercises, text lectures, solutions, and exam practice? TrevTutor.com has you covered!
We talk about rules of inference and what makes a valid argument. We discuss modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplification, and conjunction.
#DiscreteMath #Mathematics #Logic #RulesOfInference
LIKE AND SHARE THE VIDEO IF IT HELPED!
Visit our website: bit.ly/1zBPlvm
Subscribe on CZcams: bit.ly/1vWiRxW
-Playlists-
Discrete Mathematics 1: • Discrete Math (Sets, L...
Discrete Mathematics 2: • Discrete Math (Countin...
-Recommended Textbooks-
Discrete and Combinatorial Mathematics (Grimaldi): amzn.to/2T0iC53
Discrete Mathematics (Johnsonbaugh): amzn.to/2Hh7H41
Discrete Mathematics and Its Applications (Rosen): amzn.to/3lUgrMI
Book of Proof (Hammack): amzn.to/35eEbVg
Like us on Facebook: on. 1vWwDRc
Submit your questions on Reddit: bit.ly/1GwZZrP
Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.
Check out my new course in Propositional Logic: trevtutor.com/p/master-discrete-mathematics-propositional-logic
It comes with video lectures, text lectures, practice problems, solutions, and a practice final exam!
0-1000 from the first example to the second example
i swear......we need more examples...any suggestion videos?
@@andremwaura1684 "discrete math examples" on CZcams
I hope this video will help me for our exams tomorrow. Wish me luck guys
I too have exam of logic tomorrow
good luck to us
Jorge Martinez, II I have it this Friday lol
tommorow
@@gpakkol6682it turned out well
mine begin in 3 weeks from today
This really solidified things for me. I was confused about this part in class, thank you!
Thank god for CZcams and good people like you. My professor runs through this stuff in about 2 min and then just expects us to know how to do proofs like the last one you did.
You're the best. I almost gave up on this math class. Thanks to you. I am starting to understand the concepts.
This is golden! Thanks for mentioning the NAMES of the methods, my teacher just calls them "figure 1.11 lemma 12" and so on. So confusing.
Hi, I am confused about when we can use addition (as in example 2 for step 8). Why do we introduce addition and when do we use it in general?
(To my knowledge) Anyone who may need this in the future: Addition can be used to make a statement bigger. I saw a great example where it's explained like: Jackie likes pancakes (Premise). Use addition to say Jackie likes pancakes OR dirt. It doesn't matter that Jackie doesn't like dirt, because the Jackie likes pancakes is true.
He is adding NOT L to NOT S so that we can use modus ponens to prove that "R or F".
NOT S or NOT L --> R or F (this is from line 6/7)
NOT S or NOT L (Got this from adding NOT L to the end of line 4, NOT S. Doesn't matter if NOT L is true or not. It's an or statement)
Therefore, R or F must be true.
Word example:
if Jackie doesnt like candy or doesnt like pears, then she likes apples or chips.
Jackie doesnt like candy or doesnt like pears.
Therefore, jackie likes apples or chips.
Would it not be "Jackie likes apples AND chips instead of OR? I dont know if I misunderstood. @@kaminvdi
Thank you a lot, you saved me. My college professor has a lot of knowledge but he likes to make the logic course overly complicated and abstract, not teaching anything at all. You have saved my course.
Same here, we are the ones to find the solution to the dilemmas.
amazingly detailed! cleared all my confusions. Thank you so much!
TrevTutor saving my DM univerisity module 6 years before it started! THANKS SO MUCH ! It makes so much more sense when explained like this ♥
this video is great, really helped me out. loved the hard example at the end and how simple you make it.
You are the best tutor I have ever seen, Good Work, Thanks indeed and wish you a happy wonderful life!
Could you please provide an additional sheet of Q&A for this video. It was very interesting and would love to have some practice with more examples
Hi, you're an amazing teacher. Without you my discrete structures course would have been a complete nightmare.
I have liked, subscribed as well as shared it with my whole Discrete class. :D
Keep up the good work, sir. :)
انت كنت aast ?
Thank you TrevTutor I believe you really do help a lot of people that previously did not have the opportunity to study further due to financial issues or time constraints etc.
You're an amazing teacher!
With such a soothing voice :)
I second this
I third this
🤭🤭
I fourth this
I LOVE YOU SENSEI 😍😍😍 this is the easiest to understand explanation
I'm gonna need you to make the way you wrote "contrapositive" into a font because it looks so satisfying.
contraceptive is a better word :P
You're a beast.
Can you please make a video about turning formulas into DNF or CNF (not necessarily full) without truth tables ?
u found one yet?
@@مانجاه he is properly died by now if u want a website that can turn DNF to CNF or CNF TO DNF. massage me
@@basam1459 ya send me the link here
Awesome video man, by chance the examples you went over were in my tutorial today and it all makes sense now
"Yeah, it's not always super straightforward "
Hey, woah, easy with the big guns.. ouch.
Really awesome lecture, tho, thanks man..
thanks. you explained it very well... really gonna help me for tomorrow's test!
The grate work when you help people forever .
The grate work sir done its since 4 year people are still using this video.
🙏🏻😍😇 and have a easy method .
This was a great introduction and I followed it well up until that second example which had me totally flummoxed, though I can see how you got there. Thx for sharing.
(Best of all time )discrete math videos!!! keep going!!!
Thanks for making it so easy to understand!
Thank you for your explanation. It is easy to understand.
How do you know that its a tautology though unless it says so or if you use a truth table to prove it...
For number 5, could you use MTT on 1 and 4 as well to get R and F?
I feel like text books skip the parts that make a lot of rules in math make so much more sense when mentioned by a person. I read all of the rules from mine and was just like "...."
This made them make more sense by adding a few words the books left out lol.
Finally, it took four separate explanations for me to figure it out. Thanks!
Very helpful, thank you so much.
simply amazing! Thank you!
I didn't understand step 8 where you used 4 and addition, how did you know that you need an addition and why you chose "not S" with "not L"?
Because I wanted to use Modus Ponens to get to the consequent and finish the proof. The rules never tell us what to do, but they tell us what we can do. We still have to keep in mind where we're trying to go and what we can do to get there when we do these proofs.
Mia Q, if you use the conditional law on step 6 instead of the DeMorgans law, then on step 7 use the DeMorgans and Double Negation, you will get the following result: (S AND L) OR (R AND F). Then you can apply the Disjunctive Syllogysm from step 4 and 7 to get (R AND F). From there you use the Addition Law and get R. This is not the approach TrevTutor used but I thought it might be good to see two examples to grasp the addition.
Johan Rönkkö *McCarran
you're right johan ronkko (that's not confusing)
Johan Rönkkö You made some mistakes. :) From (R AND F), you don't get R with the Addition Law, also there was some other mistakes.
Thank you, God bless. 😊
Thanks watching this a few times it starts to make more sense :D
Thank you so much. Really helpful
This is a really great video and I'm glad I watched it; but I feel the premises should be in lower case, since in the last example I thought the F is a premise instead of False.
that was awesome. points well explained and easily understood. Thanks so much. would you kindly help me proove the first absorption law using truth tables. Thanks in advance
YOU are an absolute friccing legend, thanks for this
Very nice video with a clear explanation. I'm curious about the app you use for this "whiteboard". Much clearer than what I have.
Excellent explanation bro!!! Loved it.
Automatic sub.... Thanks man you really came through clutch with this video.
i used fewer steps in the last exercise: ¬s is true so s ^ L = F which would make ¬R v ¬F also F for premise 1 to be true which means both ¬R and ¬F are False which makes R true. i'm not sure what specific rules would apply for each step though
thanks TheTrevTutor.
would it be a valid step to go from ~ (S^L) --> (R^F) to ~S --> (R^F) & ~L --> (R^F) using ^E/Simplification as the justification? Or is that illegal (and if it's illegal, why?)
Thank you very much. It help us very much
Reviewing for the test later. Last minute!
Hello, in simplification if the premise are ~p ^ ~q, then what is the answer ? is it ~p ? thank you so much.
awesome introduction to this topic!
superb explanation! Thanks :D
Thank you for making this video
thank you very much. got it
Here's another, slightly longer, proof of the second example:
1. (ㄱR∨ㄱF)→(S∧L) Premise
2. S → T Premise
3. ㄱT ∴ R Premise & Conclusion
4. ㄱS 2,3 MT
5. S∧L assumption for Indirect Proof (Reductio)
6. S 5 Simplification
7. S∧ㄱS 6, 4 Conjunction
8. ㄱ(S∧L) 5-7 Indirect Proof (Reductio)
9. ㄱ(ㄱR∨ㄱF) 8,1 MT
10. ㄱㄱR∧ㄱㄱF 9 DeM
11. R∧F 10 DN
12. R 11 Simplification
I know you posted this a while ago but I want to thank you anyhow. This reply helped me check my own work and also gave a really great example of how to post a clear to read proof inside a youtube comment. I wasn't sure how to communicate what i was writing on my notebook when typing things out and this reply really helped clear things up.
@@nielsnielsen1360. I'm glad to read that! :D It's really cool when you receive positive feedback on something you didn't even remember you had written xD; also, I get to see my past comments and feel as if they were mine but from someone else.
can you help me with my assignment
In the second exercise, I used not(s^l) for step 5, allowing me to reach the conclusion in 8 lines instead of 10. If you already have not(s), then you automatically have not(s^l), yes?
Is there a name for that rule, or is it just the definition of and?
not(s^l) isn’t logically equivalent to not(s)
not(s^l) is logically equivalent to not(s) [or] not(l)
That’s by DeMorgan’s Laws. That was a good try though definitely insightful
Amazing video!
in the last example, if we would entail L would we write L as an answer?
Tq sir
I can understand only rules not problems plz upload more problems....
Thanks for much for this. Do you have some material for rules of inference for quantified statements
thanks helped me a lot !
My lecturer requires only the use of inferences not the laws of logic is there a way to do the last question using laws of logic?
this was really helpful.....but could you make an examples video for these rules of inference?
Have a problem with example 2 in step 8. Where are disappeared R^F?. Because additional is when you have one leter P after you get it P or Q.
Omigod!! Thank you for making this video!!!
Thank you! 🙏
Can we use Simplification Rule in place or we must have a separate premise to use it? For expample:
(not R or not F) then (S and L), are we able to convert this to (not R or not F) then S?
A premise is needed. When you don't have the premises, you use the simplification because you are treating all the lines of the truth table. When we use rules of inference, we are only interested in one line of the truth table, the line which obey the premises.
Thanks, where can i find a video about imply introduction
Thank u.. Nice explanation..
bro am not able to get the problems done . Will practising the laws improve the way i solve problems
This is the very video if everyone watches and masters the world will be a much better place.
Thanks a lot
You are love broo!!! Thanks for that
DO you have a video for inference rules for quantifiers ?
Thank you so much for this video and the whole course! My teacher cannot hope to be as good at teaching as you are.
Do you think it's possible to do the last problem without the logic laws and only the rules of inference?
Yes, but we'd need a few more rules to make it work.
TheTrevTutor Just wanted to jump on the thank you bandwagon!
Great work man, you have really helped me out in my Discrete Structures course. Thank you so so much :)
I hope you're profiting off this service in some way or another if that is your ultimate goal.
Anyways, kudos.
thank you!
thank you, boss... İt will be helpful.
Nice video, thanks alot
hi can someone explain how did the addition part happen in the last example :
good way of teaching
thank you so much
WOOOO ..U MADE IT SO EASY
Nice explanation 😊
5:08
Happy face amazon LOL
At 11:30 , can you please explain the addition step? For addition to work, you must have ~S and ~L alone, but only ~S was alone so where did the ~L come from?
Thank you.
he is referring to step 4 not 7
I greatly appreciate all the you're doing to help teach those who come asking for help.... but DAM. This is still not enough.
nice video man really appreciate it
If its pvq can we use addition rule and write it as p? Or is it only true for the other way
Only p -> pvq.
If you want to do pvq ->p, then you must show p->p and q->p.
Hope this helps me in my exam too
more meaningful thanmy in - class lecture
Thanks for this. I'm definetly willing to pay $10 for ebooks!
KingHerring ok
Give me😂😂
Hi @TheTrevTutor, How can from notS in line 4 become (notS or notL) with an addition rules?, i still don't get it :'(
well done @thetrevtutor
u r the best
thnx alot man its mean alot
4 mins and i m in love
wow i really got it
Really thanks
what I did was this:
Modus Tollens like you started
then I took ~S, and used it to show that (S and L) is wrong
therefore we have ~(S and L)
[(~R or ~F) => (S and L)] and ~(S and L)
therefore ~(~R or ~F)
therefore R and F
therefore F
therefore R
@TheTrevTutor
What would be the process to solve the following:
1) e V a
2) e → ¬p
3) ¬p
∴ a
Oh man, it's been a year. But it would probably have been 4. e (2,3 MP) 5. a (1,4 SIMP) or something similar.