sp9uxy pisze:





Za Wiki :


Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) i jest spełniona, gdy każdy model teorii jest także modelem teorii . Często jest mylona z implikacją materialną, będącą szczególnym przypadkiem zdania.

Gdybyś to wiedział pewnie nie byłbyś na emigracji.