Zbadać prawdziwość zdania: . Warianty:

Zbadać prawdziwość zdania: . Warianty:

D:\materiały\Analiza matematyczna\Elementy logiki\045.doc
Zadanie 009
Zbadać prawdziwość zdania:
∃ x∈ X

 ∃ y ∈Y  
  ∃ y ∈Y 

 .
¬ 
 ⇔  ∀ z ∈ Z  
 Q (x, y , z )  
  R ( x, y ) 



Warianty:
1)
2)
3)
4)
5)
6)
X
Y
Z
a
c
e
c
d
a
c
f
X
Y
Z
a
c
d
a
b
b
d
f
X
Y
Z
a
c
d
d
f
a
c
d
X
Y
Z
c
d
e
a
c
b
d
f
X
Y
Z
c
d
f
c
d
a
c
e
X
Y
Z
b
c
f
b
c
a
d
f
R
ad
af
cb
ea
Q
ec
aaa
ada
adc
adf
bec
cca
ccc
ccf
fd
ff
abb
abd
abf
cab
cad
caf
cfc
dab
ff
ada
adc
add
bcb
cbd
cfa
cfc
cfd
R
ab
ca
db
fb
Q
R
af
be
cd
eb
dda
ddd
ebf
Q
ba
bb
cf
ea
abf
cac
ccd
ccf
dbc
dcb
dcd
ead
R
eaf
Q
fd
bfa
cda
cdc
cde
dbb
dca
dcc
ecc
aaa
adf
bba
bbf
cba
cbf
cde
fcd
R
aa
bf
fb
ff
dad
daf
ebe
fbe
Q
R
ab
ae
cd
de
eca
ecc
ecf
fbe
fca
fcc
fce
Q
-- 1 --
fcf
2003-paź-04, 23:55
D:\materiały\Analiza matematyczna\Elementy logiki\045.doc
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
X
Y
Z
R
Q
7)
8)
9)
10)
11)
12)
13)
14)
-- 2 --
2003-paź-04, 23:55