Tabulka pravdivostních hodnot základních složených výroků: Porovnání verzí
Smazaný obsah Přidaný obsah
značka: editace z Vizuálního editoru |
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
||
Řádek 579:
:<math>\rightarrow</math> = implikace
:<math>\leftarrow</math> = zpětná implikace
:<math>\iff</math> ekvivalentní k <math>\underline{\
:<math>\underline{\lor}</math> ekvivalentní k ⊕
| |||