Normal Forms | Symbolic Logic Tutorial | Attic Philosophy
ฝัง
- เผยแพร่เมื่อ 25 ก.ค. 2024
- Normal forms are set ways for a sentence to be rewritten, using equivalence schemes, so that it's easier to understand what it means and whether it's true or false.
To learn about equivalence schemes: • How to use Equivalence...
This is part of a series of videos introducing the basics of logic. If there’s topics you’d like covered, leave me a comment below!
The series so far:
What is Logic? • What is Logic? | Symbo...
Intro to Propositional Logic • Propositional Logic | ...
Truth Tables • How to use Truth Table...
Entailment • What is Entailment? | ...
Equivalence • Logical Equivalence | ...
Equivalence Schemes • How to use Equivalence...
Rewriting • Rewriting - Attic Phil...
Normal Forms [this video!]
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#logic #philosophy #normalforms
Amazing quality, you deserve way more views and subscribers.
Thanks very much!
Thanks!
Nice explaination
Glad you found it helpful!
What would you do if you lived in a place without an attic, with the channel name be changed?
Bedroom philosophy, probably.
Nice video! Can you provide any citation for an authoritative reference of defining "normal form" as you described here? I'd like to cite it for my work
Thanks! You probably shouldn’t cite any reference for DNF or CNF, as it’s a standard technique, like truth tables.
Is there any book or place you recommend practicing these skills that has solutions to problems?
There's lots of online logic tools. A quick google brought up several for CNF and DNF, e.g. this one: erpelstolz.at/gateway/formular-uk-zentral.html I'd use these in combination with a textbook that sets the questions, ie attempt the questions then use online tools for help or to check your answer (if the textbook doesn't say).
the music at the beginning is so loud!!!!!!!!!!!!!!
I know, but no way to change it now!