Iti0210ex7: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Uus lehekülg: '= Loogika ja järeldamine = Kasuta solverit http://logictools.org Hoiatus: vali lahendusmeetodiks ''resolution'' või ''truth table'', ''dpll'' võib olla bugine == Soojendus...' |
Resümee puudub |
||
| 36. rida: | 36. rida: | ||
<code>unicorn is horned</code> | <code>unicorn is horned</code> | ||
[[Category:Iti0210]] | |||
Redaktsioon: 9. märts 2020, kell 20:43
Loogika ja järeldamine
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