Logika-pilne Damian : Witam pomoglby mi ktos z tymi zadaniami bo potrzebuje je na jutro.Byłbym bardzo wdzięczny za pomoc. 1.Wykaż że nastepujące wyrazenia nie są prawami rachunku kwantyfikatorów: a)⋁(x) p(x)⇒p(x) b)⋁(x) [∼p(x)]⇒∼⋁(x) p(x) , ten (x) obok kwantyfikatora jest pod nim 2. x,y∊R, zrobic wykresy nastepujacyh funkcji zdaniowych : a)⋁(x) (x2+y2=1) b)⋀(x) (x2+y2=1) c)⋁(x) (x*y≠1)