Verze z 17. 11. 2008, 14:57 editovat Thijs!bot (diskuse \| příspěvky) 86 573 editací m robot přidal: nl:Logische implicatie, sv:Implikation ← Přejít na předchozí porovnání		Verze z 1. 12. 2008, 19:42 editovat zrušit editaci Svick (diskuse \| příspěvky) 434 editací m →‎Souvislost implikace s matematickými důkazy Přejít na další porovnání →
Řádek 40: Stačí mi nade vší pochybnost prokázat pravdivost výroku:<br /> <math> (A_1 \and A_2 \and \ldots \and A_n) \implies X </math><br /> Pokud se mi to podaří, pak podle pravdivostní tabulky musí být pravdivý i výrok <math>X</math> -— to je podstata [[Přímý důkaz\|přímého důkazu]]. == Související články ==

Implikace: Porovnání verzí