Propositional Logic - Part 1 | Mohammed Hijab 

This man is taking over the internet. I am flooded with his content. Great work, Sir.

*Muhammad Hijab named 6 books in his entire lecture part 1, which I'm writing below to help you:* *1) Kitab al-najat by Ibn Sena* *2) Kitab mihak-al-nazar fi al-mantiq by Al-Gazali* *3) Al-Mustafa min 'ilm al-usul by Al-Gazali* *4) Dar ta'arud el-tobgui by Ibn Taymiyyah* *5) Al-iqtisad fil i'tiqad by Al-Gazali* *6) Al-qistas Al-Mustaqim by Al-Gazali*

Jazakumullahu khayra for this brilliant content. On lighter note, brother Muhammad Hijab writes like an old school medical doctor

I really appreciate this way of online teaching because the students are making mistakes which we would’ve also made so it makes it more engaging. Otherwise, online lessons are a real chore.

I m studying Computer Science Engineering and i had this "Propositional logic" as a chapter in Discrete Mathematics.

the modus tolen examples such as "if it's made in Japan it's strong, it's not strong **therefore** it's not made in Japan" is actually sound, the fallacious version is "it's not strong **because** it's not made in Japan", the first version doesn't imply that only being made in Japan is a possible cause of strength, the second does.

I can't believe the timing! I was studying logic and I was searching for a Muslim speaker and now I have the best! Did you decide to do this after your discussion with the 2 guys in the park lol Alhamdulillah I am currently going through السلم المنورق and I realised I need a stronger foundation in English to be more efficient

What a beautifully simplified video for us at home where we can also reap the benefits! Alhmdulillah. Definitely will be participating in the ‘homework’ inshallah

رَبِّ أَعِنِّي وَلَا تُعِنْ عَلَيَّ، وَانْصُرْنِي وَلَا تَنْصُرْ عَلَيَّ، وَامْكُرْ لِي وَلَا تَمَكُرُ عَلَيَّ، وَاهْدِنِي وَيَسِّرْ هُدَايَ إِلَيَّ، وَانْصُرْنِي عَلَى مَنْ بَغَى عَلَى اللَّهُمَّ اجْعَلْنِي لَكَ شَاكِرًا، لَكَ ذَاكِرًا، لَكَ رَاهِبًا، لَكَ مِطْوَاعًا إِلَيْكَ، مُخْتَا، أَوْ مُنِيبًا، رَبِّ تَقَبَّلْ تَوْبَتِي، وَاغْسِلْ حَوْبَتِي، وَأَجِبْ دَعْوَتِي، وَثَبِّتْ حُجَّتِي، وَاهْدِ قَلْبِي، وَسَدَّدْ لِسَانِي، وَاسْلُلْ سَخِيمَةَ قَلْبِي

🎯 Key Takeaways for quick navigation: 00:18 🧠 Introduction to Propositional Logic 04:15 📜 Valid and Sound Arguments 10:51 🔄 Modus Ponens: If P then Q 14:05 🔄 Modus Tollens: If P then Q (Not Q), Therefore (Not P) 23:51 🔍 Introduction to Propositional Logic 28:05 🧠 Types of Syllogisms in Logic 41:38 🤔 Exploring Disjunctive Syllogism 51:22 🔀 Exploring Disjunctive Syllogism Made with HARPA AI

Love to see more of such courses !... also I like that its interactive n when they make mistakes then u clarify, it really helps me to learn too.

This was extremely beneficial. I'm eagerly looking forward to watching the next session. Thanks, and may Allah reward you and everyone else at Sapience.

Thank Allah, and thank you my brother Hijab for sharing this knowledge. It is hard needed these days. May Allah increase you and everyone at Sapience Institute for your efforts.

I love this so much. Mashallah, keep it up guys!

Peace be upon the beloved ummah. Jazak Allahu Khairun for this great content.

Teach not just logic but more broader subjects within critical thinking like research, writing, thinking critically, think innovatively in research, media bias and news analysis, science methods and results etc. Much more brosder things are covered in critical thinking books. I have more than 50 books on critical thinking, research, writing etc.

Very beneficial video, jazakallahu khairan

Salaams from South Africa 🇿🇦… we are awaiting your presence in laudium in 3 days MOHMMED … I’m hoping to meet you sir .

Jazaka ALLAH kheir

JazakAllahu khayran

Great lessons. Thanks

I’m reading Socratic Logic by Kreeft right now. Very beneficial. I think logic (not mathematical/symbolic) is a lost area of study that we desperately need today.

🎯 Key Takeaways for quick navigation: 00:00 The video introduces the topic of propositional logic and its significance. 01:28 Propositional logic is one of the branches of logic and involves studying logical rules and relationships. 04:15 The difference between a valid argument and a sound argument is explained. A valid argument follows the rules of logic, while a sound argument also has true premises. 07:43 Soundness of an argument can be disputed due to differences in understanding of truth and the justifiability of premises. 10:51 The concept of "modus ponens" in propositional logic is introduced, where if P implies Q, and P is true, then Q must also be true. 12:10 Viewers are encouraged to create examples using "modus ponens." 17:20 The concept of "modus tollens" is introduced, where if P implies Q, and Q is false, then P must also be false. 19:20 Viewers are encouraged to create examples using "modus tollens." 23:08 A discussion highlights the importance of consistency and validity in arguments, even if they may not correspond to reality. 24:46 Multiple examples of "modus tollens" are provided, demonstrating the logical structure of this argument form. 25:29 Equivocation is using a word with multiple meanings to make an argument appear valid. 27:24 Modus Tollens involves denying the consequent in a conditional statement. 31:19 Quasi-syllogism is a common form of argument in Western philosophy. 33:00 The Kalam cosmological argument is a famous example of a quasi-syllogism. 37:02 Poly syllogism involves multiple premises leading to a conclusion. 41:24 Hypothetical syllogism is based on conditional statements, connecting them to reach a conclusion. 45:55 Disjunctive syllogism involves either-or statements and leads to valid conclusions. Made with HARPA AI

i enjoyed this so much

Thank you for this

If someone could tell the difference between poly and hypothetical syllogisms?

Best educational way, students with a live.

Finally! True valuable content on RU-vid!

Alhamdulillah ❤

Alhamdulillah. New MH series on Sapience Institute.

JazakAllah'u khairan

Mash'Allah

A Mathematical Expression known as a Type of Algebra ! The most brilliant way anyone’s ever found for handling this problem. Boolean logic : which takes two statements or expressions and applies, a logical operator. Instead of using arithmetic operators like, (addition, subtraction, and multiplication). Boolean Logic, is a type of data that has only two possible values: In order to generate a Boolean value which, can be either true or false. Boolean Logic, consists of just a value, in a set of two. For instance : If the answer is yes, the Boolean value is true. If the answer is no, the boolean value is false. Results are calculated as either True or False. Thus, truth values or truth variables. Alternatively Boolean Logic, utilizes three basic logical operators: (Three as follows) : 1. And, 2. Or, 3. Not. While Propositional logic, typically has a meaning attached to it. Which implies, if there was no meaning attached to it. Then the meaning would vanish, (given it was reduced) to True or False attribute. Furthermore : still prove to be tautological. (subject to the evaluation and reduction). Therefore : although there has been much debate on Mathematical expressions, it is clear that Algebraical logic is the best form of Modern Mathematics, explained by a Theorem. ...

@sapienceinstitute how often will the classes be?

Please start a series on The Sealed Nectar Particularly the first unit is so difficult to understand

Modus Tollens is basically a Sharti Muttasil, with a negated تالي, which necessitates that the مقدم is negated. He says in Sullam: فإن يك الشرطي ذا اتصالِ … أنتج وضع ذاك وضع التالي [ورفع تالٍ رفعَ أولٍ….]

basic logic is very useful.

Where are these lessons held? In London?

Communication in the Real World Via the Five Types in Propositional Logic ! 1. Negations, 2. Conjunctions, 3. Disjunctions, 4.Conditionals, 5. Biconditionals. Accordingly, Persuasive Speaking - fall's primarily into one of three categories: The Three Types of (Persuasive Speech) Propositions ! 1. Fact, 2. Value, 3. Policy. As a result 'persuasive speech' may have elements of any of the three propositions, (as of the above). The consequence of 'persuasive speech' is usually determined, by the overall proposition of a speech. Admittedly, coherent to the specific purpose, and thesis statements. On the other hand : there is Non- Proposition Sentences. For example (as follows) : The Three Non- Proposition Sentences ... 1. Interrogative : (a sentence that ask's a question, typically to request information). (Ending with a question mark (?) ). 2. Imperative : (a sentence with no subject but instead, a directive is given to an implied second person). ( such as : expression of a direct command, request, invitations, warning, or instruction). 3. Exclamatory : ( a sentence which uses exclamatory pronouns such as : “what” or “how” ) (Emphasizing an antecedent noun. for instance : “What a beautiful baby!”). ...

You are a perfect kalami , may Allah guide you to fiqh studies

Will this series be put on the Arabic channel? I'm mean sapience institute arabic

Thank you ustad

Can we say that ibn e taymiyyah introduced polysyllogism?

Brother this is unrelated, but can you do a live Q&A one of these days when you have a chance, I have a questions surrounding Islam and the trolley problem, how does it tackle it basically? How should we determine value, how does Allah value us, etc. Thank you :)

The First Claim, made by the Modern Mathematical World can be explained by a Theorem ! By way of explanation, a 'Theorem' is the main result of a Proposition. And it's main interest lies (objective), to prove a certain given criteria or scenario. (A larger Theorem is known as a 'Lemma'). A Mathematical Proposition aka : a Theorem ! Development in its original form : by Aristotle in his Prior Analytics, (Analytica Priora) about 350 BCE. Based on his, Logic and represented, by (Syllogistic) as the earliest branch of formal logic. (Syllogistic) is the formal analysis of logical terms and operators and their structures. This analysis makes it possible to infer True Conclusions, from a given premises. For Example 'Proposition Logic' : is a series of 'Proposition's, composed of Statement(s). These Statement(s) are either True or False. Logic in Syllogism ... A syllogism is a form of deductive argument, where the premises have, a logical implication. This implies that a deductive argument's premises, (framework) provides conclusive evidence for the truth of its conclusion. For example : Ali's Pet Theorem ! Two instances (as follows) ... First Instance : (Such as : "All cat's have four legs"). And so, a deductive argument with two premises. (Such as : "Ali's pet is a cat). And the conclusion follows from the truth of two (or more) premises. (Therefore : "Ali's pet has four legs." ). Thus, a 'deductive argument' has only one conclusion which moves from, the general to the specific. For example : the inductive argument's premises, is based on and provides, probable evidence. This (abstract) evidence is for the truth of its conclusion. For Second Instance : Ali's Pet Theorem ! In the past, fish have always come to our pond. Therefore, the fishes will come to our pond this summer. As a result, 'deductive argument(s)' opposes the 'inductive argument(s)', which move from the specific to the general for abstract idea's. This is because 'Inductive reasoning work' in arguments and for making, a hypothesis, (in mathematics or science). ...

All ideas are immortal.......... Socrates is an idea........... Therefore the idea of Socrates is immortal.............(after all we are still talking about him as an idea).

Only 1k likes for this FREE master class?!

Are there any introductory books on this topic you advise ?

Hope translated into Indonesian, so many can follow this knowledge

21:12 I think there was a mistake in the example. If "Tahmin does not go to Oxford University" then "Tahmin is uneducated"; "Tahmin is educated"; therefore "Tahmin did attend Oxford University". The not Q here would be NOT "Tahmin is uneducated" which becomes "Tahmin is educated". And not P here would be NOT "Tahmin does not go to Oxford University" which becomes "Tahmin goes to Oxford University" (obviously the tense changes a bit in English).

this might help me in computer science.

21:23 I don't understand the first Modus Tallens thing : If P then Q If not Q then not P One of the examples Mr Hijab used to suggest that it's not necessarily sound didn't make sense : If you go to Oxford, you're educated You are not educated therefore you didn't go to Oxford It is a sound argument, when you say '' you are not educated '' then you are not part of the the first premise, because the first premise doesn't give us information about uneducated people, it gives us information about people who went to Oxford. Can someone help me out here? Thanks.

Ma Shaa Allah

Woah

Every men who born had a parents Men are born there for they had a parents

brother would u make a video on the topic, ""different recitations of quran, their revelation, so called versions of quran". plzz❤. tnx

❤❤❤🌹🌹🌹🌹

the bearded telly tubby...🤣🤣

Why dont you ever teach the categories of Tawheed like abu Hanifa did in his "Fiqh ul-Akbar/Absat pg.51" ;teach why Asharis shouldnt call to The Rasool SAW because this would be shirk akbar? You really think the masses will benefit from such critical information which is difficult for them to grasp? May Allah guide you in your methods and prevent you from degrading the scholars and those who uphold the Sunnah,

If I had a unicorn I would call it fairy.. That's a great name for a unicorn..........

Sapience no homo

I read the title of the video wrong 😂

is this Programming 101? can't wait for Hijab to prove the existence of God using Python 🤣

If you read books you will be smart.' U are not smart therefore you didn't read books.

This guy making a series on logic is hilariously ironic

God is not logic my friend he is out of human's brain. There are no 3 GOD but GOD is 3.

Alhamdulilah

Masha Allah