Lala

Páginas: 3 (603 palabras) Publicado: 27 de noviembre de 2012
ACTIVIDAD INDEPENDIENTE
MATEMATICAS DISCRETAS



SAMUEL PEREZ 1150985

TEMA: TRADUCCIÓN DE FRASES DEL LENGUAJE NATURAL

* Actividad 1: De tres palabras ambiguas y explique suambigüedad con ejemplos?
-Radio
-El radio de la circunferencia es la mitad del diámetro de esta.
-Uno de los principales medios de comunicación es la radio.
-Vino
-El vino blanco es uno de los mascomprados por la gente.
-Luego de la sequia vino una tormenta duradera y fuerte.
-Vaso
-Su derrame fue producido por el rompimiento de un vaso sanguíneo.
-Al bebé dele en vaso de plástico,porque el de vidrio puede ser peligroso.


Así si asumimos una asignación de valores de verdad que haga verdaderas las tres formulas. Esta asignación, debe hacer que p=FALSA y ¬p = VERDADERA. Ahoracomo queremos que p∨q sea verdadera y teniendo a p falsa, entonces q debe ser verdadera. Y como p→q Es verdadera con falsa y q verdadera, podemos concluir que la especificación es consistente.
*ACTIVIDAD 1. Demuestre la misma conclusión pero por el método de la Tabla de Verdad. Explique su Razonamiento.

p | q | ¬p | p v q | p → q |
V | V | F | V | V |
V | F | F |V | F |
F | V | V | V | V |
F | F | V | F | V |

En el caso en el que p es falsa, ¬p es verdadera y q es verdadera las formulas lógicas son verdaderas resultan con valor verdadero,por tal son consistentes con las especificaciones dadas.

ACTIVIDAD 2. Sigue siendo consistentes las especificaciones del sistema, si se añade la sentencia “El mensaje de diagnostico no se vuelvea transmitir”.
p | q | ¬p | ¬q | p v q | p → q |
V | V | F | F | V | V |
V | F | F | V | V | F |
F | V | V | F | V | V |
F | F | V | V | F | V |

Yano sería consistente porque aquí se prueba que la sentencia es falsa cuando las otras especificaciones son verdaderas, obviamente a excepción de p que se requiere de su falsedad para que las demás...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Lalo
  • Lala
  • Lala
  • Lala
  • Lala
  • lala
  • lala
  • lala

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS