Engl. Wikipediassa on artikkeli Entailment http://en.wikipedia.org/wiki/Entailment Olen sitä lukenut ja yrittänyt tajuta jne.
Tyhmä kysymys:
A /\ B oletetaan olevan tosi, ja A oletetaan olevan tosi. B ei voi olla mitään muuta kuin tosi tällöin.
Olenko yhtään jäljillä?
Tyhmä kysymys:
A /\ B oletetaan olevan tosi, ja A oletetaan olevan tosi. B ei voi olla mitään muuta kuin tosi tällöin.
Olenko yhtään jäljillä?
Vastaukset 1
Vanhimmat
Jos operaation A AND B lopputulos on TRUE ja A on TRUE, niin B ei voi olla mitään muuta kuin TRUE.
Eli operaatio A AND B'tä mennään päinvastaiseen suuntaan kuin yleensä: ns. lopputuloksesta operaation jäseniin päin. Lopputulos tiedetään ja operaation jäsen A tiedetään, eli jäsen B päätellään.
Jäsen B ei voi olla FALSE, eli (NOT B) ei voi olla TRUE.
Implikaatio ja entailment nämä ovat kyllä sama asia tai jotain.
Jos on looginen implikaatio p --> q , niin tämähän on (NOT p) OR q.
"p'stä seuraa q" on tosi, eli ((NOT p) OR q ) operaation lopputulos on tosi.
p on totta, jolloin (NOT p) on epätosi. Kun tuo OR operaation lopputulos on totta, ja (NOT P) on epätosi, täytyy olla niin että q on TRUE. Eli tässäkin tiedetään operaation lopputulos ja toinen jäsen.
No kertokaa että olen A) aivan sekaisin vai B) saatan olla oikeassa tai sitten en ole oikeassa tai C) olemme kesälomalla ja emme jaksa perehtyä