Dwa zadania z logiki

Zad1:

Podaj najkrotszy mozliwy dowod prawa wylaczonego srodka, tj. tautologii p V ~p

Zad2:

Niech u bedzie niepustym zbiorem. Ustal, ktore z ponizszych implikacji sa prawdziwe:

a) jezeli u=[tex:b6983e5bd2]\bigcup[/tex:b6983e5bd2]u to zbior_pusty [tex:b6983e5bd2]\in[/tex:b6983e5bd2] u

b) jezeli zbior_pusty [tex:b6983e5bd2]\in[/tex:b6983e5bd2] u to u=[tex:b6983e5bd2]\bigcup[/tex:b6983e5bd2] u

c) jezeli [tex:b6983e5bd2]\bigcup[/tex:b6983e5bd2]u = [tex:b6983e5bd2]\bigcap[/tex:b6983e5bd2] to u={v} dla pewnego v.

zgaduj jak rozwiązać Wink

Radzę ci poprawić te obrazki, ponieważ wyśiwetlają się one teraz jako kod