Implikace: Porovnání verzí
Smazaný obsah Přidaný obsah
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> \
=== Definice ===
Řádek 10:
{| {{wikitabulka}}
! ''A'' !! ''B'' !! ''A'' <math> \
|- align=center
| 0 || 0 || 1
|