Treas

UNIVERSIDAD FERMIN TORO
VICERRECTORADO ACADEMICO
FACULTAD DE INGENIERIA
ESCUELA DE MANTENIMIENTO MECANICO






















Estructuras Discretas I

ProposicionesCarlos J Medina 15.385.618
Junio de 2012

1. Analizar si las siguientes oraciones son proposiciones.



a) Prolog. es un lenguaje declarativo basado enlas reglas de la lógica.

ES UNA PROPOSICION




b) ¿Vienes hoy a clase?

NO ES UNA PROPOSICION




c) 5 es múltiplo de 2.

ES UNA PROPOSICION




d) Pascal es unlenguaje de procedimientos.

ES UNA PROPOSICION




e) Si Borges no hubiera nacido, Sábato sería el mejor escritor argentino.

ES UNA PROPOSICION




f) x + 4 = 10.

ES UNAPROPOSICION




g) Hay números enteros que satisfacen la ecuación x +4 = 10.

ES UNA PROPOSICION




h) Si estudias hoy podrás salir mañana.

NO ES UNA PROPOSICION




i) En laúltima década ha habido un creciente énfasis en el uso de métodos formales para el desarrollo de sistemas hardware y software.

ES UNA PROPOSICION

2. Construir las tablas de verdad de lassiguientes fórmulas proposicionales y además diseñe el circuito lógico asociado.



a) ¬ (¬ p ˄ ¬ q) ˄ (¬ p → ¬ q)



Tabla de la verdad



|p |q |
|V |V|
|V |F |
|F |V |
|F |F |


|¬ |(¬p |˄ |¬q) |˄ |(¬p |→ |¬q)|
|V |F |F |F |F |F |V |F |
|V |F |F |V |F |F |V|V |
|V |V |F |F |F |V |F |F |
|F |V |V |V |V |V...