Professional Documents
Culture Documents
TRABAJO COLABORATIVO 1
LOGICA MATEMATICA
APORTE INDIVIDUAL
ESTUDIANTE:
ANDRES FELIPE RAMIREZ CORTES
TUTOR:
ALFREDO GAMEZ
PASO 1
Proposiciones:
No proposiciones:
PASO 3
PASO 4
1. p –> (q^r)
2. (p^q)vr
3. p^q
TABLAS DE VERDAD
1. p –> (q^r)
p q r (q^r)
V
V V V V
F
V V F F
F
V F V F
F
V F F F
V
F V V V
V
F V F F
V
F F V F
V
F F F F
2.
(p^q) v r
p q r (p^q)
V
V V V V
V
V V F V
V
V F V F
F
V F F F
V
F V V F
V
F V F F
V
F F V F
F
F F F F
3.
p q p^q
V V V
V F F
F V F
F F F