Zdanie logiczne

[Hayran]

Czy poniższe zdanie jest prawdziwe?

\(\displaystyle{ (\neg p\iff \neg q)\iff(p\iff q)}\)

[Jan Kraszewski]

To nie jest zdanie, a pytanie o prawdziwość nie ma sensu z powodów formalnych.

To jest schemat zdaniowy i jest on tautologią.

JK

[Hayran]

nazwa nazwą. Mam na myśli pytanie o to, czy ta zależność jest prawdziwa?

[Jan Kraszewski]

nazwa nazwą.

Niezupełnie.

Mam na myśli pytanie o to, czy ta zależność jest prawdziwa?

A co to znaczy?

JK

[Hayran]

Nie rozumiem co jest niejasne w moim poście (no może poza nietrafną nomenklaturą).
Po prostu pytam Forumowiczów, czy prawdą jest, że:
\(\displaystyle{ (\neg p\iff \neg q)\iff(p\iff q)}\)

[Jan Kraszewski]

A ja staram się uświadomić Ci, że to źle postawione pytanie.

A odpowiedź na pytanie, które próbujesz zadać, podałem Ci w pierwszym poście.

JK

[Hayran]

Dziękuję. Jak zatem powinno brzmieć zapytanie? Wolałbym uniknąć tego typu gaf w przyszłości.

[Jan Kraszewski]

Powinno brzmieć "Czy podany schemat zdaniowy/formuła jest tautologią?". Aczkolwiek istotnie często zamiast "schemat zdaniowy" pojawia się "zdanie" (co nie jest dla mnie dużym wykroczeniem, o ile potraktujemy to jako skrót myślowy i rozumiemy różnicę pomiędzy zdaniem a schematem zdaniowym).

JK

[Hayran]

Dziękuję