IFI6057ex8

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