Scribd
Cargar
141 vistas4 páginas

Simplificación y Condiciones Lógicas

Este documento presenta ejemplos de simplificación de formas proposicionales utilizando las leyes del álgebra. Se resuelven cuatro ejercicios como demostración aplicando las leyes de absorción, asociatividad, conmutatividad, complementación e identidad. También se explican conceptos de condición suficiente, necesaria y ni suficiente ni necesaria a través de varios ejemplos. Finalmente, se deja como tarea para los estudiantes resolver dos ejercicios de simplificación y determinar si una proposición es condición suficiente o

Cargado por

Guillermo Da Silva
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
141 vistas4 páginas

Simplificación y Condiciones Lógicas

Este documento presenta ejemplos de simplificación de formas proposicionales utilizando las leyes del álgebra. Se resuelven cuatro ejercicios como demostración aplicando las leyes de absorción, asociatividad, conmutatividad, complementación e identidad. También se explican conceptos de condición suficiente, necesaria y ni suficiente ni necesaria a través de varios ejemplos. Finalmente, se deja como tarea para los estudiantes resolver dos ejercicios de simplificación y determinar si una proposición es condición suficiente o

Cargado por

Guillermo Da Silva
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

UNEFA-GUACARA LÓGICA MATEMÁTICA

INGENIERIA DE SISTEMA PROF. OMAR CAMPOS

LEYES DEL ÁLGEBRA

SIMPLIFIQUE LAS SIGUIENTES FORMAS PROPOSICIONALES, UTILIZANDO LAS LEYES DEL


ÁLGEBRA:

1. [(p˄q)˄q]˄[(p˄p)˄ ~p]
Ξ q˄ [(p˄q)˄~p]; Por Ley de Absorción
Ξ q˄ [p˄(q˄~p)]; Por Asociativa
Ξ q˄ [p˄(~p˄q)]; Por Conmutativa
Ξ q˄ [(p˄~p)˄q]; Por Asociativa
Ξ q˄(F˄q); Por Complementación
Ξ q˄F; Por Identidad
Ξ F; Por Identidad

2. ~(p˄q)˄p
Ξ (~p˅~q)˄p; Ley de Morgan
Ξ (~p˄p)˅(~q˄p); Distributiva
Ξ F ˅ (~q˄p); Por Complementación
Ξ ~q˄p; Identidad de la Disyunción
3. p ˄[(q˄r)˅~(q˄r)]
Ξ p ˅ V, Ley de Complementación
Ξ p, Identidad

4. [(~p→~q)→~(~q→p)]↔~(q→~p)
Ξ [~(~p→~q)˅~(~q→p)]↔~(q→~p); Equivalencia Condicional
Ξ {~[~(~p)˅~q]˅~[~(~q)˅p]} ↔~(~q˅~p); Equivalencia Condicional
Ξ [~(p˅~q)˅~(q˅p)] ↔~(~q˅~p); Involución
Ξ [(~p˄q)˅(~q˄~p)] ↔(q˄p); Ley de Morgan
Ξ ~p˄(q˅~q) ↔(q˄p); Distributiva
Ξ ~p˄ V ↔(q˄p); Complementación
Ξ ~p ↔(q˄p); Identidad
Ξ [~p→(q˄p)]˄[(q˅p) →~p]; Equivalencia Bicondicional
Ξ [~(~p)˅(q˄p)]˄[~(q˄p)˅~p]; Equivalencia Condicional
Ξ [p˅(q˄p)]˄[~(q˄p)˅~p]; Involución
Ξ p˄[~(q˄p)˅~p]; Absorción
Ξ p˄[(~q˅~p)˅~p]; Morgan
Ξ p˄[~q˅(~p˅~p)]; Asociativa
Ξ p˄(~q˅~p)]; Idempotencia
Ξ (p˄~q)˅(p˄~p); Distributiva
Ξ (p˄~q)˅ F, Complementación
Ξ (p˄~q), Identidad
Asignación 3er corte (Parte 1)
De los ejercicios facilitado en las imágenes adjuntas enumeradas
del 1 al 23, Simplifique sólo Dos (2) Formas Proposicionales
utilizando las Leyes del Álgebra. Nota: No olvide justificar cada
paso, así como puede observar los ejercicios resueltos. Valor cada
uno 5 Puntos total 10 Puntos.

CONDICIÓN SUFICIENTE Y/O NECESARIA

EJEMPLO 1
Estudiar si es Condición Suficiente y Necesaria.
Sí está lloviendo entonces María se caerá por las escaleras.
Antecedente Consecuente
R: No es condición suficiente, dado el hecho que llueva no quiere decir que María
se caiga.
Nota: Cambio el sentido por ser reciproco.
Sí María se cae por las escaleras, entonces lloverá
Antecedente Consecuente
R: No es condición necesaria, puesto que el hecho de que María se caiga no
quiere decir que lloverá.
Ejemplo 2
N: Pedro es Mayor que Juan M→N
M: Juan es Hijo de Pedro
Estudiar si es Condición Suficiente y Necesaria se realizan 2 estudios.
2.1 M es Condición Suficiente para N: M→N
[Juan es hijo de Pedro] → [Pedro es Mayor que Juan]
Sí es cierto, es condición suficiente porque si Juan es hijo de Pedro, entonces
Pedro es mayor que Juan.
2.2 M es Condición Necesaria para N: N→M
[Pedro es Mayor que Juan] → [Juan es hijo de Pedro]
No es Verdadero, No es condición necesaria, porque el hecho de que Pedro sea
mayor que Juan no quiere decir que sea su padre.

Ejemplo 3
P: a<0 ˄ b<0 q: a.b˃0
3.1 Condición Suficiente p→q
[a<0 ˄ b<0] → [a.b˃0]
Sí es Condición Suficiente Puesto que si dos elementos son negativos entonces
su producto será positivo.
3.2 Condición Necesaria q→p
[a.b˃0]→ [a<0 ˄ b<0]
P No es Condición Necesaria para q, dado que en un producto entre dos
elementos sean positivos no quiere decir que cada uno de dichos elementos sean
negativos porque se puede dar el caso de ambos elementos sean positivos.

Asignación 3er Corte (Parte 2)


Dadas las siguientes proposiciones. Determine sí p es condición suficiente
y/o necesaria para q:
1. P : √ b=± a q :b> 0 (4 Ptos.)
2. P: (p˄S) es verdadera q: S es verdadera (3 Ptos.)
3. P: M es múltiplo de 5 q: M es divisible por 2 y 5 (3 Ptos.)
Total: 10Puntos

FECHA DE ENTREGA: VIERNES, 29 DE MAYO DE 2020


A PARTIR DEL LUNES 11 DE MAYO PUEDEN REVISAR LAS
NOTAS DEL 1ER Y 2DO CORTE DESDE EL SICEU.
SÓLO RECIBIRE ESTA ACTIVIDAD EN PDF A TRAVÉS DE MI
CORREO: heuristica0119@[Link]

También podría gustarte