Well-Formed Formulas in Statement Logic

Поделиться
HTML-код
  • Опубликовано: 7 окт 2024

Комментарии • 2

  • @Soubhik12345.
    @Soubhik12345. 6 месяцев назад

    Just like in elementary math,we usually write 4+2=6 and not (4+2)=6 or ((4+2)=6),not because the latter is false but it's unnecessary and time consuming. However we write 4×(2+3)=20 and not 4×2+3=11 because they have completely different meanings since two operations, namely(×) and (+) are going on there. In quite similar fashion, when two or more logical connectives are being used in,say,a compound proposition in a tricky manner [e.g.,[(p implies q)and (q implies r)] implies (p implies r) is a tautology],we must be using parentheses whenever needed to avoid any confusion or ambiguity.(Order of Precedence is really important) Is my understanding correct?❤

  • @Soubhik12345.
    @Soubhik12345. 6 месяцев назад

    So people who say that p and q is not a WFF but (p and q) is a WFF are making things unnecessarily complicated. Isn't it?