nastavit jako výchozí stránku
   
   kultura

Nos
 Pepa, *16.5.1949 (Šumperk), český folkový písničkář. V letech 1974–1982 se profesionálně...

Čechura
 Rudolf, *5.2.1931 (Želénky) – †7.10.2014 (Praha), český spisovatel, scenárista, autor ve...

Béart
 Emmanuelle, *14.8.1965 (Saint-Tropez, Francie), francouzská filmová herečka. Je dcerou skladatele...

Bocelli
 [Bočeli], Andrea, *22.9.1958 (Lajatico), italský operní pěvec (tenor). Od útlého mládí měl špatný...

Arkin
 Alan, *26.3.1934 (Brooklyn, New York, USA), vlastním jménem Alan Wolf Arkin, americký filmový a ...


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 - 2017, OPTIMUS s.r.o.