IIESTP “Honorio Delgado Espinoza

INSTITUTO DE EDUCACION SUPERIOR

TECNOLOGICO PÚBLICO
HONORIO DELGADO ESPINOZA
PROGRAMA DE METALÚRGIA

Lógica y funciones:
PRACTICA N°04

Programa:
Metalurgia
Elaborado por:
Nuñonca Ccolque Beto
Primer Semestre

AREQUIPA-PERU
2020

1
IIESTP “Honorio Delgado Espinoza

EJERCICIOS
1. Demostrar que
P ^ ~q ↔ ~ ( p → q)
V F F V F V V V
V V V V V V F F
TODOS SON VERDADEROS ES
F F F V F F V V TAUTOLOGIA
F F V V F F V F

p ↔( q v ~ q) → p
V V V V F V V
V V F V V V V
TODOS SON VERDADEROS ES
F V V V F F F TAUTOLOGIA
F V F V V F F

~{ ~( p ^ q) → ~q} v q ↔ q
F F V V V V F V V V V
F V V F F V V F F V F TODOS SON VERDADEROS ES UNA
V V F F V F F V V V V TAUTOLOGIA

F V F F F V V F F V F

2
IIESTP “Honorio Delgado Espinoza

Simplificar y represente gráficamente

~{p↔~(qvr)}
p^~ ( q v r )v ( q v r ) ^~p
p^(q v r)
q
p
r
~(p) ↔ (p→~q)
~p^(p→~q) v ~(p→~q)^p
~p ^ (~p v ~q) v ~(~p v ~q)^p
~p v p
~p

(p v q) →{ (~p v q) → (p ^ q) }
(p v q) → {~(~p v q) v (p ^ q) }
~(p v q) v {~(~p v q) v (p ^ q) }
~p v ~q v p v ~q v (p ^ q)
p v ~q

~q

3
IIESTP “Honorio Delgado Espinoza

Determinar si a y b son equivalentes

p → (r v ~q ) y ( q → ~p) v (~r → ~p)
V V V V F V F F V F V F
V F F F F V F F F V F F
V V V V V SON F V F V F V F
V V F V V EQUIVALENTES F V F V V F F
F V V V F V V V V F V V
F V F F F V V V V V V V
F V V V V F V V V F V V
F V F V V F V V V V V V

Demostrar que las siguientes equivalencias son tautologías

{(p → q) → (r → s)}↔(s → r) →( q → p)
V V V V V V V V V V V V V V V
V V V F V F F F F V V V V V V
V V V V F V V V V F F V V V V
CONTINGENCIA
V V V V F V F V F V F V V V V
V F F V V V V V V V V V F V V
V F F V V F F V F V V V F V V
V F F V F V V V V F F V F V V
V F F V F V F V F V F V F V V
F V V V V V V F V V V F V F F
F V V F V F F V F V V F V F F
F V V V F V V V V F F V V F F
F V V V F V F F F V F F V F F
F V F V V V V V V V V V F V F
F V F F V F F F F V V V F V F
F V F V F V V V V F F V F V F
F V F V F V F V F V F V F V F
{(p → q)
→ r} ↔{(p v r) ^ (~q v r)}

TAUTOLOGIA
IIESTP “Honorio Delgado Espinoza

V V V V V V V V V V F V V
V V V F F V V V F F F F F
V F F V V V V V V V V V V
V F F V F V V V F V V V F
F V V V V V F V V V F V V
F V V F F V F F F F F F F
F V F V V V F V V V V V V
F V F F F V F F F F V V F

{(p ^ q) v r} v s ↔{(p ^ q) →~r} → s

V V V V V V V V V V V F F V V
V V V V V V F V V V V F F V F
CONTINGENCIA
V V V V F V V V V V V V V V V
V V V V F V F F V V V V V F F
V F F V V V V V V F F V F V V
V F F V V V F F V F F V F F F
V F F F F V V V V F F V V V V
V F F F F F F V V F F V V F F
F F V V V V V V F F V V F V V
F F V V V V F F F F V V F F F
F F V F F V V V F F V V V V V
F F V F F F F V F F V V V F F
F F F V V V V V F F F V F V V
F F F V V V F F F F F V F F F
F F F F F V V V F F F V V V V
F F F F F F F V F F F V V F F

5
IIESTP “Honorio Delgado Espinoza

~p ^ ~q ^ ~r ↔ ~p v ~q v ~r
F F F F F V F F F F F
F F F F V F F F F V V
CONTINGENCIA
F F V F F F F V V V F
F F V F V F F V V V V
V F F F F F V V F V F
V F F F V F V V F V V
V V V F F F V V V V F
V V V V V V V V V V V

p →{ ~p →( q → r)} ↔(p ^ ~p ^ q) → r
V V F V V V V V V F F F V V V
V V F V V F F V V F F F V V F
TAUTOLOGIA
V V F V F V V V V F F F F V V
V V F V F V F V V F F F F V F
F V V V V V V V F F V F V V V
F V V F V F F V F F V F V V F
F V V V F V V V F F V F F V V
F V V V F V F V F F V F F V F

Responda las siguientes preguntas

¿cual es la relacion entre bicondicional y equivalencia?

El bicondicional también funge como conectivo lógico, permitiendo formular

expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos

componentes tengan el mismo valor de verdad. En otro contexto

el bicondicional representa la equivalencia lógica entre dos proposiciones.

¿Que es tautología? ¿Qué cosas pueden ser tautologías?

6
IIESTP “Honorio Delgado Espinoza

una tautología es una fórmula bien formada que resulta verdadera para

cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se

haga a sus fórmulas atómicas

“Voy a subir arriba a buscar un libro y vuelvo”, “Tengo que salir afuera para

regar las plantas”. Siempre que se sube es hacia arriba; del mismo modo, salir implica

trasladarse fuera de un lugar, por lo cual dichas aclaraciones carecen de sentido y

resultan innecesarias para la comprensión.

¿Cuál es la relación entre lógica proposicional y teoría de conjuntos?

Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica

Proposicional. Además, el conjunto vacío se corresponde con una contradicción y

el conjunto universal con una tautología

¿Podemos leer lógicamente las equivalencias usando las tablas de verdad?

Si, se puede Por ejemplo, decimos que (p^q)^r y p^(q^r) son equivalentes — un

hecho al que llamamos la ley asociativo de la conjugación. En esta sección, usamos

tablas de verdad para decir precisamente lo que significa la equivalencia lógica, y

también estudiamos ciertas proposiciones que son "evidentemente verdaderas"

("tautológicas"), o "evidentemente falsas" ("contradictorias").

Si lo son ¿en qué sentido son importantes los principios lógicos? ¿Qué

correcciones le harías a los principios lógicos?

Los principios lógicos rigen el pensamiento y, por ello, constituyen el

fundamento de cualquier sistema de conocimiento; guían el proceso de investigación,

con la finalidad de evitar la ambigüedad en los conceptos, la contradicción en las

proposiciones y los errores de razonamiento en la argumentación

7
IIESTP “Honorio Delgado Espinoza

Que las preposiciones ambiguas ya no sean una preposición, que se conviertan

en un enunciado