Pensamiento Lógico y Matemático

Tutor Julián Eduardo Hoyos

Estudiante de: Psicología

Nombre: Ricardo Andrés Torres Monroy

Cód: 1.049.611.687

Grupo de trabajo: 200611_326

Universidad Nacional Abierta y a Distancia

(José Acebedo Gomes)

(UNAD)

TUNJA (Boyacá)

2018
Introducción
Objetivos
 Desarrollo del tema

Tarea 1 “Ejercicio 1 D”

Determinación de valor de verdad:

p: El año 2020 será un año bisiesto.

q: En un año bisiesto febrero tiene 29 días.

r: Los años bisiestos se dan cada dos años.

[(p → q) → r] ↔ (¬ q ∨ r)

P:F q:F R:F

[(p → q) → r] ↔ (¬ q ∨ r)

(F → F) → F ↔ ( Ve ∨ F)

V →F ↔ V

F ↔ v

F
Proposición compuesta en lenguaje natural o formal:

Si en el año será un año bisiesto, entonces en un año bisiesto febrero tendrá 29

días, entonces los años bisiestos se dan cada dos años. Si y solo si en un año
bisiesto febrero no tiene 29 días o los años bisiestos se dan cada dos años.

Tabla de verdad:

p q r [(p → q) → r] ↔ (¬ q ∨ r)

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

Definir si el argumento es una Tautología, contradicción o contingencia:

Tarea 2 “Ejercicio 2 D”

Determinación de valor de verdad:

p: Hoy es lunes

q: Pasado mañana es miércoles

r: Mañana es martes

s: Mañana es jueves

{ [p∧q]→ (r∧¬ s )
Expresión en lenguaje simbólico o formal:

Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y

mañana no es jueves.

Tabla de verdad:

p q r s { [p∧q] → (r∧¬ s ) { [p∧q]→ (r∧¬ s )

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

Definir si el argumento es una Tautología, contradicción o contingencia:

Tarea 3 “Ejercicio 3 D”

Determinación de valor de verdad:

p: Pedro tiene carro

q: Carlos también

r: Rosalba compro carro

s: Sandra no tiene carro

t: Teresa tal vez tiene carro

{[p→(q∨r)]∧(s →~q)∧(t→ ~ r)∧(p∧t)→ q

Expresión en lenguaje simbólico o formal:

Pedro tiene carro entonces Carlos o Rosalba se lo compraron y Sandra entonces

no se lo compró a Carlos y Teresa entonces tampoco se la vendió a Rosalba y
Pedro y Teresa entonces entonces fueron los que le vendieron el carro a Carlos.
 Tabla de verdad:
p q r s t p→ (q∨r) ∧ (s→~q) ∧ (t→~r) ∧ (p∧t) →q {[p→(q∨r)]∧(s →~q)∧(t→ ~ r)∧(p∧t)→ q

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

Definir si el argumento es una Tautología, contradicción o contingencia:

Conclusiones
 Bibliografía

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de

aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.

Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp

g=30

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.

151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=110
46000&tm=1489704594878
. Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.
Recuperado de http://hdl.handle.net/10596/7961