Tabla De Verdad

-------------------------------------------------
EJERCICIOS PROPUESTOS UNIDAD No.1-LOGICA PROPOSICIONAL

1. Teniendo como base el documento del Informe de la Visita Empresarial, realizado en la asignatura Visión Emprendedora: (VALOR 2,5)

a) Extraiga y formule cinco proposiciones simples (enunciados lógicos simples). (Valor 10%)

Ejemplos de proposiciones simples o atómicas:
1.La contadora es eficiente.
2. el activo del año es grande
3. Gustavo es alto
4. Teresa va a la fábrica dulce olita
5. los dulces de calidad

b) Con las proposiciones del ítem anterior: i) formule tres proposiciones compuestas, cada una de ellas debe tener como mínimo 4 conectores lógicos diferentes incluyendo la negación (Valor 30%)
Proposiciones Compuestas o moleculares: son aquellasque se forman por unión de proposiciones simples mediante los conectivos lógicos
A) (p → q ) v ~ ( p ^ q )
SI EL ACTIVO DEL AÑO ES GRANDE ENTONCES MEJORARON LAS VENTAS O EL ACTIVO ES A CAUSA DE GESTION Y BUENA TOMA DE DECICIONES EN VENTAS

B) ~p ^(q →(p v R )
NO ES CIETO QUE GUSTAVO POR LO ALTO Y LLEGUE MAS RAPIDO A LA EMPRESA DULCES OLITA ENTONCES LO ATLO NOUNFLUYE EN SU RAPIDES AL CAMINAR ALMENOS DEBE GUSTAVO SER PUNTUAL

C) (p → ¬q) v (~p v r)

SI ES EFICIENTE LA CONTADORA CON EL BALANCE ENTONCES NO TENDREMOS QUE PAGAR LA MULTA O NO TIENE ESTA RESPONSABILIDAD CON LA EMPRESA O TIENE MUCHO TRABAJO.

; ii) plantee las Expresiones Lógicas pertinentes a cada una de las tres proposiciones (Valor 30%);

A) (p → q ) v ~ ( p ^ q )B) ~p ^(q →(p v R )

C) (p → ¬q) v (~p v r)

iii) encuentre los valore de Verdad (tabla de verdad) (Valor 20%) de cada proposición;

a) *(p → q ) v ~ ( p ^ q )

P | → | Q | v | ~ | P | ^ | Q |
V | V | V | V | F | V | V | V |
V | F | F | V | V | V | F | F |
F | V | V | V | V | F | F | V |
F | V | F | V | V | F | F | F |
ES UNA TAUTOLOGIA: TODO LOSVOLORES SON VERDADEROS, ES DECIR QUE LA PROPOCICION PROPUESTA ES UNA TAUTOLOGIA.

b)* ~p ^(q →(p v R )

P | Q | R | ~P | (p v R ) | (q →(p v R ) | ~p ^(q →(p v R ) |
V | V | V | F | V | V | F |
V | V | F | F | V | V | F |
V | F | V | F | V | V | F |
V | F | F | F | V | V | F |
F | V | V | V | V | V | V |
F | V | F | V | F | F | F |
F | F | V | V | V | V | V |
F | F |F | V | F | V | V |

c)* (p → ¬q) v (~p v r)

P | Q | R | ~Q | ~P | P→~Q | ~P v R | (P→~Q) v(~P Vr) |
V | V | V | F | F | F | V | V |
V | V | F | F | F | F | F | F |
V | F | V | V | F | V | V | V |
V | F | F | V | F | V | F | V |
F | V | V | F | V | V | V | V |
F | V | F | F | V | V | V | V |
F | F | V | V | V | V | V | V |
F | F | F | V | V | V | V | V |

iv) por últimoindique el nombre o el tipo de la tabla de verdad resultante en cada uno de los tres casos (Valor 10%)

b) *(p → q ) v ~ ( p ^ q )

P | → | Q | v | ~ | P | ^ | Q |
V | V | V | V | F | V | V | V |
V | F | F | V | V | V | F | F |
F | V | V | V | V | F | F | V |
F | V | F | V | V | F | F | F |

b)* ~p ^(q →(p v R )

P | Q | R | ~P | (p v R ) | (q →(p v R ) | ~p ^(q→(p v R ) |
V | V | V | F | V | V | F |
V | V | F | F | V | V | F |
V | F | V | F | V | V | F |
V | F | F | F | V | V | F |
F | V | V | V | V | V | V |
F | V | F | V | F | F | F |
F | F | V | V | V | V | V |
F | F | F | V | F | V | V |

c)* (p → ¬q) v (~p v r)

P | Q | R | ~Q | ~P | P→~Q | ~P v R | (P→~Q) v(~P Vr) |
V | V | V | F | F | F | V | V |
V | V | F | F | F | F |F | F |
V | F | V | V | F | V | V | V |
V | F | F | V | F | V | F | V |
F | V | V | F | V | V | V | V |
F | V | F | F | V | V | V | V |
F | F | V | V | V | V | V | V |
F | F | F | V | V | V | V | V |

2. Convierte una de las expresiones lógicas del punto 1B que sea no negativo a enunciado negativo o si es negativo a enunciado no negativo, compruebe que la nueva tabla de...