×
Create CV Books Summaries Online Courses Blog Communities

Login

Sign up
MindLuster Logo
Categories
Recent

Join Our Telegram Channel Now to Get Any New Free Courses : Click Here

The Resolution Principle Proving if an Argument is Valid

Share your inquiries now with community members Click Here
Previous Lesson Next Lesson
Sign Up and Get Free Certificate
Sign up Now
Lesson extensions

Lessons List | 148 Lesson
Introduction to Discrete Mathematics
00:09:37

Introduction to Discrete Mathematics
Motivation Introduction to Propositional Logic
00:08:14

Motivation Introduction to Propositional Logic
Propositional Logic Propositional Variables Compound Propositions
00:06:28

Propositional Logic Propositional Variables Compound Propositions
Logical Operators − Negation Conjunction Disjunction
00:06:09

Logical Operators − Negation Conjunction Disjunction
Logical Operators − Exclusive OR
00:06:51

Logical Operators − Exclusive OR
Logical Operators − Implication Part 1
00:10:18

Logical Operators − Implication Part 1
Logical Operators − Implication Part 2
00:15:24

Logical Operators − Implication Part 2
Logical Operators − Implication Part 3
00:07:56

Logical Operators − Implication Part 3
Converse Contrapositive and Inverse
00:03:47

Converse Contrapositive and Inverse
Logical Operators − Biconditional Operator
00:06:25

Logical Operators − Biconditional Operator
Propositional Logic − Precedence of Logical Operators
00:06:20

Propositional Logic − Precedence of Logical Operators
Translating Sentences into Logical Expressions
00:10:16

Translating Sentences into Logical Expressions
Propositional Logic − Puzzle 1
00:11:18

Propositional Logic − Puzzle 1
Propositional Logic − Puzzle 2
00:09:57

Propositional Logic − Puzzle 2
Propositional Logic Solved Problem 1
00:05:49

Propositional Logic Solved Problem 1
Tautology Contradiction Contingency Satisfiability
00:05:05

Tautology Contradiction Contingency Satisfiability
Propositional Logic − Logical Equivalences
00:17:23

Propositional Logic − Logical Equivalences
Propositional Logic Solved Problem 2
00:06:13

Propositional Logic Solved Problem 2
Propositional Logic Solved Problem 3
00:04:31

Propositional Logic Solved Problem 3
Propositional Logic Solved Problem 4
00:05:11

Propositional Logic Solved Problem 4
Propositional Logic Solved Problem 5
00:05:25

Propositional Logic Solved Problem 5
Propositional Logic Solved Problem 6
00:06:08

Propositional Logic Solved Problem 6
Propositional Logic Solved Problem 7
00:06:31

Propositional Logic Solved Problem 7
Rules of Inference Basic Terminology
00:06:14

Rules of Inference Basic Terminology
Rules of Inference Definition Types of Inference Rules
00:07:44

Rules of Inference Definition Types of Inference Rules
Arguments Building Using Rules of Inference Part 1
00:05:39

Arguments Building Using Rules of Inference Part 1
Arguments Building Using Rules of Inference Part 2
00:05:57

Arguments Building Using Rules of Inference Part 2
Checking The Validity of An Argument Shortcut Method
00:03:58

Checking The Validity of An Argument Shortcut Method
Rules of Inference in Propositional Logic Solved Problem 1
00:03:18

Rules of Inference in Propositional Logic Solved Problem 1
Rules of Inference in Propositional Logic Solved Problem 2
00:04:07

Rules of Inference in Propositional Logic Solved Problem 2
The Limitation of Propositional Logic
00:04:54

The Limitation of Propositional Logic
Introduction to First Order Logic
00:05:20

Introduction to First Order Logic
Finding The Truth Values of Predicates Examples
00:02:30

Finding The Truth Values of Predicates Examples
Quantifiers
00:05:05

Quantifiers
Universal Quantifiers
00:03:48

Universal Quantifiers
Universal Quantifiers Counter Examples
00:03:42

Universal Quantifiers Counter Examples
Expressing Quantifications in English
00:03:12

Expressing Quantifications in English
Existential Quantifiers
00:04:06

Existential Quantifiers
Existential Quantifiers Examples
00:04:46

Existential Quantifiers Examples
Quantifiers with Restricted Domain
00:03:39

Quantifiers with Restricted Domain
Show More Lessons

Comments

Our New Certified Courses Will Reach You in Our Telegram Channel
Join Our Telegram Channels to Get Best Free Courses

Join Now

We Appreciate Your Feedback

Excellent
1 Reviews
Good
0 Reviews
medium
0 Reviews
Acceptable
0 Reviews
Not Good
0 Reviews
5
1 Reviews
MUKESHKANNA Y

good 2025-04-05

Mukesh D

good 2025-04-05

RAHUL SANJAY G

good and useful 2025-04-05

Arpit Chauhan

Very good platform 2023-12-15

Show More Reviews


Related Courses in Mathematics
Real numbers
11 Lessons

Real numbers

Statistics
14 Lessons

Statistics

Quadratic Equation
12 Lessons

Quadratic Equation

Polynomials
11 Lessons

Polynomials

Pair of Linear Equations in Two Variables
14 Lessons

Pair of Linear Equations in Two Variables

Coordinate Geometry
11 Lessons

Coordinate Geometry

Arithmetic Progression
11 Lessons

Arithmetic Progression

Areas Related to Circles
12 Lessons

Areas Related to Circles

Circles
14 Lessons

Circles

Application of Trigonometry
11 Lessons

Application of Trigonometry

Triangles
19 Lessons

Triangles

Surface Area and Volumes
22 Lessons

Surface Area and Volumes

Youth Empowerment
12 Lessons

Youth Empowerment

Algebra Full data
36 Lessons

Algebra Full data

Algebra
30 Lessons

Algebra

Discrete Mathematics
26 Lessons

Discrete Mathematics

Course Description

Propositional Logic course, This course delves into the fundamentals of Propositional Logic, exploring its rules and applications in logical reasoning and problem-solving.
Trends
Recent
Previous Lesson Next Lesson