IFI6057ex8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| 34. rida: | 34. rida: | ||
<code>unicorn is horned</code> | <code>unicorn is horned</code> | ||
<!-- | |||
== Lisa == | |||
<code> | |||
If it rains, then the grass is wet. If it does not rain, but the sprinkler is on, then the | |||
grass is wet. If the grass is not wet then it doesn't rain. The grass is wet. | |||
</code> | |||
Kas saame tõestada et: | |||
<code>It rains</code> | |||
<code>The sprinkler is on</code> | |||
Proovi lisada teadmus: | |||
<code>It does not rain</code> | |||
Küsi uuesti sprinkleri kohta. Proovi vastust selgitada. | |||
--> | |||
Redaktsioon: 31. oktoober 2017, kell 20:35
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