IFI6057ex8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
| 27. rida: | 27. rida: | ||
</code> | </code> | ||
Küsi teadmusbaasist järgmiste asjade | Küsi teadmusbaasist järgmiste asjade kehtivust: | ||
<code>unicorn is mythical</code> | <code>unicorn is mythical</code> | ||
Redaktsioon: 21. november 2016, kell 13:53
Kasuta solverit http://logictools.org
Hoiatus: vali lahendusmeetodiks resolution või truth table, dpll võib olla bugine
Soojendus
Leia kõik väärtustused mil (A v B) & ~A on tõene
Tõestus
Tõesta DeMorgani seadus ühes suunas
~(A & B) -> ~A v ~B
Tõesta Modus Ponens
(P & (P -> Q)) -> Q
Teadmusbaas
Tee teadmusbaas (lausearvutuses):
If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a
mortal mammal. If the unicorn is either immortal or a mammal, then it is horned.
The unicorn is magical if it is horned.
Küsi teadmusbaasist järgmiste asjade kehtivust:
unicorn is mythical
unicorn is magical
unicorn is horned