Inicio
Al azar
Cercanos
Acceder
Configuración
Donaciones
Acerca de Wikipedia
Limitación de responsabilidad
Buscar
Categoría
:
Teoremas de la lógica proposicional
Idioma
Vigilar
Editar
El artículo principal de esta categoría es:
Lógica proposicional
.
Páginas en la categoría «Teoremas de la lógica proposicional»
Herramientas:
Gráfico
•
Intersección
•
Página aleatoria
•
Búsqueda interna
•
Tráfico
Esta categoría contiene las siguientes 28 páginas:
C
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
F
Teorema de Frege
I
Implicación material
Introducción de la conjunción
Introducción de la disyunción
Introducción del bicondicional
L
Leyes de De Morgan
M
Modus ponendo ponens
Modus ponendo tollens
Modus tollendo ponens
Modus tollendo tollens
Monotonicidad de la implicación
P
Principio de explosión
Principio de identidad
Principio de no contradicción
Principio del tercero excluido
R
Reductio ad absurdum
Resolución (lógica)
S
Silogismo hipotético
Simplificación
T
Tautología (regla de inferencia)
Teorema de consenso
Transposición (lógica)