1.2 Tablas de Verdad y Razonamientos PRACTICA

2021s2
Ciclo Introductorio
Elementos de Programación y Lógica
Práctica 1.2 - Tablas de verdad y Razonamientos
1. Completar la tabla de verdad de la siguiente proposición compuesta:
p q p→q q→p (p → q) ∧ (q → p)
V V
V F
F V
F F
2. Teniendo en cuenta la tabla de verdad anterior, responder:

1. ¿Es necesario conocer la información que representan las letras proposicionales para
resolver la tabla de verdad?
2. ¿Qué información nos proporciona la tabla de verdad? y ¿qué información no pro-
vee?
3. Completar la tabla de verdad de las siguientes fórmulas y responder si son
contingentes, tautológicas o contradictorias:
p ∨ (¬p)
p ∧ (¬p)
p→p
p → (¬p)
p ¬p p ∨ (¬p) p ∧ (¬p) p→p p → (¬p)

V
F
4. Detallar si las siguientes proposiciones son contingentes, tautológicas o con-

tradictorias (justificar la respuesta mediante su tabla de verdad):
a) Yo tengo 20 años y me llamo Juan.
b) Si me llamo Juan, entonces no me llamo Juan.
c) Me llamo Ada y no me llamo Ada.
EPyL - UNQ Práctica 1.2 - Tablas de verdad y Razonamientos - Hoja 2 de 5 2021s2
d) Mi apellido es Kant o mi apellido no es Kant.

e) Kripke es un lógico y Kripke es un lógico.
f) El pañuelo es blanco o es verde.
5. Teniendo en cuenta el ejercicio anterior, responder:

¿Qué se necesita conocer para identificar si una proposición es tautológica, contradictoria
o contingente?: ¿su contenido semántico o su forma lógica?
6. Armar las tablas de verdad de las siguienes fórmulas y en base a su análisis,
responder si son tautológicas, contradictorias o contingentes. Justificar su
respuesta:
1. (p ∧ q) → p
2. (p → q) ∧ (¬p)
3. (p ∨ (¬p)) ∧ (q ∧ (¬q))
7. Determinar si las siguientes frases son equivalentes. Primero traducir al len-

guaje de la lógica proposicional, y luego demostrar empíricamente si son
equivalentes aplicando la conectiva correspondiente entre ambas. Justificar
la respuesta.
(a) ¿Será equivalente la frase “Hay vida en Marte y hay vida en Ganimedes” a
la frase “Hay vida en Ganimedes y hay vida en Marte”?
(b) ¿Será equivalente la frase “Hay vida en Marte o hay vida en Ganimedes” a
la frase “Hay vida en Ganimedes o hay vida en Marte”?
(c) ¿Será equivalente la frase “Si hay vida en Marte entonces hay vida en Gani-
medes” a la frase “Si hay vida en Ganimedes entonces hay vida en Marte”?
(d) ¿Será equivalente la frase “No es cierto que no hay vida en Marte” a la frase
“Hay vida en Marte”?
(e) ¿Será equivalente “No es cierto que, hay vida en Marte o hay vida en Ga-
nimedes” a la frase “No hay vida en Marte y no hay vida en Ganimedes”?
(f) ¿Será equivalente la frase “No es cierto que, hay vida en Marte y hay vida
en Ganimedes” a la frase “No hay vida en Marte o no hay vida en Gani-
medes”?
8. Dadas las siguientes fórmulas, detallar si se tratan de fórmulas lógicamente

equivalentes.
Fórmula 1 Fórmula 2
a) ¬(p ∨ q) ∧ p ¬(p ∨ q) ∨ p
b) (¬p ∧ ¬q) → r r → (¬p ∧ ¬q)
9. A partir de los siguiente enunciados, detallar cuáles son proposiciones y cuáles
son razonamientos.
- En caso de tratarse de una proposición, detallar si es atómica o compuesta, indicando,
para este último caso las proposiciones atómicas involucradas.
- En caso de ser un razonamiento, detallar las premisas y su conclusión, escribiendo los
indicadores en cada caso. Luego, detallar las proposiciones que componen cada parte.
(a) Les estudiantes consiguieron cupo y se pudieron inscribir

(b) Las materias no tienen mucho cupo
(c) Me inscribo a LEA y a EPyL, o bien a MATE. Me inscribí a MATE. Por lo tanto,
no me inscribí a LEA ni a EPyL.
(d) La comisión va a cursar los martes y viernes. Ya que va a cursar los lunes y jueves,
o bien martes y viernes. La comisión no va a cursar los lunes y jueves.
(e) Camila acreditó EPyL
(f) La informática es una ciencia. Esto es así porque es una rama de las ciencias exactas.
(g) Si hago un resumen entonces tengo de dónde estudiar.
(h) Vamos a aprobar si nos sacamos más de un 4, y nos concentramos o prestamos
atención.
10. Dados los siguientes razonamientos, escribir las premisa y su conclusión, de-
tallando los indicadores identificados en cada caso.
(a) Será Santino quien venga a la fiesta. Dado que a la fiesta iba a venir Guadalupe o
bien Santino. Pero Guadalupe no va a venir.
(b) Argentina clasificó para el mundial FIFA 2022. Esto es así porque Perú clasifica
para el mundial o bien Argentina clasifica para el mundial. Perú no clasifico.
(c) Instagram es la red social más utilizada. Dado que Instagram es la red social más
utilizada y Facebook se utiliza cada vez menos.
(d) Me compro un pantalón o me compro una remera. Me compre una remera. Por lo
tanto, me compre un pantalón o no me compre un pantalón.
(e) Dado que Mafalda va a la universidad caminando o bien en colectivo. Mafalda no
fue camninando. Por lo tanto, fue en colectivo.
11. Dados los siguientes razonamientos estructurados con su fórmula lógica, de-
terminar mediante una tabla de verdad si los mismos son válidos o inválidos.
Justificar la respuesta.
p∧q
(a) p
p xor q
¬q
(b)
p
p∨q
q
(c)
¬p
¬p → q
q∨p
q
(d)
¬p
(p xor q) → r
(p xor q)
(e)
r
12. Analizando la formalización del siguiente razonamiento y su correspondiente

tabla de verdad, responder si el mismo es válido o inválido, justificando su
respuesta:
“Si tengo más de $10 de saldo, puedo viajar en subte. Tengo más de $10 de
saldo. Por lo tanto puedo viajar en subte.”
Premisa 1: Si tengo más de $10 de saldo, puedo viajar en subte
Premisa 2: Tengo más de $10 de saldo
—————————————————
Conclusión: Puedo viajar en subte
Diccionario:
p = Yo tengo más de $10 de saldo.
q = Yo puedo viajar en subte.
Formalización:
Premisa 1: p → q
Premisa 2: p
———————–
Conclusión: q
Premisa 1 Premisa 2 Conclusión
p q p→q p q
V V V V V
V F F V F
F V V F V
F F V F F
13. Traducir a su forma lógica los siguientes razonamientos utilizando el lenguaje
de la lógica proposicional. Luego, probar si el razonamiento es válido o invá-
lido, justificando su respuesta.
(a) Si analizamos o reflexionamos entonces vamos a decidir mejor. No analizamos. Por
tanto, no vamos a decidir mejor.
(b) El ascensor no se debe detener. Dado que, el ascensor se debe detener sí y sólo sí
está frente a la puerta de un piso. Pero no está frente a la puerta de un piso.
(c) Se han movilizado tropas aliadas al norte. Por lo tanto, hay ejércitos enemigos al
norte. Ya que si no hay ejércitos enemigos al norte entonces no es han movilizado
tropas aliadas al norte.
(d) Si un software es libre, entonces tiene licencia libre. Si un software tiene licencia
libre entonces garantiza las cuatro libertades del software libre. Por lo tanto, si un
software es libre, entonces garantiza las cuatro libertades del software libre.
(e) Hay que verificar su existencia o hay que tener fe ciega en su existencia. Hay que
verificar su existencia sí y sólo sí se cuenta con el equipo adecuado. No se cuenta
con el equipo adecuado. En consiguiente, hay que tener fe ciega en su existencia.
(f) Sí y sólo sí se cuenta con suficiente dinero se podrá construir el edificio. Si se ha
vendido suficiente cantidad de mineral, entonces se contará con suficiente dinero.
Por ende, se puede construir el edificio.
(g) Si cambia el panorama político de la AFA entonces la situación futbolística se
revierte. Adicionalmente, el panorama político de la AFA no va a cambiar si el
presidente de la AFA no toma una decisión radical. Por consiguiente, no cambia el
panorama político de la AFA ni la situación futbolística se revierte.
(h) La Tierra es plana o es redonda. Si la Tierra es redonda entonces no nos caeremos
por el borde. En cambio, nos caeremos por el borde si la Tierra es plana. Pero la
Tierra no es plana. En consecuencia, no nos caeremos por el borde.

1.2 Tablas de Verdad y Razonamientos PRACTICA

Cargado por

Información del documentohacer clic para expandir la información del documento

Copyright:

Formatos disponibles

1.2 Tablas de Verdad y Razonamientos PRACTICA

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1.2 Tablas de Verdad y Razonamientos PRACTICA

Cargado por

Copyright:

Formatos disponibles

2021s2

Práctica 1.2 - Tablas de verdad y Razonamientos

1. Completar la tabla de verdad de la siguiente proposición compuesta:

2. Teniendo en cuenta la tabla de verdad anterior, responder:

p ¬p p ∨ (¬p) p ∧ (¬p) p→p p → (¬p)

4. Detallar si las siguientes proposiciones son contingentes, tautológicas o con-

d) Mi apellido es Kant o mi apellido no es Kant.

5. Teniendo en cuenta el ejercicio anterior, responder:

7. Determinar si las siguientes frases son equivalentes. Primero traducir al len-

8. Dadas las siguientes fórmulas, detallar si se tratan de fórmulas lógicamente

(a) Les estudiantes consiguieron cupo y se pudieron inscribir

12. Analizando la formalización del siguiente razonamiento y su correspondiente

También podría gustarte