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
Notificar un error
Buscar
Buscar
Apariencia
Donaciones
Crear una cuenta
Acceder
Herramientas personales
Donaciones
Crear una cuenta
Acceder
Páginas para editores desconectados
más información
Contribuciones
Discusión
Categoría
:
Teoremas de la lógica proposicional
8 idiomas
Беларуская (тарашкевіца)
English
فارسی
Bahasa Indonesia
日本語
한국어
Srpskohrvatski / српскохрватски
Српски / srpski
Editar enlaces
Categoría
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
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir
En otros proyectos
Wikimedia Commons
Elemento de Wikidata
Apariencia
mover a la barra lateral
ocultar
Ayuda
De Wikipedia, la enciclopedia libre
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)
Categorías
:
Lógica proposicional
Teoremas de matemáticas
Teoremas de lógica