1. Proszę zapisać używając symboli logicznych: a/ alternatywę, której pierwszym członem jest implikacja o poprzedniku p oraz następniku q, zaś drugim jest alternatywa zdania r oraz jego zaprzeczenia;
b/ równoważność zbudowaną z zaprzeczenia koniunkcja zdań p, q oraz alternatywy zaprzeczeń tych zdań:
2. Stosując prawa de Morgana proszę podać zdania równoważne zdaniu: a/ Nieprawda, że pójdę do kina lub teatru.
b/ Nie mam odrobionego zadania z fizyki i nie mam odrobionego zadania z matematyki.
c/ Nieprawda, że mam 30 lat i mieszkam w Warszawie.
1.
a)
b)
2.
a) Nieprawda, że pójdę do kina i nieprawda, że pójdę do teatru.
b) Nieprawda, że mam odrobione zadanie z fizyki lub zadanie z matematyki.
c) Nieprawda, że mam 30 lat lub nieprawda że mieszkam w Warszawie.