Scan0030

38 Metoda rezolucji. Elementy logiki pierwszego rzędu

Odpowiedz: Poprawne jest wnioskowanie: a, c.

3.    Sprawdzić trzema metodami, czy U (= B.

(a)    U = {p => q, ą => p} , B = p V ą

Wskazówka: S = {{~ p, q} , q,p} , {~ p} ,    9}}

(b)    U = {p q, q => p} , B = p<& q

(c)    U = {p^ q,pV q] , B = q

(d)    U = {(p Ag)^r},B=p=>r

Odpowiedz: Zbiór U implikuje logicznie B w przypadku c.

4.    Określić, dla jakich argumentów funkcja zdaniowa jest zdaniem prawdziwym.

(a)    x² ^ x, x e M

(b)    x² ^ x, x G N

(c)    |x + l| = 1, x G M

(d)    \/ x² + y² = 1, x € K

ye R

5.    Zaznaczyć na płaszczyźnie zbiór punktów o współrzędnych (x, y), dla którego funkcja zdaniowa jest zdaniem prawdziwym.

(a)	|x|	> 2/
(b)		(W >2/)
(c)	(x	^ 2/) V (x^2 + y^2	<1)
(d)	(x	>y) A (x^2 + r/^2	<1)
(e)	x •	2/ ^ 1