[[logika_dla_informatykow:skrypt:132]]
 
Ślad: » lista7 » lista6 » 98 » lista3 » 203 » 211 » lista3 » 64 » lista7 » 132

Logika - Zadanie 132.

  1. Nie.
    • Niech A=\{1,2,3\}, B=\{2\}, C=\{3\}.
    • Wtedy A\cap(B\cup C) = \{2,3\}, a B\cap (A \cup C) = \{2\}.
  2. Tak.
    • Weźmy dowolne x\in A\cap (B \setminus C).
    • Wtedy x\in A \wedge x\in B \wedge x \not\in C.
    • Z przemienności koniunkcji mamy: x\in B \wedge x\in A \wedge x \not\in C.
    • Czyli x\in B\cap (A \setminus C).
 
logika_dla_informatykow/skrypt/132.txt · ostatnio zmienione: 2009/10/22 01:06 przez iwan
 
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:MIT License
Recent changes RSS feed