CICLO DE VERANO SEMILLERO CEPUNT 2021

CICLO DICIEMBRE 2020 – MARZO 2021

SEMANA: 04 DOCENTE: FÉLIX GUTIÉRREZ ABANTO

ÁREA: A-C-D CURSO: RAZ. LÓGICO
PROPÓSITOS
CICLO DICIEMBRE 2020 – MARZO 2021

1. DETERMINAR EQUIVALENCIAS CON TABLAS DE VERDAD.

2. DETERMINAR EQUIVALENCIAS CON DEFINICIONES Y LEYES DE
EQUIVALENCIA.
MÉTODO: TABLAS DE VERDAD
EJEMPLOS: CICLO DICIEMBRE 2020 – MARZO 2021

DETERMINAR LA EQUIVALENCIA ENTRE LAS SIGUIENTES FÓRMULAS LÓGICAS:

a) p →q y -p v q pq p →q pq -p v q
1 1 1 1 1 1 1 1 1 1
1 0 1 0 0 1 0 1 0 1
0 1 0 1 1 0 1 0 1 0
0 0 0 1 0 0 0 0 1 0

 p →q  -p v q
EQUIVALENCIAS CON TABLAS DE VERDAD
Ejemplo1: CICLO DICIEMBRE 2020 – MARZO 2021

Determinar la equivalencia entre:

(p → q) -q -p (p  q) v -q -p
1 1 1 0 0 1 0 1 1 1 1 0 0 0
1 0 0 0 1 1 0 1 1 0 1 1 0 0
0 1 1 0 0 0 1 0 0 1 0 0 0 1
0 1 0 1 1 1 1 0 1 0 1 1 0 1

 No son equivalentes:
MÉTODO: TABLAS DE VERDAD
EJEMPLOS: CICLO DICIEMBRE 2020 – MARZO 2021

DETERMINAR LA EQUIVALENCIA ENTRE LAS SIGUIENTES FÓRMULAS LÓGICAS:

b) (p →q)  -q  -r  → -p y -( p  –q  -r)

pqr (p →q)  -q  -r  → -p - ( p  –q -r )

1 1 1 1 1 1 0 0 00 1 1 1 0 0 0
1 1 0 1 1 1 0 1 00 1 1 1 0 1 0
1 0 1 1 0 0 1 0 00 1 0 1 1 0 1
1 0 0 1 0 0 1 1 00 1 0 1 1 1 1
0 1 1 0 1 1 0 0 01 1 1 0 0 0 0
0 1 0 0 1 1 0 1 01 1 1 0 0 1 0
0 0 1 0 1 0 1 0 01 1 1 0 1 0 0
0 0 0 0 1 0 1 1 11 1 1 0 1 1 0
(p →q)  -q  -r  → -p  -( p  –q  –r )
 MÉTODO: DEFINICIONES Y LEYES
EJEMPLOS: CICLO DICIEMBRE 2020 – MARZO 2021

DEDUCIR EQUIVALENCIAS UTILIZANDO DEFINICIONES LÓGICAS:

DEFINICIÓN DEL DEFINICIÓN DEL REPLICADOR DEFINICIÓN DEL INALTERNADOR:
IMPLICADOR: O RECÍPROCA:
p→q  -p v q pq  pv-q (p  q)  ( -p  -q)
- p → -q  p v -q - p  -q  -pvq (-p  q)  ( p  – q)
-( p → -q)  -( -p v –q) - (p  -q)  -( p v q) -(-p  -q)  -( p  q)

→  
- v v - -  -
 PARA CONVERTIR UN

MÉTODO: DEFINICIONES DE EQUIVALENCIAS

BIIMPLICADOR A DISYUNTOR
EXCLUYENTE Y VICEVERSA SE
AGREGA O SE QUITA UN
EJEMPLOS: NEGADOR
CICLO DICIEMBRE 2020 – MARZO 2021

DEDUCIR EQUIVALENCIAS UTILIZANDO DEFINICIONES LÓGICAS:

DEFINICIÓN DEL DEFINICIÓN DEL DEFINICIÓN DEL DISYUNTOR
INCOMPATIBILIZADOR: BIIMPLICADOR: EXCLUYENTE:
-( p / -q)  -(- p v q) p  q  (p → q)  (q → p) (p  q)  ( -p  q)
- p / q  p v -q p  -q  (p → -q) (-q→ p) (p  q)  ( p  – q)
p / q  -p v -q - (p  -q)  -( p → – q)(-q →p) (p  q)  -( p  q)

  = -
- V - ( → )( →) (- → )  ( →-)
MÉTODO: LEYES Y DEFINICIONES
EJEMPLOS:
DEDUCIR LA EQUIVALENTE UTILIZANDO LEYES: CICLO DICIEMBRE 2020 – MARZO 2021

CONTRAPOSICIÓN
CONMUTACIÓN DE MORGAN O TRANSPOSICIÓN
V,  , , / , ,  Para cambiar de V a  , y viceversa →,,, 
pvq  qvp p v q  - (-p -q) p →q  -q → -p

p  -q  -q  p -(-p v q)  p  -q p q  -q  -p

pq  qp -(-p v -q)  p  q p q  -q  -p

MÉTODO: LEYES Y DEFINICIONES
EJEMPLOS:
DEDUCIR LA EQUIVALENTE UTILIZANDO LEYES: CICLO DICIEMBRE 2020 – MARZO 2021

IDENTIDAD pv0  p
0 v (p →q)  ( p →q )
pv1  1 p1  p
0v…  …
1v (p  -q)  1 (p →q) 1  (p →q)

(p  q) v 1  1 -(-p v q)  1  -( -p v q) p0  0
O  (p q)  0
1v…  1 1…  … 0 …  0
MÉTODO: LEYES Y DEFINICIONES
EJEMPLOS:
DEDUCIR LA EQUIVALENTE UTILIZANDO LEYES: CICLO DICIEMBRE 2020 – MARZO 2021

COMPLEMENTO ASOCIACIÓN

(p v –p )  1 *Si tiene cadena de: v v v v v


(s v –s )  1 (p v q) v-p  p v q v –p … se libera
(p v -p) v q…se agrupa
(p  -q ) v -( p  -q)  1
(-p  q)  (q  r) -r
-q q  0 -p  q  q  q  r  -r … liberando
(p  q)  - ( q  p)  0 -p  ( q q q ) (r –r ) … agrupando
MÉTODO: LEYES Y DEFINICIONES
EJEMPLOS:
DEDUCIR LA EQUIVALENTE UTILIZANDO LEYES: CICLO DICIEMBRE 2020 – MARZO 2021

IDEMPOTENCIA ABSORCIÓN
* Si se tiene: … v (… …)
… (… v…)
pv pvpvp = p *Además tiene una iterada
-r  -r  -r -r = -r p v ( p  q)  p
- p v ( p  q)  -p v q
(-r v r)  (-r v r)  (r v –r) = (-rvr)
p v ( -p  q)  p v q
 CICLO DICIEMBRE 2020 – MARZO 2021

ES TODO POR ESTA SEMANA

GRACIAS POR SU ATENCIÓN