CUESTIONARIO SOBRE LGICA PROPOSICIONAL

1. Cules son las formas de representacin del conocimiento mediante lgica

simblica formal?

2. Cules son las formas de representacin del conocimiento mediante formas

estructuradas?

3. Es la ms antigua y simple de las formas de lgica. Utilizando una

representacin primitiva del lenguaje, permite representar y manipular aserciones
sobre el mundo que nos rodea. Permite el razonamiento, a travs de un
mecanismo que primero evala sentencias simples y luego sentencias complejas,
formadas mediante el uso de conectivas lgicas?

4. Qu es una proposicin?

5. Escriba 5 proposiciones diferentes a las de los ejemplos.

6. Qu es una frmula bien formada?

7. Se define como un conjunto de leyes generales del pensamiento.

8. Defina que es juicio.

9. A qu se le llama proposicin simple o atmica?

10. A qu se le llama proposicin compuesta o molecular?

11. Cmo se llaman los elementos de enlace que permite formar proposiciones
compuestas a partir de las proposiciones simples?

12. Defina las 6 conectivas lgicas incluyendo como se leen y su smbolo.

13. Escriba 3 proposiciones simples y 3 compuestas, diferentes a las de los

ejemplos.

14. A qu se le llama sentencia?

15. Cmo se simbolizan las sentencias?

16. Represente mediante sentencias y utilizando las 6 conectivas lgicas, las
proposiciones presentadas en la pregunta 13.

17. Cules son los dos principios a tener en cuenta al manejar proposiciones?

18. Para qu se utilizan las tablas de verdad?

19. Escriba las tablas de verdad para las 6 conectivas planteadas anteriormente.

20. A qu se le llama frmula indeterminada?

21. A qu se le llama contradiccin?

22. A qu se le llama tautologas o frmulas sentencialmente vlidas?

Leer los materiales sobre lgica proposicional.

Despus de leer los materiales sobre lgica proposicional debers resolver los
siguientes ejercicios.

EJERCICIOS

LGICA PROPOSICIONAL

1. Probar que ( p ^ q) = (p) v (q)

2. Probar que (p v q) = (p) ^ (q)

3. Probar p ^ (q v r) = (p ^ q) v (p ^ r)

4. Probar p v (p ^ r) = (p v q) ^ (p v r)

5. Probar que p = (p)

6. Mencionar cuales de las siguientes proposiciones son tautologas.

a) p->p(p)

b) (p v q) -> p ^ q

c) p v p

d) (p v p) ^ (q v q)

e) p ^ p

f) (p ^ p) ->q

g) (p->q) ->(p->q)

h) (p->q) -> p v q

7. Probar que las siguientes proposiciones son contradicciones:

a) (p->q) ^ (p ^ q)

b) ((p v q) ^ p) ^ (q)

c) (p ^ q) ^ (p)