Mléko je v zelené krabici. Víno je v červené krabici, nebo mléko není v zelené krabici.
z(m)
c(v) or not z(m)
-------------
z(m)
c(v)
(udelejte si z toho z(m) treba zm, pokud chcete mit jo vyrokovou - uvedomuju si, ze jsem to napsal spise v predikatove, ale na zbytek to nema zadny vliv)
a pak tedy
Víno je v červené krabici.
c(v) - PLATI
Jestliže je víno v hnědé krabici, pak je mléko v zelené krabici.
h(v)->z(m)
- PLATI, nezavisle na platnosti h(v)
Mléko je v zelené krabici nebo mléko není v zelené krabici.
z(m) or not z(m)
- PLATI VZDY, tautologie
Mléko není v červené krabici.
not c(m)
- PLATI
Jestliže je mléko v hnědé krabici, pak je víno v červené krabici.
h(m)->c(v)
- PLATI, nezavisle na platnosti h(m)
Takze jaka je spravna odpoved? Jako dusledek tech dvou vet muze byt oznacena jakakoliv odpoved. Tak mi to vyvratte, co je v me uvaze spatne...