Spis treści
3 kontakty: Implikacja ścisła, Implikacja logiczna, Implikacja materialna.
Implikacja ścisła
W logice ścisły tryb warunkowy (symbol: \Box, lub ⥽) jest implikacjązarządzanąprzez operator modalny, czyli spójnik logiki modalnej.
Zobaczyć Implikacja i Implikacja ścisła
Implikacja logiczna
Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B. Często jest mylona z implikacjąmaterialną, będącąszczególnym przypadkiem zdania.
Zobaczyć Implikacja i Implikacja logiczna
Implikacja materialna
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji p \to q. Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
Zobaczyć Implikacja i Implikacja materialna

