Zákon výrokovej logiky

Zákon výrokovej logiky je zákon formálnej logiky.

Napríklad

• 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

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