Implikace: Porovnání verzí
Smazaný obsah Přidaný obsah
+ etym, drobné rozšíření a úpravy |
m -odkaz na Nor |
||
Řádek 1:
'''Implikace''' (z [[latina|lat.]] ''implicatio'', propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí. Skutečnost nebo výpověď A implikuje nějaké B pokud z A nutně vyplývá B, případně pokud je B v A už zahrnuto čili '''implikováno'''. Příklad:
Téhož původu je i slovo '''implicitní''', nevyslovený, předpokládaný, zamlčený.
Řádek 9:
Pro vstupy (proměnné) ''A'' a ''B'' vypadá pravdivostní tabulka implikace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):
{| {{wikitabulka}}
! ''A'' !! ''B'' !! ''A'' <math> \implies </math> ''B''
|- align=center
| 0 || 0 || 1
|- align=center
| 0 || 1 || 1
|- align=center
| 1 || 0 || 0
|- align=center
| 1 || 1 || 1
|}
== Vlastnosti ==
Řádek 50:
== Související články ==
* [[Booleova algebra]]
* [[
* [[
* [[
▲* [[Logický klam#To nevyplývá! (non sequitur)|Logický klam]]
[[Kategorie:Logika]]
| |||