ELEMENTY LOGIKI I TEORII MNOGOŚCI – lista 1 6.10.

2023

Zad. 1 Załóżmy, że zdanie ((p ^ q) _ r) Ñ (r _ s) jest fałszywe. Znajdź wartości logiczne zdań p, q, r, s.

Zad. 2 Załóżmy, że zdanie p jest fałszywe, a zdanie (r Ñ s) ÐÑ (p ^ q) jest prawdziwe. Wyznacz
wartości logiczne zdań r i s.

Zad. 3 Zbadaj, które z poniższych formuł sa˛ tautologiami. Spróbuj, o ile si˛e da, użyć metody nie wprost,
a nie tabelki:
a) (p Ñ ␣p) Ñ ␣p; b) p Ñ (␣p Ñ q);
c) ␣(p ^ q) ÐÑ [(␣p) _ (␣q)]; d) ␣(p Ñ q) Ñ (p _ q);
e) ␣(p ^ q) ÐÑ [␣p) ^ (␣q)]; f) [(␣p) Ñ (␣q)] Ñ ␣(p Ñ q);
g) [(p Ñ (q Ñ r)] Ñ [(p Ñ q) Ñ (p Ñ r)]; h) [(p _ q) Ñ r] Ñ [p Ñ (q Ñ r)];
i) (p^q Ñ r)^(p^q Ñ ␣r) Ñ (␣p^␣q^␣r); j) [p Ñ q _ r] Ñ (p Ñ q) _ (r Ñ q)];
k) [p −Ñ (q ^ r)] Ñ [(␣q _ ␣r) Ñ ␣p]; l) [(p _ q) Ñ r] Ñ [␣p Ñ (q Ñ r)].

Zad. 4 Wyraź:
a) spójnik „ albo” (alternatyw˛e wykluczajac˛ a)
˛ za pomoca˛ alternatywy, koniunkcji i negacji;
b) alternatyw˛e, implikacj˛e oraz równoważność za pomoca˛ negacji oraz koniunkcji;
c) koniunkcj˛e, implikacj˛e oraz równoważność za pomoca˛ negacji oraz alternatywy;
d) alternatyw˛e i koniunkcj˛e za pomoca˛ negacji i implikacji.
Zad. 5 Spójnik Peirce’a (operator NOR) jest zdefiniowany wzorem (p K q) ÐÑ ((␣p) ^ (␣q)).
Kreska Sheffera (operator NAND) jest zdefiniowana wzorem p|q ÐÑ ((␣p) _ ((␣q)). Wyraź:
a) negacj˛e, koniunkcj˛e, alternatyw˛e oraz implikacj˛e za pomoca˛ spójnika Peirce’a.
b) negacj˛e, koniunkcj˛e, alternatyw˛e oraz implikacj˛e za pomoca˛ kreski Sheffera.
c) spójnik Peirce’a za pomoca˛ kreski Sheffera i na odwrót.
Zad. 6 Zapisz formuł˛e:

p1 Ñ (p2 Ñ (p3 Ñ . . . Ñ (pn Ñ q)) . . .)

używajac
˛ znaku implikacji:
a) tylko raz; b) ani razu.

Zad. 7 Przyjmijmy oznaczenia: Np — negacja p, Cpq — implikacja, Apq — alternatywa, Kpq —

koniunkcja, Epq — równoważność. Tzw. notacja polska pozwala zapisywać formuły rachunku zdań bez
użycia nawiasów. Zapisz w zwykłej notacji:
a) KCpNqp; b) CCpCNpqq; c) CKCpqCpNqq; d) KNApqCNNrs.

Zad. 8 Zapisz w notacji polskiej:

a) 4 dowolnie wybrane przykłady z zadania 3;

b) 4 dowolnie wybrane reguły wnioskowania.