Taller De Preposiciones

Universidad abierta y a distancia (unad) |

Taller Final |

Lógica Matemática |

|

Tutora: Iveth Mendoza Programa: Ingenieria De SistemasGrupo: 22 |

29/05/2012 |

|

1) Determinar si los siguientes enunciados son proposiciones:

a) El sabor del color azul es dulce

b) 314159 es un numero par

c) 4 es divisible por 2

d) Disparen al ladrón

e) x2+2x+1=0

f) 45+18

g) El amanecer es bello

SOLUCION: a) No es proposición e) No es proposición

b) Si es proposición f) No es proposición

c) Si es proposición g) No es proposición

d) No es proposición

2) Dadas las siguientes proposiciones:

a: Elizabeth cumple con sus obligaciones

B: Elizabeth aprueba el examen

C: Elizabeth se va de vacaciones

D: Elizabeth trabaja

E: Elizabeth no come

Traducir literalmente las siguientes proposiciones:

a → ~ [ b → ~c v d]

(~c v d ) Elizabeth no se va de vacaciones o trabaja

[b →~c v d ] Si Elizabeth aprueba el examen, entonces no se va de vacaciones o

Trabaja.

1) ~ [b →~c v d] No es verdad que, Si Elizabeth aprueba el examen entonces no se va

De vacaciones o trabaja

a → ~[ b →~c v d ] Si Elizabeth cumple con sus obligaciones, no es verdad que,

aprueba el examen, entonces no se va de vacaciones o trabaja.

3)

“Si tu eres inteligente y no actúas con prudencia, eres un ignorante en la materia” es teniendo las proposiciones:

a) a ˄~b→c

b) a v (b v c )

c) c →( a ˄ ~ b )

d) ( a ˄ a ˄ ~ c→b

e) a → ~ ( b ˄ ~ c)

SOLUCION:

Si tú eres inteligente y no actúas con prudencia, eres un ignorante en la materia

Si a y no b entonces c

a) a ˄ ~ b→c

...