Question

Zadanie 1.1 z załącznika oraz wytłumaczenie jak robić takie zadania

Answer 1

Dobra na logike:
1.1
(1)
a <=> 1 - a zajmuje cały zbiór (logiczna '1') - 100% zdarzenie
(B => a ) <=>1
B => 1  (ale nie <=>)

(2)
α ∨ 1 ⇔ 1, α ∨ 0 ⇔ α, α ∧ 1 ⇔ α, α ∧ 0 ⇔ 0;
a+1 <=> 1  - tablicowo, obojetnie czy a = 0 v 1 i tak '1'
a+0 <=> a - tablicowo , wartosc nieoznaczona w zaleznosci od a={0,1}
a*1<=>a - tablicowo wartosc nieoznaczona, w zaleznosci od a = {0,1}
a*0 <=> 0 bez wzgledu na wartosc wynik zawsze daje boolowskie '0'

(3)
(c) jeśli α ⇒ β i γ ⇒ δ, to α ∧ γ ⇒ β ∧ δ i α ∨ γ ⇒ β ∨ δ; 

a zawiera sie w B
y zawiera sie w o

a*y(część wspólna) => (zawierają się) B*o (czesci wspolnej B*o) blizej nie okreslonej.


a+y (suma zbiorów) => (zawiera się) w sumie zbiorow B+o

(4)
 jeśli α ⇒ β, to α ∧ β ⇔ α i α ∨ β ⇔ β.

a - mniejszy zbiór , B - wiekszy zbiór

a*B (częśc wspólna - daje zawsze mniejszy element) => a 
a+B => ('a' zawiera się w 'B' czyli ostatecznie:) B

Jak Ci się to przyda zostaw, jak nie to wywal. Może komuś da to natchnienie do udowodnienia praw logiki :P

Masz rozwiązanie tego 1.6 + moja gira :P (w załączniku).