logikai következtetés

Kapcsolódó fogalmak: 
implikáció
Rövid szöveges bemutatás: 
A logikai következtetés egy kikövetkeztetési folyamat. Akkor következik egy A mondatból egy B mondat logikailag, ha minden olyan esetben amikor A igaz, igaz B is. Tehát ez egy ok-okozat összefüggést vizsgál. Nem zárja ki azt az esetet, hogy B igaz lehet, de nem azért mert A is igaz. Ez az implikáció egy szűkített esete. A logikai következtetés esetében az A állítás a B állítás bizonyítékaként szolgál. Jele: A ⊨ B.