Zákon výrokovej logiky
Zákon výrokovej logiky je zákon formálnej logiky.
|
Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |
Napríklad[upraviť | upraviť zdroj]
- 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)
Externé odkazy[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.