Implikacja materialna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
skąd to jest? |
Nie podano opisu zmian |
||
Linia 31:
; Definicja klasyczna
: Znak "<" przyjęto nazywać znakiem implikacji, od łac. ''implico'' – wplatam, dla zaznaczenia, ze następnik jest niejako wpleciony, wwikłany w poprzednik, skoro w prawdziwej implikacji poprzednik nie może być prawdziwy bez prawdziwości następnika. Samo zaś zdanie postaci "p < q", czyli zdanie warunkowe, nazywa się częstokroć wprost ''implikacją''. ([[Tadeusz Kotarbiński|T. Kotarbiński]], ''Elementy teorii poznania, logiki formalnej i metodologii nauk'', Warszawa, PWN, 1986 (1929), str. 140).
Nieintuicyjność implikacji materialnej stała się inspiracją dla konstrukcji pojęcia [[implikacja ścisła|impikacji ścisłej]], a przez to zaczynem współczesnych badań nad [[logika modalna|logikami modalnymi]].
== Przykłady ==
|