Diferencia entre revisiones de «Deducción natural»

4 bytes eliminados ,  hace 3 años
m
Bot: ==== Ejemplo sencillo ==== → === Ejemplo sencillo ===, ==== Ejemplo más complejo ==== → === Ejemplo más complejo === ∵Corregido el nivel jerárquico de la sección PR:CW#25
m
m (Bot: ==== Ejemplo sencillo ==== → === Ejemplo sencillo ===, ==== Ejemplo más complejo ==== → === Ejemplo más complejo === ∵Corregido el nivel jerárquico de la sección PR:CW#25)
== Demostraciones ==
 
==== Ejemplo sencillo ====
 
{|border="1" cellpadding="7" style="border-collapse:collapse;"
|}
 
==== Ejemplo más complejo ====
 
En esta sección se presenta una demostración de una de las [[leyes de De Morgan]]. La misma dice:
223 389

ediciones