Ir al contenido
Menú principal
Menú principal
mover a la barra lateral
ocultar
Navegación
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Buscar
Buscar
Apariencia
Crear una cuenta
Acceder
Herramientas personales
Crear una cuenta
Acceder
Páginas para editores desconectados
más información
Contribuciones
Discusión
Plantilla
:
Reglas de transformación
9 idiomas
Беларуская (тарашкевіца)
English
Euskara
فارسی
Français
日本語
Srpskohrvatski / српскохрватски
Српски / srpski
Українська
Editar enlaces
Plantilla
Discusión
español
Leer
Editar
Ver historial
Herramientas
Herramientas
mover a la barra lateral
ocultar
Acciones
Leer
Editar
Ver historial
General
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Obtener URL acortado
Descargar código QR
Elemento de Wikidata
Imprimir/exportar
Descargar en PDF
Versión para imprimir
Apariencia
mover a la barra lateral
ocultar
De Wikipedia, la enciclopedia libre
Reglas de transformación
Lógica proposicional
Reglas de inferencia
Modus tollendo tollens
/
ponens
Modus ponendo ponens
/
tollens
Introducción del bicondicional
/
eliminación
Introducción de la conjunción
/
eliminación
Introducción de la disyunción
/
eliminación
Silogismo disyuntivo
/
hipotético
Dilema constructivo
/
destructivo
Absorción
Reglas de reemplazo
Asociatividad
Conmutatividad
Distributividad
Doble negación
Leyes de De Morgan
Transposición
Implicación material
Exportación
Tautología
Introducción de la negación
Lógica predicativa
Generalización
/
instanciación universal
Generalización
/
instanciación existencial
Lógica modal
v
t
e
Categoría
:
Wikipedia:Plantillas de navegación