Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4

Channel:
Finland Bisqwit
Subscribers:
147,000
Published on ● Video Link: https://www.youtube.com/watch?v=oRRsm75wo7o


Category:
Vlog
Duration: 16:02
25,436 views
1,211

In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction.

Become a member: https://youtube.com/Bisqwit/join

My links:
Twitter: https://twitter.com/RealBisqwit
Liberapay: https://liberapay.com/Bisqwit
Patreon: https://patreon.com/Bisqwit (Other options at https://bisqwit.iki.fi/donate.html)
Twitch: https://twitch.tv/RealBisqwit
Homepage: https://iki.fi/bisqwit/

0:00 Introduction
0:43 Choices
1:13 Conjunction (AND, ∧)
3:16 Disjunction (OR, ∨)
4:17 Negation (NOT, ¬)
4:58 Sheffer Stroke (NAND, ↑)
5:16 Peirce’s Arrow (NOR, ↓)
5:29 De Morgan’s Laws
7:11 Universal logic gates
7:51 Equivalence (XNOR, ↔)
8:44 Exclusive disjunction (XOR, ⊻)
10:17 Implication (IMP, →)
13:20 Truth table summary
14:35 Notation summary



Other Videos By Bisqwit


2025-01-04Creating a spectrum analyzer for realtime audio (C++, SDL2, Fast Fourier Transform)
2024-09-06Bisqwit’s update September 2024
2024-09-02Installation and usage of SQLite in Windows
2023-12-31I Studied TWO Years in University and This Happened
2023-01-26Are C♯ and D♭ same? Interval & Octave explained: Music & law of frequencies
2022-12-31Let’s try ChatGPT. Is it any good?
2022-06-06I Studied a Year at a University and This Happened
2022-04-17Logic 4: Natural Deduction with Logical Axioms — Tutorial 4/4
2022-03-17Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4
2022-02-17Logic 2: Karnaugh Map, Fallacies, 7400 Series — Tutorial 2/4
2022-01-21Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4
2021-12-30How I got Mario in That Editor — And how Norton Got 🐁
2021-10-16YouTube deletes your comments #Shorts
2021-05-08What are EXE files made of?
2021-01-05How Bisqwit started — Frequently Asked Questions, Part 4/4
2020-08-29Where did Bisqwit learn C++? — Frequently Asked Questions, Part 3/4
2020-08-22School & army background — Bisqwit — Frequently Asked Questions, Part 2/4
2020-08-16Origin of “Bisqwit”? Married? Font&color theme — Frequently Asked Questions, Part 1/4
2020-06-26Illumination Tutorial for Software 3D Rendering (2/2+) [c++20]
2020-05-29Illumination Tutorial for Software 3D Rendering (1/2+) [c++20]
2020-05-02Why Refactor? Let’s Refactor the 3D Polygon Renderer. [c++20]


Tags:
joel yliluoma
bisqwit
propositional logic
boolean logic
boolean algebra
natural deduction
predicate logic
karnaugh maps
karnaugh map
tutorial
digital electronics
logic gates
de morgan's law
modus ponens
modus tollens
implication
equivalence
conjunction
disjunction
sheffer stroke
peirce's arrow
karnaw map
7400 series
negation
inversion
introduction logic
logic introduction
universal quantifier
existential quantifier
turnstile
fallacy
antecedent
consequent