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.