Equivalencias Lógicos
Equivalencias Lógicos
Equivalencias Lógicos
EQUIVALENCI
AS LÓGICAS
CICLO
CICLO NOVIEMBRE2020
DICIEMBRE - MARZO
– MARZO
2021
La negación de la disyunción de dos variables cualquiera equivale a la conjunción de dichas variables negadas.
La negación de la conjunción de dos variables equivale a la disyunción de dichas variables negadas.
Ejemplo:
Cambio de C onector
( p q) (p q)
-( p & q)≡ -p v – q
-( p v q) ≡ - p & - q
-P & q≡ - ( p v – q)
3. CONMUTACIÓN.
Consiste en intercambiar de posición las dos proposiciones ya sean simples o compuestas que estén unidas
Llamada también Transposición. Es muy similar a la Ley de Conmutación, la diferencia es que al aplicar esta ley, a la vez
CICLO DICIEMBRE 2020 – MARZO 2021
que cambiamos de lugar a las componentes, también cambiamos sus Negaciones por Afirmaciones y
viceversa. Sólo es aplicable con los siguientes conectores: ®, ¬, «, Å
A B ≡ - B -A A ↔ B ≡ - B ↔ -A
-A B≡ -B A
5. DISTRIBUCIÓN.
Esta ley consiste en distribuir una variable (o una fórmula parcial) que esté unida por una conjunción (o
CICLO DICIEMBRE 2020 – MARZO 2021
disyunción incluyente) a un esquema molecular disyuntivo incluyente (o conjuntivo), según sea el caso.
Se aplica con los siguientes conectores: Ú Ù (simultáneos) y en algunos casos también es válida la
combinación: ® Ù
Ejemplos:
01) p (q r) (p q) (p r)
02) p (q r) (p q) (p r)
03) p ( q r ) ( p q ) ( p r )
04) ( p q ) ( r s ) [ ( p q ) r ] [ ( p q ) s ]
6. ABSORCIÓN.
CICLO DICIEMBRE 2020 – MARZO 2021
p Ù (p Ú q) º p
- p Ù (p Ú q) ≡ -p q
7. ASOCIACIÓN.
Al aplicar esta Equivalencia lo único que cambia es la posición de los signos de agrupación. Sólo es aplicable con los siguientes
CICLO DICIEMBRE 2020 – MARZO 2021
conectores: Ù, Ú, Ú, «
Ejemplo:
p (q r) (p q) r
El Perú es un país con abundantes recursos forestales y mineros. Pero no es una potencia económica. (pÙq) Ù Ør
R. El Perú es un país con abundantes recursos forestales. Además, es un país con abundantes recursos mineros y no
es potencia económica. pÙ (qÙ Ør)
8. DEFINICIÓN DEL IMPLICADOR
CICLO DICIEMBRE 2020 – MARZO 2021
p®q º ØpÚq
9. DEFINICIÓN DEL BIIMPLICADOR.
“Una proposición biimplicativa es verdadera cuando el antecedente y el consecuente son verdaderos, o, cuando
CICLO DICIEMBRE 2020 – MARZO 2021
ambos son falsos”, es decir, para dos proposiciones: p y q tenemos que:
≡ (-p v q ) & ( p v –q )
≡(p® q)& ( q® p )
10. DEFINICIÓN DEL DISYUNTOR EXCLUYENTE.
CICLO DICIEMBRE 2020 – MARZO 2021
Equivalencia
(p q)
p
(p q) (p q)
(p q) (q p)
11. EXPORTACIÓN CICLO DICIEMBRE 2020 – MARZO 2021
Esta Ley de Equivalencia relaciona una implicación con una conjunción para
dar una proposición sólo implicativa con tres variables.
pÙ pºp pÚpºp
Ejemplo:
La proposición: “Lima es la capital peruana y Lima es la capital peruana”
Es equivalente a:
Lima es la capital peruana.
14.LEY DEL COMPLEMENTO
CICLO DICIEMBRE 2020 – MARZO 2021
15.IDENTIDADES CICLO DICIEMBRE 2020 – MARZO 2021
pÙ1 º p pÙ0 º 0
pÚ1 º 1 pÚ0 º p
LEY DE EQUIVALENCIA APLICACIONES
01) DOBLE NEGACIÓN A (A) (A) A
A [(A)] [(A)] A
02) LEYES DE D’MORGAN (AB) AB AB (AB)
(AB) AB AB (AB)
CICLO DICIEMBRE 2020 – MARZO 2021
03) CONMUTACIÓN (, , , , , ) (AB) (BA) (AB) (BA)
04) CONTRAPOSICIÓN (, , , ) (AB) (BA) (AB) (BA)
05) ASOCIACIÓN (, , , ) (ABC) [(AB)] [A(BC)]
(ABCD) [(AB)(CD)]
06) DISTRIBUCIÓN A (B C) (A B) (A C)
A (B C) (A B) (A C)
07) ABSORCIÓN A(AB) A A(AB) A
A(AB) AB A(AB) AB
08) DEFINICIÓN DEL IMPLICADOR AB AB AB (AB)
09) DEF. DEL BIIMPLICADOR (AB) (AB) (AB)
(AB) (AB) (AB)
10) DEF. DEL DISY. EXCLUYENTE (AB) (AB) (AB) (AB)
(AB) (AB) (AB) (AB)
11) DEFINICIÓN DEL DISY. EXC. AB) (AB) (AB)
12) EXPORTACIÓN (AB)C A(BC)
13) MUTACIÓN A(BC) B(AC)
14) LEY DE EXPANSIÓN p [p (s s)] p [p (t t)]
pq [p (pq)] pq [q (pq)]
15) IDEMPOTENCIA AA A AA A
16) COMPLEMENTO AA 0 AA 1
17) IDENTIDADES A1 A A1 1
A0 0 A0 A