Hogy tudom igazolni az alábbi következtetés helyességét? Ha nem vagyok figyelmetlen, akkor jól megoldom a példákat. A példát rosszul oldom meg. Tehát figyelmetlen vagyok.

F: figyelmetlen

J: jó megoldás

Implikáció:

-F J / -F->J

0 0 / 1

0 1 / 1

1 0 / 0

1 1 / 1

Az 1.,2.,4. sor megfelel az első kijelentésednek ("igazból nem következhet hamis"). Ha megnézed a 2. és 4. sort, mindkettő jó megoldást (J=1) tartalmaz, mégis tartozhat hozzájuk F=0 és F=1 is, szóval az utolsó kijelentésed nem következik a kiinduló állításokból.

( [link] )