Introduction to Logic #002 - Proof by Induction, Truth Functions, DNF, Expressive Adequacy

preview_player
Показать описание
0:00 Intro
0:40 Proof by Induction
11:47 Truth Functions
16:04 Disjunctive Normal Form (DNF)
18:27 Expressive Adequacy

----

You can also donate in crypto-currency:
Donate in Bitcoin: 39DN9rmq2zmfRFt5XgMZQtjg3RM5xH6dLE
Donate in Eth: 0x5167332088E4b03f8974F0f71d50f5C2Ec49664C
-----
Logo & Design:
Thank you to Rahul Roy (ryrahul666[AT]gmail[DOT]com) for the logo
Nathan Watson (nathanwatson0232[AT]gmail[DOT]com) for the banner art-work.
Francois deNysschen francois[AT]prehistoricproductions[DOT]ca for the awesome intro/outtro videos!

All are available for work at these email addresses!
Рекомендации по теме
Комментарии
Автор

6:39 Is there reason to worry about the implicit introduction of numbers here? What about variables ranging over numbers? N_L, N_R, k etc.

HyperFocusMarshmallow
Автор

What books have you read on logic, that you are using for this course?

buffendene
Автор

Presup: How do you justify induction in your non-Christian worldview? 😂😂

CosmoPhiloPharmaco