De Morganovy zákony: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace značka: editace z Vizuálního editoru |
Bez shrnutí editace |
||
Řádek 23:
*<math>\wedge</math> je [[Konjunkce (matematika)|konjunkce]] (AND)
*<math>\vee</math> je [[disjunkce]] (OR)
*<math>\iff</math> je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit".
|