Start Learning Logic 1 | Logical Statements, Negations and Conjunction

[@brightsideofmaths]

Don't forget to download the material: tbsom.de/s/sll

[@strai5150]

..Note that for a sentence to be a statement it is not necessary that we actually know whether it is true or false, but it must clearly be the case that it is one or the other. For instance, let us consider the statement: "There's life on some other planets in our galaxy". This is a statement, even though it is not confirmed whether there's life beyond the earth. Its truth value is unknown. However, this statement, like every other statement, has exactly one truth value: either true or false, but not both. Therefore, it is a statement.

[@ffar2981]

I was just about to ask this question :) thanks for answering in advance ;)

[@harshitrajput6865]

Thanks for pointing that out

[@evionlast]

I studied geography and received a brief introduction to logic while in Uni, and I believe it really helps understand how math works on an elementary level with formality.

[@IgorVladK]

great idea to have a foundational series!

[@rgshadow3813]

thank you, going into my second year of high school and this helped learn the basics immensely

[@brightsideofmaths]

Thank you for your support :)

[@uzilover5774]

Thank you so much! Going into my senior yr in high school from precalc to Complex Analysis with your help!

[@brightsideofmaths]

Glad I could help! :)

[@gold_friday]

I knew it! I learned about it when get into Javascript basic.. So much fun!!

[@treyh21]

Thank you so much for sharing your knowledge!

[@brightsideofmaths]

Glad it was helpful!

[@saii221]

super underrated

[@brightsideofmaths]

Thank you :)

[@enasgeravi4372]

Thanks

[@karolinabednarczyk3930]

More videos Please! ❤

[@brightsideofmaths]

Yeah! In production :)

[@raheem2845]

I will show that numbers are built from images Example , 4 always represents 4 images, like 4 squares for instance. To be specific numbers are "labels" for groups of images 1. The main idea here is that maths is built from images (a) example , geometry is clearly made of images b) example 2, We claim numbers are built from images too, as say 4 , always represents 4 images, like 4 squares for instance. C) imaginary numbers are connected to images too , which is why they have applications in physics D) In general any mathematical symbol that comes to mind is connected to images too.

[@meilyn22]

Are you hallucinating?

[@desrepeerc206]

Hi! This is my second time watching this series, and I'm wondering if the auto-generated closed captions could be available. Some of the videos already have this, and it really helps me out. Thank you.

[@brightsideofmaths]

Mhh, the auto-generated ones exist or don't exist. I don't have a saying in this sadly.

[@desrepeerc206]

@@brightsideofmaths Thank you for the reply :)

[@doyunnam3124]

Thank you! circuit explanation for 'and' operator is good to understand! And I want to know more deeply about predicate.

[@jobaidajarin5725]

Thank you Sir.

[@HaCkeMatician]

great, thanks !!

[@5678hardcore]

Hello great videos, a question, what books will your recomend for this series of videos?

[@brightsideofmaths]

That is a good question. Every book about the introduction into mathematics would work.

[@5678hardcore]

@@brightsideofmaths thank you!

[@brightsideofmaths]

@@5678hardcore Maybe Kolmogorov's Introductory Real Analysis.

[@5678hardcore]

@@brightsideofmathsooh thanks, i will have a look to that book

[@jobaidajarin356]

Thank you!

[@brightsideofmaths]

You're welcome!

[@ahlembousetla3502]

Thank you Pr**********😇

[@FBP-ry3xu]

Hello, I have a question regarding logic. The wikipedia page for "Mathematical logic" has a subsection "Formal logical systems". What system is this?

[@brightsideofmaths]

First-order logic

[@GoodGodGrimReaper]

Difference between propositional logic AND predicate logic, relational logic or class logic?

[@brightsideofmaths]

Not an advanced logic course here ;)

[@astroid-ws4py]

Intuitionistic/Constructive Logic and Many-Valued Logic would be fun ;-')

[@krishnendusinha4409]

Sir could you suggest accompanied text book which goes well with your excellent videos?

[@brightsideofmaths]

You can use my Linear Algebra book linked on Steady.

[@jajadolly]

Hello, could I get some help because I don’t understand the true/false board. Like how do you know if something is false or true when writhing it in it? Thanks

[@brightsideofmaths]

Hello! Thanks for the question. The boards just show the definitions. They make sense with respect to our everyday logic but one should read them as definitions.

[@adelamoura1463]

I love you ❤️ You are the best

[@zdenkaherova6581]

What do you mean by "living in a strange world" and considering that 2+2=5? With saying we should consider 2+2=5, you illustrated the necessity to take the whole true table into account. I don't understand what you meant.

[@brightsideofmaths]

What do you mean?

[@zdenkaherova6581]

​​​​@@brightsideofmathsMinute 5:36 and on. "Not A should be a true statement." And that's what it is, right? Further you say: "However, that's not what the negation does, it considers both cases." Here is what exactly I don't understand: negation considers both cases. That means that in general, the statement can be falls after the negation of a falls statement? In other words: Are you generalizing, or are you talking about the statement: "2+2=5"? And what do you mean by talking about a "strange world"? I suppose, if "2" is defined to mean something else that one more than 1, the statement "2+2" could be equal to 5. Is that the case of a strange world?

[@brightsideofmaths]

@@zdenkaherova6581 The negation flips the truth value :)

[@zdenkaherova6581]

​@@brightsideofmaths, ok, I guess it's going to get clearer further on. I still don't understand this sentence. But nevermind. 👍

[@brightsideofmaths]

@@zdenkaherova6581 In our common mathematics, 2+2=5 is a false statement. If you define some other mathematics where 2+2 = 5 is true, then I call this a strange world. The logic does not care in which world you live, it works nevertheless.

[@enasgeravi4372]

جزاك الله خيرا

[@thekinghass]

Will this series be regular

[@brightsideofmaths]

I will upload the whole series over the next days.

[@TheIronicUsername]

@@brightsideofmaths thank you !

[@ykrjanonimaths5084]

Why pluto is false ??

[@brightsideofmaths]

Pluto is not a planet :D

[@idirisxaashi8965]

As an example

[@ComfortMensah-qu4db]

Please can you use p and q

[@brightsideofmaths]

Yes, I can.

[@ComfortMensah-qu4db]

Logic

[@brightsideofmaths]

Correct!

[@juannunez7566]

subtitle plis

[@brightsideofmaths]

Which language do you want? :)

[@juannunez7566]

@@brightsideofmaths Spanish subtitles for all your videos, it's a super good channel

[@dianabodenstein1737]

school sucks ok! I dare you to say it doesn't

[@dirttyclean]

101🤔

[@brightsideofmaths]

Yep :)

[@AhmedAbdi-cl3bq]

Hope you enjoy my video I've been to school and I have passed the 5 key subjects I am a all A* student I've been to school for highier tier with A* mathamatics A science B history C geography well Nice that I am a all A* student I love to enjoy to read books my favourite is definitely rich dad poor dad by Robert kiyasoki I am a rich dad by the way Nice!After leaving I've joined private school in the nederland and devoted my time to carpentry not so easy it is indeed to think a carpenter is only a carpenter any way I've been to private school and I have finished carpentry for a hons degree so farwell everything and let the birds fly I am indeed only not a carpenter but a carpenter.

[@callpxi3133]

I will never understand how this truth table works

[@brightsideofmaths]

It's a definition. Nothing to "understand", just to remember and accept.

[@Dupamine]

What does he talk about at 5:24 can anyone explain?

[@brightsideofmaths]

I talk about that the negation exchanges the truth value of a statement :)