Inference rules with quantifiers

[@dmkoslicki]

Note: at 06:10, I intended to draw parenthesis around the implication, but apparently forgot. It should be \forall x ( H(x) -> M(x) )

[@calvinalfredo]

wow this is really underrated wtf. thanks a lot!

[@arasukiasyan1]

you made this very simple thanks

[@sereenalq]

Really nice explanation it took my lecturer hour to explain it I wonder why there only 400 subscribers
at least the view should be more than 100k

[@himom5914]

whats up dr .. i just wanna say you are amazing . i hope you one day translate your videos to arabic and i am so excited how you explenation every single section .. thank u dr

[@manthanthakkar7686]

Wow sir, this is just amazing. 🙏 thank you

[@ansarnurzhanov5917]

Amazing explanation, thx

[@santiagoalzate3446]

Quick question, is it just a norm to use implies when using the for all quantifier? Or why would it be wrong to say for all x: H(x) and M(x) when translating the example?

[@asr84]

Thanks, well explained.

[@Maher-gw7in]

Thanks ❤