Propositional Logic: The Complete Crash Course
53:48
YouTubeTrevTutor
Propositional Logic: The Complete Crash Course
This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 Well-formed Formula (wffs) 08:30 Logic Syntax 10:25 Truth ...
191.7K viewsMay 2, 2022
Propositional Logic Examples
Propositional
0:43
Propositional
YouTubeEnglish Unpacked
92 views4 months ago
Tutorial on how to create truth tables for propositional logic step by step in less than 2 minute...
1:43
Tutorial on how to create truth tables for propositional logic step by step in less than 2 minute...
YouTubeProfeGuille Matemática
472 views1 month ago
Conjunction (and) propositional logic Prof. Rodrigo Ribeiro
1:58
Conjunction (and) propositional logic Prof. Rodrigo Ribeiro
YouTubeMatemática do aluno - Prof.
1K views2 months ago
Top videos
Resolution in Propositional Logic |Resolution Algorithm |Resolution Example |Artificial Intelligence
11:36
Resolution in Propositional Logic |Resolution Algorithm |Resolution Example |Artificial Intelligence
YouTubeSudhakar Atchala
44.7K viewsMar 27, 2025
Lesson 14: The Resolution Principle [Preliminaries] | Resolution in Proposition Logic
8:26
Lesson 14: The Resolution Principle [Preliminaries] | Resolution in Proposition Logic
YouTubeFahad Hussain
8.9K viewsJan 12, 2023
Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)
19:32
Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)
YouTubeStanford Online
22.1K viewsMay 31, 2022
Propositional Logic Tutorial
Propositional logic contingency truth table - Truth table with 2 propositions Exercise 8
2:35
Propositional logic contingency truth table - Truth table with 2 propositions Exercise 8
YouTubeMatemáticas QuidiMat
196 views1 month ago
Axioms of Propositional Logic
2:57
Axioms of Propositional Logic
YouTubeSymmetry Element
116 views4 months ago
TRUTH TABLES TAUTOLOGY - PROPOSITIONAL LOGIC - MATHEMATICS - LOGICAL PROPOSITIONS Example 3
1:26
TRUTH TABLES TAUTOLOGY - PROPOSITIONAL LOGIC - MATHEMATICS - LOGICAL PROPOSITIONS Example 3
YouTubeProfeGuille Matemática
1.4K views2 months ago
Resolution in Propositional Logic |Resolution Algorithm |Resolution Example |Artificial Intelligence
11:36
Resolution in Propositional Logic |Resolution Algorithm |Resolution Example |Artificial Intelligence
44.7K viewsMar 27, 2025
YouTubeSudhakar Atchala
Lesson 14: The Resolution Principle [Preliminaries] | Resolution in Proposition Logic
8:26
Lesson 14: The Resolution Principle [Preliminaries] | Resolution in Proposition Logic
8.9K viewsJan 12, 2023
YouTubeFahad Hussain
3.8 - Inference Rules in Propositional Logic - Resolution - AI
15:59
3.8 - Inference Rules in Propositional Logic - Resolution - AI
1.2K views7 months ago
YouTubeAyan Memon
05 | Propositional Logic | Rules of Inference | Discrete Mathematics
1:21:47
05 | Propositional Logic | Rules of Inference | Discrete Mathematics
14.9K viewsMar 18, 2025
YouTubeTending to Infinity
Discrete Mathematics 06 : Propositional Logic | CS & IT | GATE 2026 Crash Course
1:35:53
Discrete Mathematics 06 : Propositional Logic | CS & IT | GATE 2026 Crash Course
8.1K views6 months ago
YouTubeGATE Wallah CSE & DA
Resolution
11:54
Find in video from 00:30Understanding Resolution
Resolution
111.8K viewsJul 15, 2015
YouTubeFrancisco Iacobelli
02 | Propositional Logic | Tautology | Laws of Logic | Logical Implication | Discrete Mathematics
1:18:09
02 | Propositional Logic | Tautology | Laws of Logic | Logical Implication | Discrete Mathematics
18K viewsMar 11, 2025
YouTubeTending to Infinity
8:08
6. Prove Statement Resolution Refutation Propositional Logic Artificial Intelligence Mahesh Huddar
12.9K viewsNov 10, 2024
YouTubeMahesh Huddar
3:38
7. Proof by Forward Chaining Example Propositional Logic in Artificial Intelligence Mahesh Huddar
59K viewsNov 11, 2024
YouTubeMahesh Huddar
51:08
01 | Propositional Logic | Connectives | Truth Table | Equivalence | Discrete Mathematics
23.6K viewsMar 10, 2025
YouTubeTending to Infinity
1:15:13
03 | Propositional Logic | Problems | PYQ | Tautology Checking | With & Without Truth Table
13.2K viewsMar 12, 2025
YouTubeTending to Infinity
1:20:10
[CS188 SP24] LEC07 - Logic: Propositional Logic and Planning
6.1K viewsOct 5, 2024
YouTubeCS 188 (Artificial Intelligence) at UC Berkeley
18:27
3.5 - Propositional Logic & Predicate Logic - AI
1.6K views7 months ago
YouTubeAyan Memon
5:56
5. Knowledge Base Prove Inference resolution refutation Propositional Logic Artificial Intelligence
48.7K viewsApr 27, 2024
YouTubeMahesh Huddar
4:43
8. Proof by Backward Chaining Approach Example Propositional Logic in Artificial Intelligence
40.9K viewsNov 11, 2024
YouTubeMahesh Huddar
8:46
Inference Rules Modes Ponens Modes Tollens in Propositional Logic in Artificial Intelligence
135.5K viewsApr 21, 2024
YouTubeMahesh Huddar
4:42
Find in video from 03:12Applying Unit Resolution Rule on Six and Seven Statements
1. Prove Statement using Inference Rules Propositional Logic Artificia…
44.8K viewsApr 22, 2024
YouTubeMahesh Huddar
5:10
4. Given Knowledge Base Prove Statement Inference Rules Propositional Logic AI by Mahesh Huddar
11.9K viewsNov 9, 2024
YouTubeMahesh Huddar
36:59
07 | CNF | DNF | Propositional Logic | PYQ | Discrete Mathematics
11.4K viewsMay 1, 2025
YouTubeTending to Infinity
23:38
resolution in artificial intelligence | how resolution works in artificial intelligence | ai unit 5
1 views2 months ago
YouTubeSPPU CS & IT Solutions
15:44
resolution in artificial intelligence part 2 | how resolution works in artificial intelligence
18 views2 months ago
YouTubeSPPU CS & IT Solutions
12:13
Lec 7 || Artificial Intelligence | Knowledge Representation | Approaches to Knowledge Representation
769 viewsApr 5, 2025
YouTubeBook & Talks
12:20
Lec-27: Propositional Logic in Artificial Intelligence | Knowledge Representation | All Imp Points
1.3M viewsJan 5, 2020
YouTubeGate Smashers
11:47
Lec-43: Propositional Logic | Artificial Intelligence
210.3K viewsJan 10, 2024
YouTubeGate Smashers
6:20
10. Unification in First-Order Logic Propositional Logic Solved Examples Artificial Intelligence
48.2K viewsNov 14, 2024
YouTubeMahesh Huddar
3:36
Find in video from 02:19How to Apply Unit Resolution Rule
3. Given Knowledge Base Prove Statement Inference Rules Propos…
15.2K viewsMay 5, 2024
YouTubeMahesh Huddar
6:51
Find in video from 01:47Steps to Convert an Expression or Propositional Logic into Equivalence CNF
6 resolution refutation in propositional logic
38.4K viewsDec 18, 2019
YouTubeOU Education
29:20
04 | Propositional Logic | Argument | Inference | Discrete Mathematics
9.7K viewsMar 17, 2025
YouTubeTending to Infinity
See more
Static thumbnail place holder