logica

Páginas: 2 (406 palabras) Publicado: 17 de febrero de 2014
PRACTICA 0: LOGICA



EJERCICIO 1
Siendo p: Brasil está ubicado al sur de Chile.
q: Las Malvinas son argentinas.
r : España y Rusia son países limítrofes.Expresar simbólicamente las siguientes proposiciones y dar el valor de verdad de cada una.

1. Si Brasil está ubicado al sur de Chile, entonces las Malvinas son argentinas.
2. España y Rusia son paíseslimítrofes si y solo si Brasil está ubicado al sur de Chile.
3. Si las Malvinas son argentinas, entonces España y Rusia son países limítrofes y Brasil está ubicado al sur de Chile.

EJERCICIO 2Suponiendo que las proposiciones p q r s tienen respectivamente los valores de verdad V F F V dar el valor de verdad de cada una de las siguientes proposiciones:
1. ( p q ) r
2. (p r) ( q s)
3.(r s) ( q ( p s ))
4. (p q ) ( s p)


EJERCICIO 3
Construir la tabla de verdad en cada caso:
1. (p q) ( p q)
2. (p q ) ( p q)
3. (p (q r)) ( q p )


EJERCICIO 4Suponiendo
1. p q verdadera ¿puede conocerse el valor de verdad de p q?
2. p q verdadera ¿puede conocerse el valor de verdad de p q?


EJERCICIO 5
Si p q r son proposiciones verdaderasmientras s t son falsas, indicar cuáles de las siguientes proposiciones son verdaderas:
1. ( s p ) t
2. s (p t)
3. ( p s ) ( q t )

EJERCICIO 6

Demostrar que cada una de lassiguientes equivalencias es una tautología
1. ( q ( p p ) )q
2. ( q (p p)) q
3. ((p q ) (r q )) (( p r ) q)

EJERCICIO 7

Simplificar las siguientes proposiciones:
1. ( p q )
2. (p q )( p q )

EJERCICIO 8
Negar primero y luego simplificar
1. ( p q ) ( p q )
2. ( p p ) (r p ) ( p r ) r

EJERCICIO 9
Para cada una de las siguientes expresiones indicar sison proposiciones o esquemas proposicionales. Justificar la respuesta.
1. x : x + 3 = 5 x 3
2. x : (x 1 x 5 )
3. x : 2x = 4
4. x : ( x + 2 = 5 x 9 )

EJERCICIO 10
Escribir...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS