Rules of Inference for Quantified Statements (Part 1)

Discrete Mathematics: Rules of Inference for Quantified Statements
Topics discussed:
1) The Universal Instantiation rule.
2) A problem based on the rule of Universal Instantiation.
3) The Universal Generalization rule.
4) A problem based on the rule of Universal Generalization.
Follow Neso Academy on Instagram: @nesoacademy(bit.ly/2XP63OE)
Follow me on Instagram: @jaspreetedu(bit.ly/2YX26E5)
Contribute: www.nesoacademy...
Memberships: bit.ly/2U7YSPI
Books: www.nesoacademy...
Website ► www.nesoacademy...
Forum ► forum.nesoacade...
Facebook ► goo.gl/Nt0PmB
Twitter ► / nesoacademy
Music:
Axol x Alex Skrindo - You [NCS Release]
#DiscreteMathematicsByNeso #DiscreteMaths #RuleOfInference #QuantifiedStatements

[@UnseenOct]

You're a life saver!! My textbook did not explain this well

[@JD-eb5qu]

Yes iam in same your situation

[@ibrahimmkhawajaa]

been two years, did u graduate ?

[@UnseenOct]

@@ibrahimmkhawajaa 4 classes left!

[@coding.tutorial3713]

Extraordinary explanation sir❤

[@sajalqasim3540]

jazak Allah SIR

[@laibasamreen]

Very great Explanation Sir🥰🥰

[@spaul484]

thank you so much its one of the most useful channel for me. the beSt one ngl.

[@silverstone9952]

When will this playlist get completed ?Also when this logic chapter will be completed ?

[@warrior-mg2kj]

Good Teaching 🤩💯

[@saadidriss9402]

Arbitrary doesnt make sense to me. If arbitrary c can equal any random x value then isnt it the same as x? Arbitrary c = x

[@snehanangunoori7838]

thank you so much!

[@reniersteytler1859]

Amazing

[@Prasoonvarshney16]

Thanks sir

[@athiyanavneeth7152]

What to do for 2 place predicate

[@abuhurerarohani354]

why is there for every x px is true then some c has to be true?? if there is no quantifier some or all then how did you that some c is true?????

[@JD-eb5qu]

Useful tnx sir

[@satishchandramedi9729]

I wonder why there are mathematicians named complex names to propositional and predicate logics such as hypothetical syllogism, Modus tollens bla bla.... Instead of confusing students with Hypothetical Syllogism they could have named it as Transitive Property of Propositions which is simple to read and easy to understand.

[@jpatel0924]

Syllogism means a form of arguing in which two statements are used to prove that a third statement is true, for example, ‘All humans are mortal; I am a human, therefore I am mortal.’
I think if you know meaning of that English word it helps in understanding it better.

[@rajeshprajapati1851]

So, anyone remember Mia from lecture 31 ? I tried that and found that argument is valid. Right ?

[@shashank_kishore_]

❤❤❤❤❤❤❤❤❤❤❤❤

[@jyotithakur24]

◉‿◉◉‿◉

[@v.ningthoujam7830]

Thank you so much.