TRABAJO PRÁCTICO Nº 4

RELACIONES LÓGICAS ENTRE PROPOSICIONES

Ejercicio 1

Indicar con “V” las afirmaciones que sean verdaderas y con “F” las que sean falsas.

…………1. Si dos fórmulas son contrarias o incompatibles entre sí entonces en ningún

caso son simultáneamente verdaderas.

……….2. Si dos fórmulas son subcontrarias entonces en ningún caso son falsas a la
vez.

…………3. Si dos fórmulas son contradictorias entre sí entonces en ningún caso son
verdaderas a la vez y tampoco falsas a la vez.

…………4. Si dos fórmulas son contradictorias entonces son, a la vez, contrarias y

subcontrarias.

…………5. Si dos fórmulas son contrarias entonces son contradictorias entre sí.

…………6. Una fórmula A (cualquiera) implica lógicamente una fórmula B

(cualquiera) si y sólo si en ningún caso ocurre que, siendo A verdadera, B sea falsa.

…………7. Si A implica lógicamente a B, entonces B se deduce de A.

…………8. Si A implica lógicamente a B, y B implica lógicamente a A, entonces A y B

son lógicamente equivalentes.

…………9. Si A y B son lógicamente equivalentes, entonces A se deduce de B y B se

deduce de A.

………..10. Si A implica lógicamente a B y B implica lógicamente a C, entonces A

implica lógicamente a C.

………..11. Si A implica lógicamente a B, entonces B implica lógicamente a A

………..12. Si A no implica lógicamente a B, entonces B implica lógicamente a A.

Ejercicio 2

Realizar las tablas veritativas correspondientes a las siguientes fórmulas

proposicionales y determinar qué relaciones lógicas existen entre ellas.

1. a) p > q b) – p v q

2. a) – (p v p ) b) – p . – q

3. a) - p w q b) – ( p v q )

4. a) p > q b) p v q

5. a) p = q b) p v – q

6. a) p w q b) p = q

7. a) – p . q b) – p v q

Ejercicio 3

Indicar con una x las opciones correctas:

( p . – q) es contraria de:
a) ……… (- p . q) b)………. ( - p . – q)

/ - (p v q ) / contradictoria de:
a)………..( - p . – q ) b) ……….( -p > q )

p > q se deduce de:

a) ……….( - q = - p) b) ………( p . q )

Ejercicio 4

Realizar las correspondientes tablas de verdad e indicar si las siguientes afirmaciones

son verdaderas o falsas:

1……….. – (p v – p) implica lógicamente – p v q

2………... – p . q y p > - r son incompatibles

3………… p v q y - ( - p . – q ) son lógicamente equivalentes

4…………. p w q y p = q son contradictorias

Ejercicio 5

Completar las siguientes oraciones:

1. Dos fórmulas son contrarias o incompatibles entre sí si y sólo si no hay asignación de

valores de verdad para la cual (ambas fórmulas resulten verdaderas)

2. Una fórmula A se deduce de otra fórmula B si y sólo si no hay asignación de valores

de verdad para la cual…………………………………………..

3. Una fórmula A implica lógicamente otra fórmula B si y sólo si no hay asignación de

valores de verdad para la cual …………………………………….