IFI6057ex8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| 26. rida: | 26. rida: | ||
The unicorn is magical if it is horned. | The unicorn is magical if it is horned. | ||
</code> | </code> | ||
Küsi teadmusbaasist järgmiste asjade tõeväärtust: | |||
<code>unicorn is mythical</code> | |||
<code>unicorn is magical</code> | |||
<code>unicorn is horned</code> | |||
Redaktsioon: 21. november 2016, kell 13:29
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 tõeväärtust:
unicorn is mythical
unicorn is magical
unicorn is horned