pytanie
tn: https://matematykaszkolna.pl/strona/1192.html
jest sprzeczne gdy:
W = 0 ⋀ (W
x ≠ 0 ⋁ W
y≠0)
Czy mogę skorzystać z rodzielności koniunkcji względem alternatywy?
W = 0 ⋀ (W
x ≠ 0 ⋁ W
y≠0) ⇔ (W = 0 ⋀ W
x≠0) ⋁ ( W=0 ⋀ W
y≠0)
Czyli teraz miałbym dwa zupełnie obce przypadki − podzielone alternatywą. Kaźdy przypadek to
klamra
Tak będzie ok?