Negace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Bot: Odstranění 36 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q190558) |
→Definice: Upřesnění definice značky: editace z mobilu editace z mobilního webu |
||
Řádek 5:
== Definice ==
Negace je opět výrok, který vznikne předřazením "není pravda, že" před původní výrok.
Pro vstup <math>A</math> vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):
|