Ejercicio 2: Proposiciones y Tablas de verdad

Christian Camilo Enríquez Mogollón - Cod. 1.094.924.142 - Grupo 200611-410

Marzo de 2020

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades
Pensamiento Lógico Matemático
 Ejercicio 2: Proposiciones y Tablas de verdad

Christian Camilo Enríquez Mogollón - Cod. 1.094.924.142- Grupo 200611-410

Marzo de 2020

Tutor
Mary Ortega Gonzales

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades
Pensamiento Lógico Matemático
Ejercicio:
D. Si las películas de Marvel han sido las más taquilleras en los últimos años entonces,
la gran mayoría de las personas las han visto y si la gran mayoría de las personas no las
han visto entonces The Avengers no es una película taquillera.

Definir las proposiciones simples del argumento

p: Si las películas de Marvel han sido las más taquilleras en los últimos años

q: la gran mayoría de las personas las han visto

¬q: si la gran mayoría de las personas no las han visto entonces

¬r: The Avengers no es una película taquillera.

Expresión del argumento en lenguaje simbólico o formal:

 p→q ∧¬q→¬r

Tabla de verdad:
n=3 (p,q,r)
23=2*2*2= 8 Filas
P Q R P→Q Q→ -R P→Q ^ -Q→-R

V V V V V V

V V F V V V

V F V F F F

V F F F V F

F V V V V V

F V F V V V

F F V V F F

F F F V V V
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.

R/ Contingencia

Bibliografía

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: Editorial Tébar Flores.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid.

 Marin J. (2019). [Simulador Lógica UNAD]. Recuperado

de: http://logicaunad.com/jtruth/