EJERCICIO Objetivos : • Lectura de fórmulas de la lógica proposicional

• Orden de dominancia de las conectivas en una fórmula

1

1. [ ( p → q ) ∨ r ] ∧ ( s ∧ t ) 6. [ ¬ ( r ∨ s ) → ( ¬ p ∨ q ) ] ∧ ¬ r

2. r ↔ ( p ∨ s ) 7. [ ¬ x ∨ ¬ ( p ∧ ¬ q ) ] → [ ¬ ( p → q ) → ( p ∨ q ) ]

3. [ p → ( q → r ) ] ∧ ( q → p ) 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. ( ¬ p ∧¬ q ) → ¬ ( r ∨s )

EJERCICIO Objetivo : • Utilización

ortográficos
de signos auxiliares u

Agrupa las combinaciones de símbolos de la derecha con signos auxiliares y

conviértelas en el tipo de fórmula que se indica a la derecha:

1. p → q ∧ r → s : conjunción

2. p → q ∧ r ∨ r ∧ s : fórmula condicional

3. q ∧ s → t ∨ p ↔ p ∧ r : fórmula bicondicional

4. t ∧ s ∨ p ∧ q : disyunción

5. ¬ p → r : negación

6. q → r ∧ s ∨ p ∧ q → t : disyunción

7. ¬ p ∧ q : conjunción

8. ¬ p ∨ ¬ r : negación

9. ¬ p ∨ ¬ r : disyunción

10. p ∧ q → r ∨ s ↔ t : conjunción

11. ¬ p ∨ s ∧ r → q ∨ s → r : negación

12. p ∨ q ↔ p ∨ r → r → ¬ p : fórmula bicondicional

13. ¬ p ∨ ¬ r ∧ ¬ p ∧ ¬ q : disyunción

14. ¬ p ∨ r ↔ r ↔ q ∧ s → r : fórmula condicional

15. ¬ p ∨ q ∧ r → s → t : disyunción
 EJERCICIO Objetivo : • Orden de dominancia de las conectivas en una fórmula
• Asimilación de las reglas de formación
3 correspondientes al cálculo de la lógica proposicional

Describe la estructura o forma expresada mediante las siguientes fórmulas.

Ejemplos :

[ ( p → q ) ∧p ] → ¬ ( q ∨¬ r )
Fórmula condicional cuyo antecedente es una conjunción y cuyo
consecuente es la negación de una disyunción

( p ∨¬ q ) ∨¬ r
Disyunción cuyo primer miembro es otra disyunción y cuyo segundo
miembro es la negación de una fórmula atómica

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 Objetivo : • Orden de dominancia de las conectivas en una fórmula
• Asimilación de las reglas de formación
4 correspondientes al cálculo de la lógica proposicional

Confecciona una fórmula que corresponda a cada una de las siguientes

descripciones.

1. Fórmula condicional cuyo antecedente es una disyunción de negaciones y

cuyo consecuente es una conjunción de fórmulas bicondicionales distintas

2. Conjunción cuyos miembros son dos fórmulas condicionales distintas de

antecedentes y consecuentes negados

3. Negación de una disyunción cuyos miembros son fórmulas condicionales

negadas

4. Fórmula bicondicional cuyo segundo miembro es la negación del primero

5. Negación de una fórmula condicional cuyo antecedente es una conjunción

y cuyo consecuente es la negación de una fórmula bicondicional

6. Conjunción de dos fórmulas atómicas iguales

7. Negación de una fórmula atómica negada

8. Conjunción cuyo primer miembro es la negación de la disyunción de dos

conjunciones distintas y cuyo segundo miembro es la negación del
primero

9. Fórmula bicondicional cuyo primer miembro es una fórmula condicional

cuyo antecedente y consecuente son dos fórmulas condicionales, y cuyo
segundo miembro es la negación de la disyunción de dos conjunciones
negadas
EJERCICIO Objetivo : • Asimilación de las reglas de formación
correspondientes al cálculo de la lógica proposicional
5

Determina cuáles de las siguientes combinaciones de signos son fórmulas y

cuáles no son fórmulas. Razona tu respuesta.

1. p 11. p ¬ ∨q

2. ∨p → q 12. p ∨¬ ( ¬ q → r )

3. ¬ p ∧¬ q 13. p ∨→ ( ¬ q → r )

4. ¬ ( p ∧¬ q ) 14. [ r → ( p ∨q ) ] ↔ [ ( r ∨p ) → ( r ∨q ) ]

5. ( ∨p ∨q ) → r 15. ¬ ¬ ( ¬ p ∨¬ q )

6. p q 16. ( p ∧q ) → ¬ ( ¬ r ∨¬ q )

7. q → ¬ [ r ∧( s t ) ] 17. ∨p ∨q

8. q ∧[ ( s ∨t ) → ( q ∧t ) ] 18. ¬ ¬ p ∨q

9. ∧p ∧q 19. ¬¬¬p

10. p ∨¬ q 20. p¬q

EJERCICIO Objetivo : • Conversión del lenguaje formal de la lógica

proposicional al lenguaje natural u ordinario
6

Señala una oración del lenguaje ordinario que corresponda a cada una de las
fórmulas de la lógica proposicional que se indican a continuación.

1. ¬p

2. p ∨¬ q

3. ¬ ( r ↔ s)

4. ( p ∧q ) → r

5. ¬ p →¬ q