EJERCICIO 3: PROBLEMAS DE APLICACIÓN

A. Expresión formal o simbólica seleccionado:

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶ (∼r⟶p)

Definición de las proposiciones simples:

 p→ el santo papa vive en roma

 q→ argentina está en Suramérica
 r→ la ballena es un animal mamífero

LENGUAJE NATURAL DE LA EXPRESIÓN FORMAL

El santo papa vive en roma si entonces argentina está en Suramérica no es cierto que el
santo papa vive en roma si entonces la ballena es un animal mamífero si entonces no es
cierto que la ballena es un animal mamífero si entonces el santo papa vive en roma.

TABLA DE VERDAD MANUALMENTE

p q r ~p ~ (p→q) (∼p⟶r) [(p⟶q)∧(∼p⟶r) (∼r⟶p) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶ (∼r⟶p)

r ]
V V V F F V F F V V
V V F F V V V V V V
V F V V F F V F V V
V F F V V F V F V V
F V V F F V F F V V
F V F F V V V V F V
F F V V F V V V V V
F F F V V V V V F V
SIMULADOR TRUTH TABLE