zákon komutace
zákon komutace, log. zákon záměny premis - formule výrokové logiky "jestliže p, pak (jestliže q, pak r)" je ekvivalentní s formulí "jestliže q, pak (jestliže p, pak r)". Antecedenty p, q, jsou vzhledem ke konsekventu r navzájem zaměnitelné.
