DeletedUser34128
Guest
jenom par zakladnich poucek
1. A => A
2. B => B
3. A and B => A
4. A and B => B
5. -(A and B) = -A or -B
6. -(A or B) = -A and -B
no podrobneji treba tady: http://www.cs.vsb.cz/duzi/Mat-logika.html
ale kdyz mam nastaveny na skupinu pravidla
A: ze hlavni budova je mensi nez 20
B: ze kovarna je mensi nez 20
zkombinuju pomoci and
A and B, tak z toho jasne vim ze v kazde vesnici ve skupine plati (A and B)
no a usudkem (podle 3) tedy plati A, usudkem (podle 4) plati B
no a ted neco komplikovanejsiho:
pokud nastavim A or B, a podivam se na vesnici, ktera neni v te skupine, tedy plati -(A or B)
tedy pro tu vesnici plati (-A and -B) podle 6, a podle 3,4 tedy plati -A, -B
ted vidim ze mam ve skupine s pravidlem (A and B) 50 vesnic a ve skupine s pravidlem (A or B) 10 vesnic
vezmu tu vesnici pro kterou plati -(A or B), je v ni urcity pocet ctyriceti vesnic ze skupiny s pravidlem (A and B)
vsimnete si ze pro tyto vesnice plati pravidla -A, -B, A, B
=> prave mam ve vesnici dve hlavni budovy a dve kovarny.
QED
1. A => A
2. B => B
3. A and B => A
4. A and B => B
5. -(A and B) = -A or -B
6. -(A or B) = -A and -B
no podrobneji treba tady: http://www.cs.vsb.cz/duzi/Mat-logika.html
ale kdyz mam nastaveny na skupinu pravidla
A: ze hlavni budova je mensi nez 20
B: ze kovarna je mensi nez 20
zkombinuju pomoci and
A and B, tak z toho jasne vim ze v kazde vesnici ve skupine plati (A and B)
no a usudkem (podle 3) tedy plati A, usudkem (podle 4) plati B
no a ted neco komplikovanejsiho:
pokud nastavim A or B, a podivam se na vesnici, ktera neni v te skupine, tedy plati -(A or B)
tedy pro tu vesnici plati (-A and -B) podle 6, a podle 3,4 tedy plati -A, -B
ted vidim ze mam ve skupine s pravidlem (A and B) 50 vesnic a ve skupine s pravidlem (A or B) 10 vesnic
vezmu tu vesnici pro kterou plati -(A or B), je v ni urcity pocet ctyriceti vesnic ze skupiny s pravidlem (A and B)
vsimnete si ze pro tyto vesnice plati pravidla -A, -B, A, B
=> prave mam ve vesnici dve hlavni budovy a dve kovarny.
QED