zadania z logiki
Mateusz: Witam mołby ktos pomóc mi z tymi zadaniami jak je zrobić?
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)
15 kwi 15:33