IFI6057ex8: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Uus lehekülg: 'Kasuta solverit http://logictools.org Hoiatus: vali lahendusmeetodiks ''resolution'' või ''truth table'', ''dpll'' võib olla bugine == Soojendus == Leia kõik väärtustused...' |
Resümee puudub |
||
| 12. rida: | 12. rida: | ||
<code>~(A & B) -> ~A v ~B</code> | <code>~(A & B) -> ~A v ~B</code> | ||
Tõesta Modus Ponens | |||
<code>(P & (P -> Q)) -> Q</code> | |||
== Teadmusbaas == | == Teadmusbaas == | ||
Tee teadmusbaas (lausearvutuses): | |||
<code> | |||
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. | |||
</code> | |||
Redaktsioon: 21. november 2016, kell 13:13
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.