UNIVERSIDAD NACIONAL SAN LUIS GONZAGA

FACULTAD DE INGENIERÍA PESQUERA Y DE

ALIMENTOS.
PROGRAMA ACADÉMICA DE INGENIERÍA DE
ALIMENTOS

TAREA N° 2
I. Datos Generales
Nombre de Curso: Matemática Superior
Unidad I: Lógica proposicional.
Semana 2: Del 27 de noviembre al 01 de diciembre de 2023
Plazo para subir en plataforma:

Fecha límite: E,A de Pesca 04 de diciembre de 2023 Hora:18:00 horas

E,A de Alimentos 06 de diciembre de 2023 Hora:18:00 horas

p q  p   (q  p)  V  (p V q)

V V F F V V F F F V V F F F
V V F F V V V F F F F F V V CONTINGENCIA
V F F V V V F F V F F V V F
V F V V F F V V V V F V V V

p q (p V q)  p  △  (q  p )

V V V V F F F F F F V V
V V V V V F F F F V V V CONTRADICTORIO
V F F F F F V F F F V F
V F F V V V V F V V F F
 pp qq r  [(p(p  q) ↔
q) r ↔ [r (q p)  (Pv q)]
V V F V V V V] F F V F
VV VV V V FV F F V VF FV V VF F FF V TAUTOLOGIA
VV VF F F FF V V V VV FF F FF V VF V
VV FF V F FF V F V VF FF V F
V V V F V
V F F F V V F F F F V
F V V V F F F V V V F
F V F V V V F F F F V
F F V F V F V V V V F
pF Fq Fr [pF  V(q  Vr)] F↔ F [(p F r)F  q) V
V V V V V V V V F F V F
V V F V F F V V V V F F
pV qF r V  V (p V  q) VV [p V V F F(pVq)V V↔ (p q)
VV VF VF F V V
V VV FV VV V V V V VV F
TAUTOLOGIA
VF VV FV F F V
V VV VV FV F F V V FV F
VF FV VF V F VF FF FV F
F F V F V FV V
VF FF FV V F VF FV VV FF F F F V VV V
FF VF VF V F VF FV FV FF F V V V VV V
F V F V F F V F V V V
F F V V F F F F V V V
F F F V F F V F V V V

p q r (p  q)  ( p ↔ r)]  (p V q)

V V V F F F V V
V V F F F V V V
V F V V F F V V
V F F V V V V V TAUTOLOGIA
F V V F F V V F
F V F F F F V F
F F V F F V V V
F F F F F F V V

p q r p V (q  r)]  [( p V r) ↔ q]
V V V V V F F V F F
V V F V V V V F V F
V F V V V V V V V V
V F F V V V F F F V
CONTINGUENCIA
F V V F F F F V F F
CONTRADICCION
F V F F V V F V F F
F F V F V V V V V V
F F F F V V V V V V
p q r (p△q)   (r p) ↔  (p△q)  (q  r)
V V V V F F V V V V V
V V F V V V F V V F F
V F V F F V F V F V F
TAUTOLOGIA
V F F F F V F V F V F
F V V F F F V V F V V
F V F F F V F V F V F
F F V V V V F V V F F
F F F V V V F V V F F

CONTINGUENCIA

p q r (p  ( qp)   (p↔q)  (q V p)

V V V V V V F F F V V TAUTOLOGIA
V V F V V V F F F V V
V F V V V V V V V F F
V F F V V V V V V F F
F V V F F V F F V V V
F V F F F V F F V V V
F F V F F V F F F V V
F F F F F V F F F V V

p q r [p  (q Vp) ↔ (pq) V  (p V r)

V V V F F V V F F F V
V V F F F V V F F F V
V F V F F F V F F F V TAUTOLOGIA
V F F F F V V F F F V
F V V V V V V V V F V
F V F V V V V V V V F
F F V V F F V F F F V
F F F V V V V F V V F

p q r (pr)  q~ ↔ [q ↔ (p V r)] △ [(p ↔ q) △ (qVr)]

]
V V V F V F F F F V F V F V
V V F F V F F F F V F V F V
V F V F V V V V V V V F F F
V F F F V V V V V V F F V V
F V V V F F V F F V F F V V
F V F F V F V F V F F F V V
F F V V V V V V V V F V V F
F F F F V V F V F F F V F V

CONTINGUENCIA