Lesson 11 of 31 • 24 upvotes • 14:13mins
31 lessons • 5h 7m
Introduction.
8:42mins
Learn the Connectives
10:37mins
Tautology, Contradiction, Contingency
9:44mins
Important Laws
8:57mins
Problems on Tautology, Contradictions and Contingency
11:08mins
Problems on Tautology, Contradictions and Contingency
8:38mins
Problems on Tautology, Contradictions and Contingency
9:41mins
Important Equivalences
10:05mins
Simplification
8:32mins
Translation from English to Propositional Logic
11:09mins
Rules of Inferences
14:13mins
First Order Logic
8:59mins
Syntax - First Order Logic
8:22mins
Quantifiers
9:56mins
Quantifiers with Connectives
9:36mins
Translation
9:17mins
Translation from English
11:13mins
Translation from English
10:38mins
GATE 2008 Question
9:00mins
GATE 2014 Question
12:05mins
GATE 2017 Question
8:10mins
GATE 2017
10:21mins
Gate questions from FOL Translation
9:47mins
GATE 2011 Question
10:12mins
Gate questions
9:58mins
Gate questions
8:19mins
Gate questions
8:39mins
Gate questions
8:24mins
FOL - Equivalences , Rules of Inferences
9:18mins
Gate 2016 Question
13:23mins
Gate 2016 Questions
9:46mins