Zákon výrokovej logiky

Z Wikipédie

Zákon logiky výrokovej

zákon logiky výrokovej je zákon formálnej logiky, ako

zákon jedného argumentu

zákon komutatívnosti

zákon asociatívnosti

zákon distributívnosti

zákon tranzitívnosti

zákon transpozície implikácie

zákon o nahradzovaní funktoru

zákon o zápore zložených výrokov

zákon rozšírenia (expanzie)

.


[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.