IFI6057ex8

Allikas: Lambda

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


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.