Leyes De Logica Enunciativa
CURSO DE NIVELACIÓN
Ingeniería Industrial A1
ASIGNATURA: Matemática
Integrantes:
Marlon Paredes Calle
Wilfrido Barrera
Joel Almeida
Cristian AvilésDocente: Ing. Rogelio Padilla
Periodo: Octubre Del 2012
INDICE |
Ley del tercio excluido, ley de la contradicción, ley de la negación negada, ley dual de Morgan | 1 |
Leyes del modus, leyesdel modus ponens, leyes del modus tollens, leyes del modus barbara, Primera y segunda ley distributiva, primera ley distributiva. | 2 |
Segunda ley distributiva, Leyes de Idempotencia, Ley deIdempotencia Conjuntiva Ley de Idempotencia Disyuntiva | 3 |
Leyes de Absorción,
Ley de Absorción Conjunto disyuntiva, Ley de Absorción Disyunto conjuntiva. | 4 |
Las leyes de la lógica enunciativaConstituyen las formas enunciativas universalmente válidas. Son muy importantes en matemáticas porque a partir de ellas resultan las reglas de inferencia, que sirven para pasar de enunciadosverdaderos (V) a nuevos enunciados verdaderos. Las leyes más importantes de la lógica enunciativa son:
a) Ley del tercio excluido:
Es la ya nombrada lógica del opuesto: si p es V, entonces ¬p es F.Se llama “ley del tercio excluido” porque un elemento p puede tener tres posibilidades: V, F o ?. Si es V, no puede ser F; si es F, no puede ser V; de manera que excluimos un tercio de posibilidades:b) Ley de la contradicción:
Por extensión del anterior, podemos afirmar que no puede ocurrir a la vez que p sea V y F:
c) Ley de la negación negada (o negación doble):
Es muyusado en el lenguaje cotidiano; responde al ya nombrado principio de “la negación de la negación es la afirmación”:
d) Ley Dual De Morgan:
La Primera Ley de De Morgan afirma que negamos elconjunto de elementos p, q, relacionados por el conjuntor () si y sólo si se cumple ¬p o ¬q:
La Segunda Ley de De Morgan afirma que negamos el conjunto de elementos p, q, relacionados por el disyuntor...
Regístrate para leer el documento completo.