EJERCICIO Objetivos : 1

1. [ ( p q ) r ] ( s t ) 2. r ( p s ) 3. [ p ( q r ) ] ( q p )

Lectura de frmulas de la lgica proposicional Orden de dominancia de las conectivas en una frmula

6. [ ( r s ) ( p q ) ] r 7. [ x ( p q ) ] [ ( p q ) ( p q ) ] 8. { [ ( p q ) r ] ( p q ) }

4. [ ( r s ) ( p q ) ] [ ( t p ) ( q x ) ] 9. ( p x ) [ r ( r s ) ] 5. q [ ( r s ) ( q p ) ] 10. (pq)(rs)

EJERCICIO 2

Objetivo :

Utilizacin de ortogrficos

signos

auxiliares

Agrupa las combinaciones de smbolos de la derecha con signos auxiliares y convirtelas en el tipo de frmula que se indica a la derecha:
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. p p q t q p p p p p p p p p q q s s r q q r q s r r r t p : s : r r r p r s r p q : : conjuncin s p : frmula condicional r : frmula bicondicional

disyuncin

negacin p q t : disyuncin

conjuncin : : r r negacin disyuncin s r q p q r t s s : q conjuncin r p : r : : negacin frmula bicondicional

disyuncin : frmula condicional

15.

disyuncin

EJERCICIO 3

Objetivo :

Orden de dominancia de las conectivas en una frmula Asimilacin de las reglas de formacin correspondientes al clculo de la lgica proposicional

Describe la estructura o forma expresada mediante las siguientes frmulas. Ejemplos : [(pq)p](qr) Frmula condicional cuyo antecedente consecuente es la negacin de una disyuncin (pq)r Disyuncin cuyo primer miembro es otra disyuncin y cuyo segundo miembro es la negacin de una frmula atmica es una conjuncin y cuyo

1. ( p q ) [ ( r p ) q ] 2. p q 3. ( p q ) r 4. [ p ( p q ) ] r 5. ( p q ) [ ( s t ) ( q t ) ] 6. [ q ( r s ) ] 7. [ q ( r q ) ] ( r t ) 8. ( p q ) ( p q ) 9. ( p q ) [ p ( r s ) ] 10. [ p ( r s ) ] p

EJERCICIO 4

Objetivo :

Orden de dominancia de las conectivas en una frmula Asimilacin de las reglas de formacin correspondientes al clculo de la lgica proposicional

Confecciona una frmula que corresponda a cada una de las siguientes descripciones. 1. Frmula condicional cuyo antecedente es una disyuncin de negaciones y cuyo consecuente es una conjuncin de frmulas bicondicionales distintas

2. Conjuncin cuyos miembros son dos frmulas condicionales distintas de antecedentes y consecuentes negados

3. Negacin de una disyuncin cuyos miembros son frmulas condicionales negadas

4. Frmula bicondicional cuyo segundo miembro es la negacin del primero

5. Negacin de una frmula condicional cuyo antecedente es una conjuncin y cuyo consecuente es la negacin de una frmula bicondicional

6. Conjuncin de dos frmulas atmicas iguales

7. Negacin de una frmula atmica negada

8. Conjuncin cuyo primer miembro es la negacin de la disyuncin de dos conjunciones distintas y cuyo segundo miembro es la negacin del primero

9. Frmula bicondicional cuyo primer miembro es una frmula condicional cuyo antecedente y consecuente son dos frmulas condicionales, y cuyo segundo miembro es la negacin de la disyuncin de dos conjunciones negadas

EJERCICIO 5

Objetivo :

Asimilacin de las reglas de formacin correspondientes al clculo de la lgica proposicional

Determina cules de las siguientes combinaciones de signos son frmulas y cules no son frmulas. Razona tu respuesta. 1. p 2. p q 3. p q 4. ( p q ) 5. ( p q ) r 6. p q 7. q [ r ( s t ) ] 8. q [ ( s t ) ( q t ) ] 9. p q 10. p q 11. p q 12. p ( q r ) 13. p ( q r ) 14. [ r ( p q ) ] [ ( r p ) ( r q ) ] 15. ( p q ) 16. ( p q ) ( r q ) 17. p q 18. p q 19. p 20. p q

EJERCICIO 6

Objetivo :

Conversin del lenguaje formal de la proposicional al lenguaje natural u ordinario

lgica

Seala una oracin del lenguaje ordinario que corresponda a cada una de las frmulas de la lgica proposicional que se indican a continuacin. 1. p 2. p q 3. ( r s) 4. ( p q ) r 5. p q