![Logo Matematická biologie](images/logo-matbiol.png)
Zákony pro práci s výroky
Následující seznam obsahuje některé základní tautologie výrokové logiky, které se používají při úpravách výroků.
|
identita, zákon totožnosti |
|
zákon dvojí negace |
|
zákon vyloučení třetího |
|
zákon idempotence |
|
zákon idempotence |
|
komplementárnost konjukce |
|
komplementárnost disjunkce |
|
komutativní zákon pro konjukci (nezáleží na pořadí) |
|
komutativní zákon pro disjunkci (nezáleží na pořadí) |
|
asociativní zákon pro konjukci (nezáleží na uzávorkování) |
|
asociativní zákon pro disjunkci (nezáleží na uzávorkování) |
|
distributivní zákon ("roznásobování" závorek) |
|
distributivní zákon ("roznásobování" závorek) |
|
de Morganův zákon pro negaci konjunkce |
|
de Morganův zákon pro negaci disjunkce |
|
negace implikace |
|
náhrada za implikaci |