1.2 well-formed formulas

preview_player
Показать описание

Рекомендации по теме
Комментарии
Автор

Hello. Good video, one question though. Can a paradox be a WFF? I mean, the last example you put in 6:02 is a paradox in the sense that there is no q that satisfies that formula (for (p∧q) to be true, both p and q have to be true, and thus cannot imply that ﹁q is true)

paulapiqueras
Автор

Thanks, teacher. But what's the relevance (use) of this notion?

Regalert