An Introduction to Propositional Logic

An introduction to propositions, truth tables, and logical equivalence, and logical operators — including negation, conjunction, disjunction, and implication.

***

0:00 Logic
0:54 Propositions
1:35 Negation (Not)
1:59 Conjunction (And)
2:26 Disjunction (Or)
3:01 Truth Tables
4:21 Exclusive Or (Xor)
4:50 Implication
7:00 Equivalence
9:19 Biconditional
9:55 Conclusion

[AsadbekErgashev-hzny]

My professor could not explain it in 50 minutes and you did it in 10. Thank you

[vikaskumarsingh]

I am a Computer Engineering Student. I have watched all your videos and discovered that your videos are the best in the topic. I was really upset seeing no recent uploads. Glad to see you are uploading again. All the Best Bro and keep continuing your work because you are making an Impact.🤗🤗

[Dent]

This deserves more views! Excellent explanations!

[pfever]

I recognize that voice, CS50 :) I'm glad that finally your channel is taking off!

[shashankhegde]

One of the most underrated channel. Please don’t stop uploading

[SaniFakhouri]

For conditionals, another logic term that's commonly used when the Proposition is false (the statement that goes with the "If" part) is that we say the Conditional is "Vacuously True".

For example, if I have the conditional statement "If I get an A on this exam, then the reason must be that I studied hard", it follows that this statement would be vacuously true if it turns out the proposition is false (the "I get an A" part). To continue the example, if I actually got a different grade like a B on the exam, then the statement is still, oddly, 'vacuously' true since the only way to disprove it would be for me to get an A for a reason other than studying hard (like maybe cheating off of other people!).

[naufalihsansriyanto]

So easy to understand, you did a good job. This video deserves more views!

[punditgi]

Best introduction on the internet for propositional logic! ❤😊
Please make many more videos!

[WitchelsArtSchool]

I was having a hard time understanding the logics of implication, the colorful robots helped me a lot to understand the topic completely! I loved the video.

[belmintuzlic]

I just discovered your channel, best of luck to you, I learned so much watching your videos. And I can say for myself that I am a decent programmer.

[chaomatic]

I learnt a lot of those statement overy life, but never thought of 'If and Only If' as being bidirectional. Now that you mentioned it, it looks so obvious!

[orange_text]

and when the world needed him most, he returned

[joshng]

Good content, glad you're back. Keep it up.

[xFireStyle]

I thought your voice was familiar and then found out you're Brian Yu from CS50! Very helpful man! keep the work going!

[waddupbro]

It's always great when you find a precious gem hidden behind the YouTube algorithm

[toblobs]

Damn, when we needed them the most, they showed up. Keep making videos!

[AlexApol]

Inb4 this channel absolutely explodes. This is top tier content.

[cressdrg]

Recently came across your channel and I am binge watching. You are a great content creator, please keep it up!

[user_aya]

Can you show us how semaphores and monitors work please ?
With this sublime presentation of yours for sure

[csanid]

thank you brian for such great content! your CS50 intro to django btw is invaluable!