Zbadać prawdziwość zdania: . Warianty

D:\_AND\001\PR_NAUK\2003\29_LOGIKA\060.doc
Zbadać prawdziwość zdania:
2003-sie-03, 12:46
∃ x∈ X
  ∃ y ∈Y   ∀ y ∈Y  

 
 .
∃ z ∈ Z  ∨ ∀ z ∈ Z 
  R ( x, y , z )   Q ( x, y , z )  
 


Warianty:
X
1
Y
Z
Y
Z
Y
Z
Y
Z
Y
Z
bde
cac
cbb
cbe
cfb
cfe
cff
dbb
dbe
dbf
dfb
dff
aac
adb
ade
adf
afb
afe
aff
bdb
bde
bdf
bfe
bff
cbd
cbe
cdc
cdd
cde
dbc
dbd
dbe
ddc
dde
eae
ebc
adf
bbc
bbe
bbf
bcc
bdc
bde
bdf
bbb
cbc
cbe
cfb
cfc
cfe
dbb
dbe
dbf
dfb
dfc
dfe
R
aec
aef
bdc
bdf
beb
bec
bef
cbf
ada
adb
adc
aeb
aec
bdf
bef
cda
cdc
cea
ceb
cec
R
X
10
X
ebd ede
ebe eed
edc fcb
edd
11
bfe ece
ebc edc
ebe edf
ebf
12
13
14
15
Q
aab
aac
aad
adb
adc
cee
dac
dad
ddb
ddc
ddd
dde
16
-- 1 --
Z
Y
Z
Y
Z
Y
Z
Y
Z
bcd
cbc
cde
ebb
ebc
ebd
ecb
ecc
abb
abe
abf
adb
ade
bab
bbb
bbe
bdb
bde
bdf
edd
edf fde
fbb fdf
fbe
fbf
Q
baf
bca
bcc
bfa
bfc
bfd
cca
ccc
cce
cfa
cfc
cfd
dca dfc
dcd dfd
dec
dfa
Q
aab
aad
aaf
abc
abd
abf
bed
daa
dab
dad
daf
dbd
cad
dab
dac
dae
dca
dcb
dcc
ddf
eab
eac
eae
ecb
R
dbf ebb
eab ebd
ead
eaf
Q
R
ece fcc
fab fce
fac
fae
Q
abb
abc
abd
afb
afc
afd
bbb
bbd
bfb
bfc
bfd
dcc
bab
bac
baf
bcb
bcf
caa
dab
dac
dcb
dcc
dcd
dcf
R
R
ecd fcb
fbb fcd
fbc fec
fbd
Q
R
b a b aae
d c c adb
f
f baa
efd
X
eab edc
eac edd
ead eeb
edb
Y
bbb
bbc
bcb
bcc
R
a b b aab
b f c cac
e
d dac
dee
X
cee deb
ddb dec
ddc
dea
Z
Q
R
d a b acc
e c c bfa
f
e ddd
ece
X
ddb def
ddf fde
deb
dec
Y
Z
a a b aba
d b d bfa
e
f dfb
fdc
X
fbb ffc
fbc ffe
fbe
fdf
Y
b c a ace
c f c bed
d
d cfe
eeb
X
Q
R
R
a b b bdd
b d e bfb
f
f dde
eee
Q
aaa
adb
adc
adf
Z
cbf cfe
cdb cff
cde dca
cdf
Q
R
Y
b b b adf
e c c cac
f
d dbb
ece
Q
abe
abf
adc
ade
X
ebe eff
ebf fad
efb
efe
Q
R
a a b bbe
d d c bbf
e
d dee
feb
9
Q
R
a d a cec
c e b dfa
d
c fab
fda
X
8
Z
a d b aba
b e c bcd
d
f edb
eee
X
7
Y
Q
R
c b b cac
d f c cae
f
e ceb
cee
X
6
Z
a b c acf
b d e cab
e
f dcf
fad
X
5
Y
c b c aec
d d d bfa
e
e caa
ebd
X
4
R
a d b ccc
b f e dfd
c
f ebc
eef
X
3
Z
c b b bba
d f e dda
e
f ecc
ffd
X
2
Y
dea efb
ebb efc
ebc efd
eec
Q
Q
fab fcd
fac fcf
fcb
fcc