Implikace: Porovnání verzí

Smazaný obsah Přidaný obsah
Movses-bot (diskuse | příspěvky)
m r2.6.2) (robot přidal: pms:Amplicassion
m →‎V logice: Jednocení logických spojek
Řádek 4:
 
== V logice ==
[[Logika|Logická]] implikace je [[logická operace]] se dvěma proměnnými ([[binární operace]]), jejíž hodnota je ''nepravda'', [[právě když]] hodnota první proměnné je ''pravda'' a druhá je ''nepravda''. Označuje se symbolem <math> \impliesRightarrow </math> nebo <math> \rightarrow </math>, který naznačuje, že implikace není komutativní čili obě proměnné nelze zaměnit.
 
=== Definice ===
Řádek 10:
 
{| {{wikitabulka}}
! ''A'' !! ''B'' !! ''A'' <math> \impliesRightarrow </math> ''B''
|- align=center
| 0 || 0 || 1