República bolivariana de Venezuela

Ministerio del poder popular para la defensa

Universidad nacional experimental de la fuerza armada

UNEFA

Núcleo Aragua. Cede Maracay

Equivalencia lógica

Profesora: Estudiante:

Michel Delvalle Daniel Pimentel

V-29924374

Noviembre 2022
 Equivalencia lógica

Una proposición en legítimamente equivalente cuando cada una de las

asignaciones de valores de verdad a las proposiciones simples que las compone
genera el mismo valor de verdad en amabas proposiciones, esto dicho de otra
manera se puede expresar diciendo que, sea A o B dos formas proposicionales
diremos que A es lógicamente equivalente a B, lo que denotaríamos A≡B, si y solo
si la forma bicondicional se cumple A↔B siendo esta una tautología.

Algebra de proposiciones

Es un sistema axiomático consistente, se utiliza básicamente para construir y

simplificar proposiciones complejas, siempre y cuando esta cumpla con las
correspondientes propiedades. Las abundantes equivalencias lógicas a su vez
también parten de unas pocas equivalencias fundamentales.

Tipos de demostraciones de equivalencia lógica

Son una serie de axiomas o teoremas que ya cuentan con una previa
demostración y que nos sirven para asegurar la veracidad de una proposición
matemática. En equivalencia lógica podemos encontrar una serie de
demostraciones donde las más resaltantes que podemos encontrar son: Directa,
contrareciproco y reducción a lo absurdo.

Ejemplos:

1) Directa:

Demostrar (p˄q) →p

~ (p˄q) ˅p

(~p˅~q) ˅p

(~q˄~p) ˅p

~q˅ (~p˅p)

~qT

Equivale a una tautología

 2) Contrareciproco

Demostrar: p↔p˅ (q˅~q)

~ [p˅ (q˄~q)] ↔~p

~ [p˅ (q˄~q)] ↔ ~pC

↔~p

3) Reducción a lo absurdo

Demostrar p→ (p˅q) ↔ [p˄~ (p˄q)]

[p˄~ (p˄q)] → C

[p˄ (~p˄~q)] → C

[(p˄~p) ˄~q] → C

(C˄~q) → C

C→C

Tipos de demostraciones de algebra de proposiciones

Las demostraciones del algebra de proposiciones, en sí, es una manera de

explicar procedimentalmente la aplicación de algunas leyes del algebra de
proposiciones en ejercicios que ejemplifican su aplicación

Ejemplos:

Ley de identidad

Demostrar: tomando f como una proposición falsa

 p˄f≡f
 f ˅ ~q ≡ ~q
 f ˄ ~(p ↔ q) ≡ f
 Ley conmutativa
Demostrar:
 p ˄ ( ~q ˄ p) ≡ p˄(p ˄ ~q)

Ley de Morgan
Demostrar:
 ~(p ˄ q) ≡ ~p ˄ ~q
 p ˄ ~ (q ˅ ~p)
p ˄ (~q ˄ p)

Circuito lógico
Es aquel que maneja la información en forma de 1 y 0, dos niveles lógicos de
voltajes fijos. “1” nivel alto “high” y “0” nivel bajo “low”. Pude ser cualquier circuito
lógico, forman la base de cualquier dispositivo en el que se tengan que combinar o
manejar señales de manera controlada.
Son estructuras formales (sistemas abstractos) que representan sistemas para la
transición de información de toda índole (desde la electricidad hasta datos
informáticos) simulando el comportamiento real de un circuito eléctrico.

Como se simplifica una forma proposicional usando el álgebra

proposicional
Primeramente las formas proposicionales por lo general se simplifican cuando
se compones de una o más proposiciones compuestas dando la necesidad de
simplificarlas para acortar el ejercicio o evitar la redundancia de las proposiciones.
Para eso se demuestran los siguientes ejemplos:

1) r ˄ (~t ˄ r)

r ˄ (~t ˄ r)

r ˄ (r ˄ ~t) propiedad conmutativa

(r ˄ r) ˄ ~t propiedad asociativa

r ˄ ~t idempotencia
 2) ~(p → t) ˅ [(r ˄ ~q) ˅ (p → t)]

~ (p → t) ˅ [(r ˄ ~q) ˅ (p → t)]

~ (p → t) ˅ [(p → t) ˅ (r ˄ ~q)] propiedad conmutativa

[~ (p → t) ˅ (p → t)] ˅ (r ˄ ~q) propiedad asociativa

V ˅ (r ˄ ~q) leyes de identidad

Leyes del algebra

 Ley de idempotencia

p˄p↔p

p˅p↔p

 Ley asociativa

p ˅ q ˅ r ↔ (p ˅ q) ˅ r ↔ p ˅ (q ˅ r)

p ˄ q ˄ r ↔ (p ˄ q) ˄ r ↔ p ˄ (q ˄ r)

 Ley conmutativas

p˄q↔q˄p

p˅q↔q˅p

 Ley distributiva

p ˄ (q ˅ r) ↔ (p ˄ q) ˄ (p ˄ r)

p ˅ (q ˄ r) ↔ (p ˅ q) ˅ (p ˅ r)

 Ley de complemento

p˄~p↔F

p˅~p↔V

~ (~p) ↔ p

~F ↔ V
~V ↔ F

 Ley de la doble negación

~ (~ p) ≡ p

 Ley de Morgan

~ (p ˄ q) ↔ ~ p ˅ ~ q

~ (p ˅ q) ↔ ~ p ˄ ~ q

 Ley de identidad

p˄F↔F

p˄V↔p

p˅F↔p

p˅V↔V