Zbadać prawdziwość zdania: Warianty

D:\materiały\Analiza matematyczna\Elementy logiki\059.doc
Zbadać prawdziwość zdania:
2003-paź-04, 23:33
∃ x∈ X

 ∃ y ∈Y  
  ∃ y ∈Y 


¬ 
 ⇔  ∀ z ∈ Z  
 Q ( x, y , z )  
  R ( x, y ) 



Warianty:
X
1
R
Y
Z
Y
Z
R
R
dea eee
dec
eea
eed
X
ebd fdb
eda fde
edb
ede
10
4
Y
Z
R
dda fce
dde
fac
fca
11
Q
c a a ac eb aec ced eea
d e b bf ee bad daa eeb
e
d ce
ccb dab eed
da
cea dad
5
12
Y
Z
Y
Z
Y
Z
Q
aab
aac
aae
bbc
R
R
13
bbe eae
cfa fdc
dad
eac
bba
bdc
cec
cee
cef fec
dee fef
def
efc
bae
baf
cee
cfe
ddb eef
deb
dee
eeb
14
Q
Y
Z
Q
R
Y
Z
Q
acc
cfb
cfd
ddd
R
Y
Z
ddf fff
ebe
eec
ffd
Q
R
Y
Z
Y
Z
Q
aba
bcb
bcd
bce
dcb fac
dce
eee
fab
ade
adf
cbc
cbe
cbf dbe
cfc ebc
dbb
dbc
R
a b c bd
c d e cf
d
f ed
X
Q
R
b a b ad
d e e bf
e
f cc
X
8
R
c e c cf
d f e db
f
f dc
fc
X
7
Z
a a b ab
b b c ac
e
e bf
cd
X
6
Y
R
b a b bb
d c c cd
f
e ed
fa
X
X
Z
b a b bb df bab dfc fae
d f c be
bac dfe fbf
f
e bf
bae efc fcc
ca
dfb fab
X
X
Y
c d b ad
d f d fa
f
f fb
X
Q
bab
bca
bcd
cca
X
a d b ad fc abd bdb eee
b e e bc
adb bde fcb
e
f be
adc bdf
bf
adf eeb
Q
adb
ade
bbd
dcc
b c a af
d d d ca
f
e cb
dd
9
Q
bba
bbc
cbd
dbb
a a a ac
e d b ea
f
e ec
fb
X
3
Z
b b a be
d e c da
e
e fb
ff
X
2
Y
R
Q
Q
c b b ab fe ace cbf feb
e e c ce
adc ccf fec
f
f dd
cbb eeb fef
fd
cbc eef
X
Y
Z
R
Q
X
Y
Z
R
Q
15
16
Q
b c a ab cf adf cbd dfd
c f c ae
bca cca eca
e
d bc
bcc ccc ecc
ce
bcd ccd
-- 1 --