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?
równoważność form zdaniowych
-
- Użytkownik
- Posty: 49
- Rejestracja: 7 gru 2016, o 19:28
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
-
- Administrator
- Posty: 34540
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5226 razy
-
- Użytkownik
- Posty: 49
- Rejestracja: 7 gru 2016, o 19:28
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
Re: równoważność form zdaniowych
A czy mógłbym prosić o jakiś kontrprzykład. Ewentualnie wyjaśnienie, dlaczego równoważność nie zachodzi.
- Dasio11
- Moderator
- Posty: 10261
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 41 razy
- Pomógł: 2381 razy
Re: równoważność form zdaniowych
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.
\(\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.
-
- Administrator
- Posty: 34540
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5226 razy
Re: równoważność form zdaniowych
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
\(\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