równoważność form zdaniowych

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Pietras2001
Użytkownik
Użytkownik
Posty: 49
Rejestracja: 7 gru 2016, o 19:28
Płeć: Mężczyzna
Lokalizacja: Warszawa

równoważność form zdaniowych

Post autor: Pietras2001 »

Niech \(\displaystyle{ P(x), Q(x) }\) formami zdaniowymi. Czy zdania:
\(\displaystyle{ (\forall{x})(\forall{y})(P(x) \Rightarrow Q(y))}\)
oraz
\(\displaystyle{ (\forall{x})(P(x)) \Rightarrow(\forall{y})(Q(y)) }\)
są równoważne?
Jan Kraszewski
Administrator
Administrator
Posty: 34073
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5191 razy

Re: równoważność form zdaniowych

Post autor: Jan Kraszewski »

Nie.

JK
Pietras2001
Użytkownik
Użytkownik
Posty: 49
Rejestracja: 7 gru 2016, o 19:28
Płeć: Mężczyzna
Lokalizacja: Warszawa

Re: równoważność form zdaniowych

Post autor: Pietras2001 »

A czy mógłbym prosić o jakiś kontrprzykład. Ewentualnie wyjaśnienie, dlaczego równoważność nie zachodzi.
Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 10204
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 40 razy
Pomógł: 2358 razy

Re: równoważność form zdaniowych

Post autor: Dasio11 »

Zakładając że dziedzina jest skończona, formy zdaniowe są jednoznacznie zadane przez tabelkę taką jak poniżej:

\(\displaystyle{ \begin{array}{|c|ccccc|} \hline
x & x_1 & x_2 & x_3 & \ldots & x_n \\ \hline
P(x) & 0 & 1 & 1 & \ldots & 0 \\
Q(x) & 1 & 0 & 1 & \ldots & 1 \\ \hline
\end{array}}\)


W oba wiersze można w dowolny sposób wpisać zera i jedynki, co odpowiada różnym formom \(\displaystyle{ P}\) i \(\displaystyle{ Q}\). Zastanów się, co podane zdania mówią o tabelce, a później spróbuj znaleźć taką tabelkę, żeby dokładnie jedno ze zdań było prawdziwe.
Jan Kraszewski
Administrator
Administrator
Posty: 34073
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5191 razy

Re: równoważność form zdaniowych

Post autor: Jan Kraszewski »

A jak wpaść na odpowiedź? Można spróbować przekształcić jedno zdanie równoważnie w drugie:

\(\displaystyle{ (\forall{x})(\forall{y})(P(x) \Rightarrow Q(y)) \Leftrightarrow\\
\Leftrightarrow (\forall{x})(\forall{y})(\neg (P(x)) \lor Q(y)) \Leftrightarrow\\
\Leftrightarrow(\forall{x})(\neg (P(x)) \lor(\forall{y})( Q(y))) \Leftrightarrow\\
\Leftrightarrow (\forall{x})(\neg (P(x))) \lor(\forall{y}) (Q(y)) \Leftrightarrow\\
\Leftrightarrow\neg(\exists{x}) (P(x)) \lor(\forall{y}) (Q(y)) \Leftrightarrow\\
\Leftrightarrow (\exists{x})(P(x)) \Rightarrow(\forall{y})(Q(y))}\)


i widać, że wychodzi nie to, co chciałeś...

JK
ODPOWIEDZ