Discrete Mathematical Logic 2023 Ep-01: Negation, Conjunction, Disjunction, Truth Table, Equivalence

Introduction to Symbolic Logic
Topics covered: negation of the statement, conjunction, disjunction of the statement, truth table, logical equivalence, de Morgan law, tautology and contradiction.

This is the first video about math logic. We cover fundamental concepts to formal logic and propositional logic. This is a video useful to readers interested in computer science math, discrete mathematics, critical thinking as well as philosophy students.

------
@Mathspiration307 is a channel about mathematics, more precisely how to gain succss in mathematics. Whether you are a college student looking for university advancement in mathematics, or you are just interested in mathematics. Then it might be for you.

Weekly uploads on Top universities admission tests, lectures on common lectures, motivational videos on mathematics, and more!
------
Chapters:
00:00 Logical Statements
01:28 Logical Operators
02:11 Negation
03:07 Disjunction
04:05 Conjunction
04:39 Translation to (Symbolic) Logical Statements
05:57 Truth Table
07:37 Orders of Logical Operators
08:40 Logical Equivalence
10:00 De Morgan's Law
10:44 Tautology
10:58 Contradiction
11:40 Standard Equivalence Results
11:55 Outro
------
(logical equivalence in discrete mathematics; mathematical logic; language; proof and logic; lpl; Boolean algebra; Set theory)