Universidad de Panamá

Facultad de Informática, Electrónica y Comunicación

Práctica N°2

Nombre: Ángel Tamayo Cedula: 8-1002-1527

A) Enuncie cada proposición en la forma de una proposición condicional.

1) Daniel aprobará el examen de cálculo si estudia mucho.

Si Daniel estudia mucho, entonces aprobará el examen de cálculo.

2) Juan puede ser un buen ingeniero si pone en práctica todo lo aprendido.

Si Juan pone en práctica todo lo aprendido, entonces será un buen ingeniero.

3) Cuando haces mucho ruido, me duele la cabeza.

Si haces mucho ruido, entonces me duele la cabeza.

4) Una condición suficiente para que Carlos visite el museo del Canal es que venga en Panamá.

Si Carlos visita el museo del Canal, entonces vendrá a Panamá

5) Eduardo se comprará una casa si consigue un buen trabajo.

Si Eduardo consigue un buen trabajo, entonces se comprará una casa.

B) Dadas las siguientes proposiciones, verifique mediante tablas de verdad si las mismas son lógicamente
equivalentes.
1) P= 〜 (p ➝ q), Q= p ⌃〜 q

P q 〜p 〜q (p ➝ q) P= 〜(p ➝ q) Q= p⌃〜 q
V V F F V F F
V F F V F V V
F V V F V F F
F F V V V F F

4) P= (p ➝ r) ⌃ (q ➝ r), Q= (p ⌄q) ➝r

p q r p➝r q➝r p⌄q P= (p ➝ r) ⌃ (q ➝ r), Q= (p ⌄q) ➝r

V V V V V V V V
V V F F F V F F
V F V V V V V V
V F F F V V F F
F V V V V V V V
F V F V F V F F
F F V V V F V V
F F F V V F V V
5) P= (p ➝ q) ⌄ (p ➝ r), Q= p➝ (q ⌄ r)

p q r p➝q p➝r q⌄r P= (p ➝ q) ⌄ (p ➝ r), Q= p➝ (q ⌄ r)

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