Inicio
Al azar
Cercanos
Acceder
Configuración
Donaciones
Acerca de Wikipedia
Limitación de responsabilidad
Buscar
Categoría
:
Reglas de inferencia
Idioma
Vigilar
Editar
El artículo principal de esta categoría es:
Regla de inferencia
.
Páginas en la categoría «Reglas de inferencia»
Herramientas:
Gráfico
•
Intersección
•
Página aleatoria
•
Búsqueda interna
•
Tráfico
Esta categoría contiene las siguientes 33 páginas:
Regla de inferencia
A
Absorción (lógica)
Asociatividad (álgebra)
C
Conmutatividad
Contraposición lógica
D
Dilema destructivo
Dilema constructivo
Doble negación (lógica)
E
Eliminación de la disyunción
Eliminación del bicondicional
Exportación (lógica)
G
Generalización existencial
Generalización universal
I
Implicación material
Inferencia inmediata
Instanciación existencial
Instanciación universal
Introducción de la conjunción
Introducción de la disyunción
Introducción de la negación
Introducción del bicondicional
L
Leyes de De Morgan
Leyes del pensamiento
M
Modus ponendo ponens
Modus ponendo tollens
Modus tollendo ponens
Modus tollendo tollens
R
Anexo:Reglas de inferencia
Reglas de reemplazo
S
Silogismo hipotético
Simplificación
T
Tautología (regla de inferencia)
Transposición (lógica)
