It's 2021 and here I am finding this tutorial super useful. He explained it veerryyy well until a person like me understand what is propositional logic. Everything was explained step by step from the beginning and delivered us (the viewer) to some great points and conclusion. Thank you!!
@meeene4 That is a tricky distinction. Basically, semantics is about meaning (which in this case is about whether a given proposition is true or false), and syntax is just about the formal rules for manipulating symbols. Semantic entailment involves questions like "If A is true and B is true, does C have to be true?". Syntactic entailment is about what you can derive from the inference rules. There's a close overlap but they are distinct concepts of entailment.
Thank you very much for making these videos, they are very well made, easy to understand and informative. These were integral to passing my logic class in college, thank you!
@SteveShaw008 Mmm... "John is" is not a propositional claim. Nor is "wearing a red coat" or "stolen a jeep". Only when you put a subject term and a predicate term together do you get a proposition that makes an assertion that could be true or false (which is the defining characteristic of a proposition).
@xXHellScreemXx Yep. At least, computer programming is usually based on Boolean logic, and Boolean logic is just a form of propositional logic. DeMorgan's rules, for example, are basic theorems of propositional logic, but every computer science student knows them.
nice visual and great fresher; hope there are more and hope it breaks down how to breakdown real world arguments and to build some others (e.g., in research papers)
I need help pls, what’s the relationship between the sentential connectives such: conjunction, negation with the prepositional logic? Also, what’s the deal with Tautology, contradiction & contingencies with propositional logic? I’m a new student to this Academic filed and I feel lost 💔😔
Question on how to interpret the propositions, "John is wearing a red coat and he's stolen a jeep". For it to be true, must the act of wearing and stealing occur concurrently, or can wearing and stealing occur linearly?
It says John IS wearing a red coat. It doesn't matter if he was wearing it during the theft, or if the theft even occurred, in order for that component claim to be true or false. It only matters whether he's wearing it now.
if it's boring then why are you even learning to program in the first place? propositional logic is far more than half of what programming is. programming has just as much to do with propositional logic as arithmetic if not more so.
you are contradicting yourself, it's not needed but I need it. You can only be a good programmer if and only if you make propositional logic part of the way you think, otherwise find a different career
@@enkisonofanu2301 everything else is boring too. i think the streets are gonna be my first home soon with my behavior it appears i don't like programming beacuse i don't like the complicated problems. and everything has the complicated problems. i found it interesting to make simple beginner scripts but i'm not encouraged with learning such stuff as (btw i'm gonna be talking only about C# in this comment) structs, delagate, ienumerator vs ienumerable. and the reason why i don't feel like, is because the explanations on the sites. they are always weird and my brain just can't understand what it means in the first try and i end up spending 1 day to realise what some kind of function/method(what's difference between them?) type means. i like the programming, but i hate the fact that it takes me long time to understand and find the difference between some stuff (difference for example of struct and class if i call static void thing) in any other way, programming is quite interesting. it's literally engineering but instead of seeing 3d objects you see a huge amount of numbers and parenthesis. and everyone would like to create stuff IF they knew what they make it from and these problems are calling that instinct of "no i don't want to begin learning/doing that". i think i'm behaving like that because some dumb teacher made a code and made it extended to my behavior script (teachers teaching so bad to the point where i 'm just scared of learning anything ).also it's not just laziness to begin, but also my brain not working because of that damn teacher changed non static method of thinking and now i gotta call it many times to learn something. but yeah, as you can see in a year i studied a bit of C# and did some basic codes on unity. making basic codes with little knowledge takes alot of time on very basic sitautions and problems, like calling non static class not knowing what the static class is (yes, i watched beginner tutorials and i saw everything but i always kept forgetting "small details" about them untill i actually started using them) it took me so much time to make this comment i forgot its beginning and the context oops
@@vadiks20032 You are waffling, stuck at Nught and moaning like a baby. This channel is not here to teach you about c hash or c dash or dog poo, it's here to show you how to think, except that the guy uses propositional logic which is somehow similar to binary logic used in digital electronics, otherwise, if you want to crank your brain into gear after being serviced by a bad teacher you need to get off your sorry butt and engage yourself with the learning process, though you appear to be confused as your cognitive process is all over the place add to it you are probably depressed. I suggest you take stock of yourself, see a doctor or psychologist and be with people who see every obstacle as a challenge to overcome instead of a step to failure, and get yourself some programming for dummies books to learn from and eat lots of veggie and fruits and that is the way it is
It's 2021 and here I am finding this tutorial super useful. He explained it veerryyy well until a person like me understand what is propositional logic. Everything was explained step by step from the beginning and delivered us (the viewer) to some great points and conclusion. Thank you!!
I'm a 13-year-old that enjoys/is good at maths and i decided to start learning to program.
Thank you for this information.
2:06 boy that escalated quickly.
God I fucking hate my logic class
Thanks for video tho
lol
@meeene4 That is a tricky distinction. Basically, semantics is about meaning (which in this case is about whether a given proposition is true or false), and syntax is just about the formal rules for manipulating symbols. Semantic entailment involves questions like "If A is true and B is true, does C have to be true?". Syntactic entailment is about what you can derive from the inference rules. There's a close overlap but they are distinct concepts of entailment.
Thank you very much for making these videos, they are very well made, easy to understand and informative. These were integral to passing my logic class in college, thank you!
Perfect presentation ❤❤
Best explanation of compound propositions. I'm just not sure when diagraming to treat them as individual claims or as one proposition?
This is wonderful, i hove you won,t delete these videos in the near future
@SteveShaw008 Mmm... "John is" is not a propositional claim. Nor is "wearing a red coat" or "stolen a jeep". Only when you put a subject term and a predicate term together do you get a proposition that makes an assertion that could be true or false (which is the defining characteristic of a proposition).
@xXHellScreemXx Yep. At least, computer programming is usually based on Boolean logic, and Boolean logic is just a form of propositional logic. DeMorgan's rules, for example, are basic theorems of propositional logic, but every computer science student knows them.
nice visual and great fresher; hope there are more and hope it breaks down how to breakdown real world arguments and to build some others (e.g., in research papers)
I need help pls, what’s the relationship between the sentential connectives such: conjunction, negation with the prepositional logic? Also, what’s the deal with Tautology, contradiction & contingencies with propositional logic? I’m a new student to this Academic filed and I feel lost 💔😔
Thank you very much
@SteveShaw008 That's good, I wasn't thinking along those lines! (Neither would most intro texts, though, so I don't feel too bad :) )
Question on how to interpret the propositions, "John is wearing a red coat and he's stolen a jeep". For it to be true, must the act of wearing and stealing occur concurrently, or can wearing and stealing occur linearly?
The concept of Concurrence and Linear are getting dumber and dumber everyday at a theological level without any propositional perspective
It says John IS wearing a red coat. It doesn't matter if he was wearing it during the theft, or if the theft even occurred, in order for that component claim to be true or false. It only matters whether he's wearing it now.
Thanks for making and sharing this content.
this is great, thank you
Ecellant work ....keep it
good stuff
nice
Boolean logic in a nutshell?
6466
oh great, i feel this boring, not needed and time spending even though i need it for programming
if it's boring then why are you even learning to program in the first place? propositional logic is far more than half of what programming is. programming has just as much to do with propositional logic as arithmetic if not more so.
you are contradicting yourself, it's not needed but I need it.
You can only be a good programmer if and only if you make propositional logic part of the way you think, otherwise find a different career
@@enkisonofanu2301 everything else is boring too. i think the streets are gonna be my first home soon with my behavior
it appears i don't like programming beacuse i don't like the complicated problems. and everything has the complicated problems. i found it interesting to make simple beginner scripts but i'm not encouraged with learning such stuff as (btw i'm gonna be talking only about C# in this comment) structs, delagate, ienumerator vs ienumerable. and the reason why i don't feel like, is because the explanations on the sites. they are always weird and my brain just can't understand what it means in the first try and i end up spending 1 day to realise what some kind of function/method(what's difference between them?) type means. i like the programming, but i hate the fact that it takes me long time to understand and find the difference between some stuff (difference for example of struct and class if i call static void thing)
in any other way, programming is quite interesting. it's literally engineering but instead of seeing 3d objects you see a huge amount of numbers and parenthesis. and everyone would like to create stuff IF they knew what they make it from
and these problems are calling that instinct of "no i don't want to begin learning/doing that". i think i'm behaving like that because some dumb teacher made a code and made it extended to my behavior script (teachers teaching so bad to the point where i 'm just scared of learning anything ).also it's not just laziness to begin, but also my brain not working because of that damn teacher changed non static method of thinking and now i gotta call it many times to learn something.
but yeah, as you can see in a year i studied a bit of C# and did some basic codes on unity. making basic codes with little knowledge takes alot of time on very basic sitautions and problems, like calling non static class not knowing what the static class is (yes, i watched beginner tutorials and i saw everything but i always kept forgetting "small details" about them untill i actually started using them)
it took me so much time to make this comment i forgot its beginning and the context oops
@@vadiks20032 You are waffling, stuck at Nught and moaning like a baby. This channel is not here to teach you about c hash or c dash or dog poo, it's here to show you how to think, except that the guy uses propositional logic which is somehow similar to binary logic used in digital electronics, otherwise, if you want to crank your brain into gear after being serviced by a bad teacher you need to get off your sorry butt and engage yourself with the learning process, though you appear to be confused as your cognitive process is all over the place add to it you are probably depressed. I suggest you take stock of yourself, see a doctor or psychologist and be with people who see every obstacle as a challenge to overcome instead of a step to failure, and get yourself some programming for dummies books to learn from and eat lots of veggie and fruits
and that is the way it is