IFI6057ex8
Kasuta solverit http://logictools.org
Hoiatus: vali lahendusmeetodiks resolution või truth table, dpll võib olla bugine
Sisukord
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
Lisa
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.
Kas saame tõestada et:
It rains
The sprinkler is on
Proovi lisada teadmus:
It does not rain
Küsi uuesti sprinkleri kohta. Proovi vastust selgitada.
