PROOFS with TRUTH TABLES - DISCRETE MATHEMATICS

[@Trevtutor]

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!

[@S.Athena]

My math lecturer is pretty good at explaining stuff but then he complicates it and I end up not understanding the material, TrevTutor literally saved my life.

[@phinehasborketey5441]

Same here

[@chriscicala324]

These videos are saving me.... I really really am grateful

[@ABCEDFGH]

Same

[@sneezygibz6403]

I watched your videos and you taught me everything i didnt understand in my lecture that I attended for over 12 weeks

[@janetcueto1600]

I got to say I have been going to my lecture for 2 weeks now not understanding a thing !! I have watched 2 of your videos and everything is making sense 💪🏼💪🏼Keep up the amazing work . Thank you !!!!

[@vision0618]

I was about to drop this class until now. Thanks for this video

[@TC-mp7vn]

Always have your videos on 1.25 speed, love them! Thanks!

[@Mujahed.]

Thanks for the tip

[@mahaa8013]

NO JOKE you are a true SAVIOR!!!! THANKS A LOT❤️❤️

[@johndm.a0252]

I love you. You taught me more than what 7 weeks of university did.

[@csag7803]

Love from the Netherlands! I've got a test tomorrow about predicate logic. Thankfully your video's are much clearer than my teacher's ones.

[@neerajmahapatra5239]

Well explained nice handwriting every thing is very clear...thanks...

[@martijn130370]

Dear TrevTutor you are really helping a lot with all of your videos, thanks so much!

[@Mujahed.]

I cannot thank you enough for your help... I have an exam tomorrow & I'm speed running through ur videos to pass lol

[@axkane]

Forwarded to 8:25 cos i thot he was drawing a traffic light and had to go back a bit to figure out how that happened!😂😂

[@SaintMando98]

WOW. explained wayyyyyyyyyyyy better than my professor. Thanks!! I have Hope for this class now

[@akula_zko]

5 years omg.. tysm teacher u really helped me 😭❤️❤️❤️

[@hunterhussain809]

I SEARCHED FOR SOME EXPLANATION ON KZbin AND AFTER TWO VIDEOS LATER I WAS LIKE, NAH... I DON'T NEED A TEXT BOOK ANY MORE 🔥🔥🔥🔥 YOU ARE DOING A GREAT JOB. KEEP IT UP

[@filesfiles1910]

I wish I could send you my tuition for this class. Your videos are infitely better than my professor moving around the book under the video projector.

[@roniejabello5800]

I really understand this now, thanks

[@peterchen3458]

100% awesome! Wish you can make more tutorial in math/CS.

[@goofsambo12]

Thank you so much. all these videos are great and you explain them very well.

[@fangzhang7434]

Thank you for the video! Very clear and precise!

[@aboutthereality179]

Thank You Trev. Great explanation once again.

[@Shiroyashasama]

at 6:27 why is the p column 1 and 0 and not 11,00 like we normally do to truth tables?

[@blessyljaesa.sarael7702]

You're great sir! Thank you very much! This video helps a lot! God bless!

[@NigatsuNeko]

Hello! Thank you very much for the video. You explain clearly and straightforwardly. (Wish I could say the same about my lecturer...) ANYWAY. I have a question. I find it easy to prove/disprove propositions using the truth table, but what about creating equivalent statements? Say I have x=>y and I need a different expression with the same truth values. What is the fastest way of going about that using the truth table? Is there a method that works for finding any equivalent expression you need?

[@munauarjarif7196]

i am gratefull....thnks a lot sir for uour awesome videos

[@petitemammie2812]

This is really helpful ..thank you

[@aimanwisma7221]

This video saved me, thank you!!

[@tahaanouar2453]

thank you so much very very helpful video I have a little question what are those three ways to proofing things ??

[@Trevtutor]

Truth Tables, Logic Laws, or Rules of Inference. There are some logical requirements and metatheory that has to be met to ensure that a system can use all three interchangeably, but that isn't covered here.

[@adamnajib3446]

You're saving my year !

[@celsiusfahrenheit1176]

You explained Boolean identities in particular DeMorgan's, I'm taking discrete math but I feel like I already know all this stuff from Boolean math and logic circuits, I do get stumped with inference and how to think about that in the context of natural language.

[@soumyagupta6871]

So good videos for the learners.

[@Albeit_Jordan]

6:55 To P or not to P... That is the question.

[@peshangahmed2484]

Don't hold it .. just P

[@sir_amen]

I didn't understand why not P and Q isn't opposite values of P and Q. In my copybook, I noted not P and Q like 0 0 0 1 but you made it 0 1 1 1. PS: Thanks a lot for the videos. I practice it every day.

[@fatimaalbayan7749]

Yeah ur right

[@youssef_uchiha]

you're under rated.

[@callumbudge3886]

Hi, I'm sure this has been asked somewhere before, but surely the truth table is built on the axiom of p or notp being true (1 being true)? It just seems like it's using a property to prove itself, or is the truth table itself built on something else I didn't catch?

[@bryan_lewis777]

Thank youuuuu!!!! You are very good!

[@ambiank4980]

Is There Any Video On Contingency? Thank You.

[@shanilprasad1521]

You're a god, subscribed

[@niceheartwillrise5087]

Great. Thanks

[@saqlainsajid4067]

Seriously why can't college profs teach as nicely as this?

[@habibhasanshakil9086]

Man you saved my ass in this semester. Better having a CS degree in youtube.

[@StevenAkinyemi]

Can we then say *"to be or not to be"* is tautology?

[@maticsleokas1785]

i like the leason keep it up

[@shahzarkhan7654]

Is implication and Conditional are both same?

[@Salamanca-joro]

Nice this sound easy

[@MrKB_SSJ2]

5:45

[@kinioffiji540]

if we have p, q, r and s....is there any other shorter way the truth tables become so big

[@Trevtutor]

Unfortunately not. 4 variables requires 16 rows.

[@MrKB_SSJ2]

3:15

[@shakurburton9358]

¬(p ˄ q) is equal to that of (¬p ˅¬q), meaning that ¬(p ˅ q) is equal to that of (¬p ˄¬q). Is this true or not?

[@Trevtutor]

Yes, that's DeMorgan's Law.

[@ArthurGomes1984]

Thank you, very very useful. So I can save time invoking DeMorgan's Law instead of proving it using a truth table.

[@hamids4550]

to be or not to be is a tautology :P

[@nullorigins]

"Any human has 2 legs or 3 legs." Stuck with this problem. Need to draw a table of logical operations, Am I watching the correct video?

[@Pages_Perfected]

day 1 of 3 {studying for final}

[@KienNguyen-ej6rc]

to p or not to p

[@kevinlu5992]

Cannot believe I spend tons of hours on the textbook and materials my teach provides but it doesn't click. I spend 10-20 minutes on a couple if your videos and everything clicks.

[@fatimaalbayan7749]

U r Wrong when u did (not p or not q) it Supposed to be F F F T because (p or q) is T T T F coz At least if one of them is true so it will be true {so } I think u made Mistake

[@MrKB_SSJ2]

0;52

[@supmethods]

Why is "Show that (p and ~p) is always false" a contradiction? Shouldn't it be "Show that (p and ~p) is always false", "Assume that (p and ~p) is always true", complete the truth table and since this results in a contradiction it must mean "(p and ~p) is always false".

[@sellyxxxalesana]

Thank u so much this video was very helpful! Subscribed

[@MrKB_SSJ2]

7:42