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.


Odpowiedź :

1.

a) [tex](p\Rightarrow q) \vee r \vee \neg r[/tex]

b) [tex]\neg(p\wedge q)\Leftrightarrow (\neg p \vee \neg q)[/tex]

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.