Accions

Recurs

Exemple lleis del pensament

De Wikisofia

La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.

Del principi de no contradicció, aplicant les lleis de De Morgan –altres lleis del pensament– s'obté tant el principi del tercer exclòs, i d'aquest el d'identitat, perquè equival a la definició de condicional material

[math]\displaystyle{ ¬(p\wedge¬p) = ¬p \vee p }[/math] per De Morgan
[math]\displaystyle{ (¬p \vee p) = (p \rightarrow{p}) }[/math] per definició del condicional