Excellent		1 Reviews
Good		0 Reviews
medium		0 Reviews
Acceptable		0 Reviews
Not Good		0 Reviews

تحميل Propositional Logic Fundamentals

Mathematics 2023-12-08

روابط التحميل

لمشاهدة الكورس مباشر بدون تحميل اضغط هنا

عدد الدروس 148

قسم Mathematics

Introduction to Discrete Mathematics

Motivation Introduction to Propositional Logic

Propositional Logic Propositional Variables Compound Propositions

Logical Operators − Negation Conjunction Disjunction

Logical Operators − Exclusive OR

Logical Operators − Implication Part 1

Logical Operators − Implication Part 2

Logical Operators − Implication Part 3

Converse Contrapositive and Inverse

Logical Operators − Biconditional Operator

Propositional Logic − Precedence of Logical Operators

Translating Sentences into Logical Expressions

Propositional Logic − Puzzle 1

Propositional Logic − Puzzle 2

Propositional Logic Solved Problem 1

Tautology Contradiction Contingency Satisfiability

Propositional Logic − Logical Equivalences

Propositional Logic Solved Problem 2

Propositional Logic Solved Problem 3

Propositional Logic Solved Problem 4

Propositional Logic Solved Problem 5

Propositional Logic Solved Problem 6

Propositional Logic Solved Problem 7

Rules of Inference Basic Terminology

Rules of Inference Definition Types of Inference Rules

Arguments Building Using Rules of Inference Part 1

Arguments Building Using Rules of Inference Part 2

Checking The Validity of An Argument Shortcut Method

Rules of Inference in Propositional Logic Solved Problem 1

Rules of Inference in Propositional Logic Solved Problem 2

The Limitation of Propositional Logic

Introduction to First Order Logic

Finding The Truth Values of Predicates Examples

Quantifiers

Universal Quantifiers

Universal Quantifiers Counter Examples

Expressing Quantifications in English

Existential Quantifiers

Existential Quantifiers Examples

Quantifiers with Restricted Domain

Logical Equivalences Involving Predicates Quantifiers Part 1

Logical Equivalences Involving Predicates Quantifiers Part 2

Negating the Quantified Expressions Part 1

Negating the Quantified Expressions Part 2

Negating the Quantified Expressions Examples

Translating English Sentences to Logical Expressions

First Order Logic Solved Problems Part 1

First Order Logic Solved Problems Part 2

First Order Logic Solved Problems Part 3

First Order Logic Solved Problems Part 4

First Order Logic Solved Problems Part 5

Introduction to Nested Quantifiers

Nested Quantifiers Solved Example 1

Nested Quantifiers Solved Example 2

Nested Quantifiers Solved Example 3

Nested Quantifiers Translating English Statements Example 1

Nested Quantifiers Translating English Statements Example 2

Nested Quantifiers Translating English Statements Example 3

Nested Quantifiers Translating English Statements Example 4

Nested Quantifiers Translating English Statements Example 5

Negating the Nested Quantifiers

Negating the Nested Quantifiers Example 2

Negating the Nested Quantifiers Example 3

The Resolution Principle Preliminaries

The Resolution Principle Proof of Theorem

The Resolution Principle Proving if an Argument is Valid

The Resolution Principle Solved Problems

Fallacies

Rules of Inference for Quantified Statements Part 1

Rules of Inference for Quantified Statements Part 2

Universal Modus Ponens Rule

Universal Modus Tollens Rule

Set Theory Basics of Sets

Set Representation

Mathematics
2023-12-08