TRABAJO Nº 3 DE MATEMATICA-EVALUACION DE FORMULAS LOGICAS

FORMULA LOGICA. Es el conjunto de proposiciones, conectivos lógicos y signos de agrupación relacionadas entre si. Ejm
e)

EVALUACION DE FORMULAS LOGICAS. Evaluar una formula lógica por medio de tabla de
valores, es obtener los valores del conectivo lógico principal a partir de los valores de
verdad de cada una de las variables proposicionales.
Hallar la tabla de verdad de la siguiente formula lógica:

Resolviendo.
a) Numero de variables: 2
b) Numero de valores de verdad para cada variable: 22=4
c) Determinar los valores de verdad.

RESPUESTA Paso 1 paso 3 paso 2

El conectivo principal es la negación.
NOTA. a) El resultado de la tabla de valores será aquel que pertenezca al conectivo lógico principal.
b) Dependiendo del resultado obtenido por medio de la tabla d valores, este puede ser:
1.TAUTOLOGIA. si en la tabla de datos los valores de verdad correspondientes al conectivo lógico principal son todos
verdaderos ( V ).
2. CONTRADICCION. Si en la tabla todos los valores de verdad correspondientes al conectivo lógico principal son todos
falsos (F).
3. CONTINGENCIA. Si en la tabla todos los valores de verdad son unos verdaderos (V) y otros falsos (F)
EJERCICIOS. Evaluar las siguientes formulas lógicas y establecer si se trata de: Tautología, contradictorio o contingencia.
1) p q ~ ( ~ p ˄ q ) →q

2) p q r ( p→ q ¿ ↔(q ˄ r)

Profesor: Rubén Paredes Yucra

3) p q r ~ [ p ˄ q ] →[ ( p ˅ r ) → q ]

4)Demostrar que la proposición es tautología

P q [ ~ ( ~ p ˄ q ) ˄ q ] →p

5) Determinar si las proposiciones dadas son equivalentes:

a) p q ( ~ p ˄ q ) →(q → p) b) p q q →p

Profesor: Rubén Paredes Yucra