nastavit jako výchozí stránku
   
   kultura

ASPM
 Česká hudební skupina založená roku 1984 Janem Spáleným, Petrem Kalandrou a Františkem...

Bonaventura
 Jan, *21.3.1943 (Praha) – †14.6.1999 (Praha), český televizní režisér a příležitostný...

Cleese
 John, *27.10.1939 (Weston-super-Mare, Somerset, Velká Británie), vlastním jménem John Marwood Cleese...

Thompson
 Emma, *15.4.1959 (Paddington, Londýn, Velká Británie), britská filmová, televizní a divadelní...

Traband
 Česká hudební skupina založená roku 1995 nejprve jako tříčlenná ve složení Jarda Svoboda (zpěv...


implikace
Symbolická logika, spojení zpravidla interpretované obratem "jestliže – tedy"; též výroky vytvořené na základě takového spojení. V implikacích rozlišujeme antecedent, tj. výrok, jemuž předchází slovo "jestliže", a konsekvent, tj. výrok následující za slovem "tedy". I. není formalizací logického vyplývání. Toto nesprávné chápání vedlo v minulosti k tzv. paradoxům materiální i, (v,t. antinomie implikace), neboť mat. i. je dána pouze maticí pravdivostních hodnot:

P Q P→Q
1 1 1
1 0 0
0 1 1
0 1 1

C. I. Lewis definoval s použitím modálních funktorů striktní implikace (symbolicky p < q: není možné, aby antecedent platil a konsekvent neplatil), avšak i v tomto pojetí vznikají analogické antinomie. Proto vznikly další pokusy, A. W. Burks se pokusil formalizovat kauzální i.mplikace, W. Ackerman vytvořil přísnou implikaci.


 

Odkazující hesla: ekvipolence, funktor
Vytvořeno: 14.3.2000
Aktualizováno: 13.7.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2018, OPTIMUS s.r.o.