UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

FACULTAD DE TECNOLOGIA MEDICA - RADIOLOGIA

RAZONAMIENTO MATEMATICO
 LOGICA:
 . Elementos de lógica simbólica.
 . Proposiciones Lógicas.
 . Conectivos Lógicos.
 . Proposiciones Compuestas Básicas.

Machuca Soto Andy Jhonatan

2022- 1
PRACTICA Nº 13

Construir la Tabla de Verdad de las proposiciones compuestas:

a) [ (p  ~ q)  q ] → p

p q [ (p  ~ q)  q] → p

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

TAUTOLOGÍA (T)
b) [ p  ( q → ~ r) ]  [ (~ p  r)  ~ q ]

p q r [p  ( q → ~ r)] [(~ p  r)  ~q]

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

CONTINGENCIA
c) [ (~ p  q) → ~ r ]  [r  ~ (p  ~ q) ]

p q r [(~p q) → ~ r ]  [ r  (~p  q)]

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

CONTRADICTORIO
2.Determinar si las proposiciones siguientes
son equivalentes:

[ (~ p  q)  (~ r  ~ p) ] y [ (~ q → ~ p)  ~ r ]
p q r [(~ p  q)  (~ r  ~ p) ] y [ (~ q → ~ p)  ~r]

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

NO SON IDENTICOS
3.De la Falsedad de la proposición :
( p → ~ q)  (~ r → s)
F  F
S:F
q:V
P:V
r:F
determinar el Valor de Verdad de los esquemas moleculares:
a) (~ p  ~q)  ~ q b) (~ r  q)  [ (~ q  r)  s ]
( F  F)  F (V  V)  [ (F  F)  F ]
(F)  F (V)  [ (F)  F ]
F (V)  [ F ]
F