Pracujemy nad przywróceniem aplikacji Unionpedia w Google Play Store
TowarzyskiPrzybywający
🌟Uprościliśmy nasz projekt, aby ułatwić nawigację!
Instagram Facebook X LinkedIn
Twoja własna Unionpedia z Twoim logo i domeną, od 9,99 USD/miesiąc
Utwórz mój Unionpedia

Implikacja

Indeks Implikacja

* implikacja materialna.

Spis treści

  1. 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