Coggle requires JavaScript to display documents.
A lei distributiva na lógica proposicional estabelece que a disjunção (OU) e a conjunção (E) seguem um comportamento semelhante à álgebra booleana
A lei condicional permite reescrever uma implicação lógica (→) em termos de disjunção (∨):
Negar duas vezes é afirmar
As leis de De Morgan estabelecem como a negação se distribui sobre operações lógicas: