\def\NN{\mathbb N}
\def\QQ{\mathbb Q}
\def\RR{\mathbb R}
\def\ZZ{\mathbb Z}
\def\A{{\cal A}}
\def\[{\langle}
\def\]{\rangle}
\def\oto{\leftrightarrow}
Logika zdaniowa
Zadanie 1
Zbadać, czy następujące formuły są tautologiami rachunku zdań i czy są spełnialne:
- (p\to r)\wedge(q\to s)\wedge(\neg p\vee \neg s)\to (\neg p\vee \neg q);
- ((p\to q)\vee r)\wedge(\neg p\to r);
- (p\to q)\vee(q\to r)\vee(r\to p);
- ((p\vee q)\to r)\to (p\to r)\vee(q\to r);
- (p\to q)\wedge(\neg p\to r)\to (r\to\neg q);
- ((\neg p\to q)\to r)\to \neg(p\to q);
- (((p\to q)\to r)\to \neg p)\to \neg q;
- ((p\to q)\to p)\to q;
- p\vee(\neg p\wedge q)\vee(\neg p\wedge\neg q);
- (p\to q)\vee (p\to \neg q);
- (p\wedge q\to r)\to (p\wedge \neg r)\to \neg q;
- q\vee r\to (p\vee q\to p\vee r);
- (p\vee q\vee r)\wedge(q\vee(\neg p\wedge s))\wedge (\neg s\vee q\vee r)
\to q.
Zadanie 2
Znaleźć (o ile istnieje) taką formułę zdaniową \alpha, aby następująca formuła była tautologią rachunku zdań:
- ((r\to (\neg q\wedge p))\to\alpha)\to (\alpha\wedge(p\to q)\wedge r);
- (\alpha\to p)\to(p\to q);
- ((p\to\alpha)\to q)\to(q\to(\neg p\to\neg\alpha));
- (\alpha\to p)\wedge(\neg\alpha\to q);
- ((\alpha\wedge q)\to\neg p)\to((\alpha\to p)\to\neg q);
- ((\neg\alpha\to p)\to q)\to(\alpha\wedge q\to \neg p);
- ((\alpha\to p)\wedge q)\to(\alpha\vee q\to p);
- ((\alpha\to p)\wedge q)\to(\alpha\vee q\to \neg p).
Zadanie 3
Udowodnić, że dla dowolnej funkcji f:\{0,1\}^k\to\{0,1\} istnieje formuła \alpha, w której występują tylko zmienne zdaniowe ze zbioru \{p_1,\ldots, p_k\}, o tej własności, że dla dowolnego wartościowania zdaniowego v zachodzi równość v(\alpha) = f(v(p_1),\ldots, v(p_k)). (Inaczej mówiąc, formuła \alpha definiuje funkcję zerojedynkową f.)
Logika I rzędu
Zadanie 4
W strukturze \A =\[\NN, P^\A, Q^\A\], gdzie:
\[a,b\]\in P^\A wtedy i tylko wtedy, gdy a+b\geq 6;
\[a,b\]\in Q^\A wtedy i tylko wtedy, gdy b=a+2,
wyznaczyć wartość formuł:
- \forall x P(x,y) \to \exists x Q(x,y);
- \forall x P(x,y) \to \forall x Q(x,y);
- \forall x P(x,y) \to \exists x Q(x,z);
przy wartościowaniach v(y) = 7, v(z) = 1 oraz u(y)= 3, u(z) = 2.
Zadanie 5
Podaj przykład modelu i wartościowania, przy którym formuła
P(x,f(x)) \to \forall x\exists y P(f(y),x)
jest: a) spełniona; b) nie spełniona.
Zadanie 6
Dla każdej z następujących par struktur wskaż formułę prawdziwą w jednej z nich a w drugiej nie (dla utrudnienia można oczekiwać formuły otwartej spełnialnej w jednej strukturze, a w drugiej nie):
- \[\QQ,+,\cdot,0,1\] i \[\RR,+,\cdot,0,1\];
- \[\NN,+,0\] i \[\NN, \cdot, 1\];
- \[P_2, \parallel\] i \[P_2, \bot\], gdzie P_2 oznacza zbiór wszystkich prostych w \RR^2;
- \[P_2, \bot\] i \[P_3, \bot\], gdzie P_2 i P_3 to odpowiednio zbiory wszystkich prostych w \RR^2;
- \[\RR, +, \cdot, 0,1\] i \[P(\NN), \cup, \cap, \emptyset, \NN\];
- \[\NN,\leq,0\] i \[\ZZ, \leq, 0\];
- \[\NN,+,0\] i \[\{a,b\}^*,\cdot,\varepsilon\],
- \[\NN,+,0\] i \[\NN^2, \#, \[0,0\]\], gdzie operacja \# jest określona tak: \[a,b\]\#\[c,d\] = \[a+c, b+d\].
Zadanie 7
Sygnatura \Sigma składa się z symbolu równości, jednoargumentowych symboli relacyjnych R, S i jednego jednoargumentowego symbolu funkcyjnego f. Napisać takie zdania \varphi i \psi, że:
- zdanie \varphi jest prawdziwe dokładnie w tych modelach, \A = \[A, R^{\A}, S^{\A}, f^{\A}\], w których obraz zbioru R^{\A} przy funkcji f^\A zawiera się w zbiorze S^{\A}.
- zdanie \psi jest prawdziwe dokładnie w tych modelach \A = \[A, R^{\A}, S^{\A}, f^{\A}\], w których zbiór S^{\A} jest przeciwobrazem zbioru R^{\A} przy przekształceniu f.
Zadanie 8
Sygnatura \Sigma składa się z dwóch symbolu równości i dwuargumentowych symboli relacyjnych R i S. Napisać takie zdania \varphi_1, \varphi_2 i \varphi_3, że
- zdanie \varphi_1 jest prawdziwe dokładnie w tych modelach, \A = \[A, R^\A, S^\A\], w których R^\A jest relacją równoważności o dokładnie trzech klasach abstrakcji.
- zdanie \varphi_2 jest prawdziwe dokładnie w tych modelach, \A = \[A, R^\A, S^\A\], w których złożenie relacji R^\A z relacją S^\A jest identyczne ze złożeniem relacji S^\A z relacją R^\A.
- zdanie \varphi_3 jest prawdziwe dokładnie w tych modelach \A = \[A, R^\A, S^\A\], w których relacja S^\A jest najmniejszą relacją symetryczną zawierajacą R^\A.
Zadanie 9
Wskazać (o ile istnieje) model i wartościowanie spełniające daną formułę i nie spełniające tej formuły:
- \forall y(r(x)\to r(y));
- \forall y(r(x)\wedge r(y) \to r(f(x,y));
- \forall x(q(x,y)\to q(f(x),y);
- \forall x\forall y(r(x)\wedge r(y) \to r(f(x,y));
- \forall x(r(x)\vee p(x))\to (\forall x r(x)\vee \forall x p(x));
- \forall x\exists y(q(x,y)\vee \forall y\neg q(x,y));
- \exists x\forall y\exists z(q(x,z)\wedge\neg q(x,y));
- \forall x\forall y(\neg(x=y)\to \exists z(P(x,z)\wedge P(y,z));
- \forall x\exists y\exists z(\neg(y=z)\wedge P(x,y)\wedge P(x,z));
- (\forall x P(x) \to Q(y)) \oto \exists x (P(x) \to Q(y));
- (\forall x P(x) \to Q(x)) \oto \exists x (P(x) \to Q(x)).
Zadanie 10
Udowodnij w systemie naturalnej dedukcji:
- \vdash (p\to \neg q)\to\neg(p\wedge q);
- \vdash (p\to q\vee r)\to((p\to q)\vee(p\to r));
- \vdash \forall x(P(x)\to Q(y))\to(\exists x P(x)\to Q(y));
- \forall x(P(x) \to P(f(x)))\vdash \exists x P(x) \to \exists x P(f(f(x))).