Tacnologia

Solo disponible en BuenasTareas
  • Páginas : 2 (312 palabras )
  • Descarga(s) : 0
  • Publicado : 13 de mayo de 2011
Leer documento completo
Vista previa del texto
EJERCICO DE PROFUNDIZACION N.2

LOGICA MATEMATICA

DAYANNA ALEXANDRA IGUA JURADO
T.I. 93072108157

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ECASEN
QUIMICA
SABADO 2 DE ABRIL
PASTO
20111.Construir la tabla de verdad para cada una de las siguientes proposiciones

1.1 (p q r) (pq r) (p q r)

3
2 = 8
P | q | r | P qr | pqr | pqr | (pqr)(pqr) |
11110000 |11001100 | 10101010 | 10000000 | 00000100 | 00000001 | 10000100 |

pqr) (p qr) ( p q r) |
10000101 |

1.2 p (q r) pq ) pr)
3
2 = 8
p | q | r | q r | P qr | pq | pr | pq ) pr) |11110000 | 11001100 | 10101010 | 11101110 | 11101111 | 11001111 | 10101111 | 11101111 |

p (q r) pq ) pr) |
11111111 |

2. Indicar el cuantificador que se debe utilizar en cada una de lassiguientes proposiciones

2.1 algunas manzanas están verdes
Se debe utilizar el cuantificador existencial ()
2.2 todos los computadores son eléctricos
Se debe utilizar el cuantificadoruniversal ()
2.3 existen números negativos
Se debe utilizar el cuantificador existencial ()
2.4 algunos enteros son positivos
Se debe utilizar el cuantificador existencial ()
2.5 todos los cuadradosson rectángulos
Se debe utilizar el cuantificador universal ()
3. para cada uno de los siguientes argumentos, obtenga una conclusión valida empleando todas las proposiciones y la correspondientedemostración
3.1 si estoy ocioso, entonces me vuelvo holgazán
No se puede concluir nada porque solo tengo 2 proposiciones simples, no hay ninguna regla de la lógica que permita inferir unaconclusión valida en una implicación de 2 proposiciones distintas
3.2
Si no nos oponemos a la publicación de información falsa, sumo culpables de suprimir la libertad de otros. No somos culpables desuprimir la libertad de otros

Tomando el siguiente lenguaje simbólico
P: no nos oponemos a la publicación de información falsa
Q: somos culpables de suprimir la libertad de otros
Y se puede...
tracking img