Logic | Well Formed Formula (Wff)

Подписаться 4,7 тыс.

Просмотров 6 тыс.

50% 1

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/list/animal-facts-...

Опубликовано:

31 авг 2020

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 13

@drunkmadala Месяц назад

At the beginning of this video, I was confused but now everything about WFF is clear. Thank you so much.

@user-ps1hm6iy3w Месяц назад

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 🌻

@thedoctordowho2022 2 года назад

awesome video! simple,direct and fun!

@LetsGetLogical 2 года назад

That's what I was going for! Thanks, Thiago jose.

@Thee_Jadex 9 месяцев назад

the wffs make this so great

@enyesparza1 10 месяцев назад

Thanks for this! Super helpful!

@hectorduenas9906 3 года назад

Really nice video, Thank You!

@ridheesh4765 2 года назад

Great video!

@HurricaneEmily 2 года назад

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.

@LetsGetLogical 2 года назад

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.