Iti0210ex7: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| 14. rida: | 14. rida: | ||
<code>~(A & B) -> ~A v ~B</code> | <code>~(A & B) -> ~A v ~B</code> | ||
<div class="toccolours mw-collapsible mw-collapsed" style="width:400px; overflow:auto;"> | |||
'''Lahendus''' | |||
<div class="mw-collapsible-content"> | |||
Lahendus siin | |||
</div></div> | |||
Tõesta Modus Ponens | Tõesta Modus Ponens | ||
Redaktsioon: 15. märts 2020, kell 18:21
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
Lahendus
Lahendus siin
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