Revisión del 23:50 24 ene 2019 editar SeroBOT (discusión · contribs.) Bots, Reversores 2 109 901 ediciones m Revertidos los cambios de 2803:D100:2000:8F0:1546:F286:D68F:1F71 (disc.) a la última edición de Jualve Etiqueta: Reversión ← Ir a diferencia anterior		Revisión del 22:22 3 feb 2019 editar deshacer Sophivorus (discusión · contribs.) Administradores de interfaz 25 598 ediciones →‎Sistemas formales: Tras asegurarme que los sistemas formales estén claramente mencionados en la sección de Lógica matemática, quito esta sección por ser demasiado específica para un artículo tan general Etiqueta: Edición visual Ir a siguiente diferencia →
Línea 47: === Lógica informal === {{Extracto\|Lógica informal}} ~~== Sistemas formales ==~~ ~~{{Extracto\|Sistema formal}}~~ ~~=== Lógicas clásicas ===~~ ~~{{Extracto\|Lógica clásica}}~~ ~~=== Lógicas no clásicas ===~~ ~~{{Extracto\|Lógica no clásica}}~~ ~~=== Lógicas modales ===~~ ~~{{Extracto\|Lógica modal}}~~ == Historia ==

Diferencia entre revisiones de «Lógica»