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 
 

Logické zákony