Logic | Well Formed Formula (Wff)
HTML-код
- Опубликовано: 5 фев 2025
- How to translate a sentence into a well formed formula of symbolic logic (or wff). In other words, logical notation or translating from English into a logical expression in a formal language, with emphasis on a well formed formula or wff.
This is a simple introduction. For more advanced logical expressions, see the Logic Translations Playlist
• Logic: Translations
Note: Your textbook may use different symbols or slightly different names. It doesn't matter! Translating from English into logic will be the same, as will the rules for a well-formed formula or wff.
Subscribe! / @letsgetlogical
Further Reading
Paul Herrick, Introduction to Logic, Chapter 12, “Truth-Functional Logic Version 2.0: The Invention of Formal Languages in the Nineteenth Century” (Recommended companion textbook for this channel.)
"60 Fun Facts About Animals You Probably Didn’t Know Before"
www.rd.com/lis...
This video summed up an hour and a half lecture that I couldn't understand a single thing of, and thanks to you it's MUCH more clear to me. Thank you for sharing your knowledge, I appreciate it a lot 🌻
awesome video! simple,direct and fun!
That's what I was going for! Thanks, Thiago jose.
At the beginning of this video, I was confused but now everything about WFF is clear. Thank you so much.
the wffs make this so great
Thank you so much for presenting the "equations" of Formal Logic L:anguage in this clear fashion. The use of actrual sentences in the examples was miraculous! You have helped me to see the light...even if a dim light;-)
Really nice video, Thank You!
Thanks for this! Super helpful!
So clear thanks
Great video!
A ^ B v C is WFF ?
I’m not sure why a or b or c isn’t a wff. From what you said, a wff has a truth value. a or b or c has a truth value regardless of grouping. If none of them is true, the entire proposition is false. If one or more of them is true, the proposition is true. Other than that, the video was straightforward and helpful.
Nearly everything you say here is correct, Emily. Except that proper syntax of a logical language *requires* grouping when there is a string of three (or more). So you’re right: it doesn’t affect the semantics. “A or B or C” is perfectly understandable and has a truth-value.
But technically, in order to count as a _well-formed formula_ , you’d need grouping, according to the rules of grammar.
is (S^R) a WFF???
Yes. You can also drop the parentheses in this case. S ^ R is a wff. But so is (S ^ R).
@@LetsGetLogical Thanks a lot man