(Eng:
Latijns voor ontkennende modus Gegeven dat) B ONWAAR is en A B, dan geldt dat A ook ONWAAR is.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
modus tollens) Een inferentieregel die veel in de kunstmatige intelligentie wordt toegepast. De klassieke vorm is: gegeven dat B ONWAAR en dat A B impliceert, dan is A ook ONWAAR. De schrijfwijze maakt gebruik van het negatie (¬) symbool: INDIEN ¬B IF ¬B EN A B of AND A B DAN ¬A THEN ¬A Dit wordt ook vaak een contra-positieve vorm...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
Latijns voor ontkennende modus Gegeven dat) B ONWAAR is en A B, dan geldt dat A ook ONWAAR is.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
modus tollens) Een inferentieregel die veel in de kunstmatige intelligentie wordt toegepast. De klassieke vorm is: gegeven dat B ONWAAR en dat A B impliceert, dan is A ook ONWAAR. De schrijfwijze maakt gebruik van het negatie (¬) symbool: INDIEN ¬B IF ¬B EN A B of AND A B DAN ¬A THEN ¬A Dit wordt ook vaak een contra-positieve vorm...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
