filmov
tv
6. Examples - Logic for Beginners
Показать описание
This final video in the Logic for Beginners series presents some examples. We first look at a toy example by using propositional logic to model and solve a "real world" problem. We then go on to look at an industrial strength logic called ACL2.
Additional Notes:
• 04:42 - To be clear, the bi-implication "A iff B" is true when both A and B are true or when both A and B are false. It may help to draw out a truth table!
• 10:39 - by "programs" I am referring to computer programs.
• 17:22 - when we talk about bi-implication we say "if and only if", which is shortened textually to "iff".
• 18:36 - "deterministically" here means that given a propositional formula ACL2 can always tell us whether it is true or false.
• 26:04 - The symbol "⊆" represents subset. So "X ⊆ Y" means "X is a subset of Y"
• 27:14 - the name "subset-reflexive" that is typed in is simply a name we give the theorem, it has no meaning internally and it simply helpful for humans.
00:00 - Introduction
00:57 - Propositional Example Scenario
05:36 - Propositional Proof
10:26 - ACL2 Overview
13:53 - Necessary Lisp Syntax
16:26 - Simple ACL2 Example
21:27 - More Complex ACL2 Example
27:40 - Industrial Uses of ACL2
28:23 - Conclusion
Additional Notes:
• 04:42 - To be clear, the bi-implication "A iff B" is true when both A and B are true or when both A and B are false. It may help to draw out a truth table!
• 10:39 - by "programs" I am referring to computer programs.
• 17:22 - when we talk about bi-implication we say "if and only if", which is shortened textually to "iff".
• 18:36 - "deterministically" here means that given a propositional formula ACL2 can always tell us whether it is true or false.
• 26:04 - The symbol "⊆" represents subset. So "X ⊆ Y" means "X is a subset of Y"
• 27:14 - the name "subset-reflexive" that is typed in is simply a name we give the theorem, it has no meaning internally and it simply helpful for humans.
00:00 - Introduction
00:57 - Propositional Example Scenario
05:36 - Propositional Proof
10:26 - ACL2 Overview
13:53 - Necessary Lisp Syntax
16:26 - Simple ACL2 Example
21:27 - More Complex ACL2 Example
27:40 - Industrial Uses of ACL2
28:23 - Conclusion
0:07:28
Understanding Logic Gates
0:07:09
Conditional Statements: if p then q
0:03:35
Logical Fallacies
0:00:06
Mathematical logic | Logical Equivalences #logic #12science #12maths #shorts
0:17:54
Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)
0:18:18
Lesson 06: Law of Logic Rules Practice Examples
0:05:27
Basic Logic, Propositions and Syllogisms (Aristotle's Logic)
0:07:51
Truth Table Tutorial - Discrete Mathematics Logic
0:01:00
Coding Challenge for logic building #pyhton #challenge #function
0:17:23
Propositional Logic − Logical Equivalences
0:11:54
Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic, Geometr...
0:07:51
proposition in discrete mathematics | logic gate operations | by Niharika Panda
0:11:41
10 Fun Kiddy Riddles That Stump Most Adults
0:08:03
Digital Logic - implementing a logic circuit from a Boolean expression.
0:03:34
Introduction to Inductive and Deductive Reasoning | Infinity Learn
0:05:01
Logic 101 (#6): OR/Disjunction
0:07:05
Represent Facts or Knowledge as Wel Formed Formulas using Predicate Logic in AI by Mahesh Huddar
4:46:45
Logic (Full Course) - 74 Examples Explained Step by Step
0:00:58
The Common Logical Connectives of Mathematical Logic Made Easy #Shorts
0:07:16
Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)
0:00:23
Logic Gates Learning Kit #2 - Transistor Demo
0:05:42
Logic Circuit Analysis using Truth Tables
0:00:15
FL Studio or Logic?
0:08:28
Tautology, Contradiction and Contingency - Logic - Discrete Mathematics
Комментарии