Scribd
Cargar
32 vistas14 páginas

Leyes Logica

El documento presenta las leyes del álgebra proposicional, que son equivalencias lógicas demostrables mediante tablas de verdad. Se describen diez leyes fundamentales, incluyendo la ley de involución, idempotencia, complemento, conmutativa, asociativa, distributiva, de Morgan, condicionales, bicondicionales y de absorción, junto con ejemplos y ejercicios para su aplicación. Además, se incluyen ejercicios para simplificar proposiciones y formalizar enunciados.

Cargado por

consuelo santos gutierrez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
32 vistas14 páginas

Leyes Logica

El documento presenta las leyes del álgebra proposicional, que son equivalencias lógicas demostrables mediante tablas de verdad. Se describen diez leyes fundamentales, incluyendo la ley de involución, idempotencia, complemento, conmutativa, asociativa, distributiva, de Morgan, condicionales, bicondicionales y de absorción, junto con ejemplos y ejercicios para su aplicación. Además, se incluyen ejercicios para simplificar proposiciones y formalizar enunciados.

Cargado por

consuelo santos gutierrez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD PERUANA LOS ANDES

ESCUELA PROFESIONAL DE EDUCACIÓN PRIMARIA MODALIDAD DE


EDUCACIÓN SEMIPRESENCIAL

SESION III
LEYES DEL ALGEBRA PROPOSICIONAL
CONCEPTO:
Las leyes de la algebra de proposiciones son equivalencias lógicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del
algebra de proposiciones son las siguientes

1.- Ley de involución o doble negación:


Negar una proposición dos veces equivale a la afirmación de la misma
proposición.
~(~p) Ξ p
Ejemplo:
~[~(p^q)] Ξ p^q
2.- Leyes de Idempotencia
Significa igual valor; lo que quiere decir es que, al operar una misma proposición con los
conectivos de conjunción o disyunción, equivale a la misma proposición.

p^pΞp
pvpΞp
Ejemplo:
~q^~q Ξ ~q
(~p → q) v (~ p → q ) Ξ (~ p → q )
3.- Complemento - Tercio Excluido

Significa que al operar una proposición con su contrario , el resultado es falso con la
conjunción y verdadera con la disyunción:
P ∧ ~P Ξ F
P ∨ ~P Ξ V

Ejemplo:

(p v q) ^ ~(p v q) Ξ F
(p v q) v ~(p v q) Ξ V
4.- Conmutativa

Conmutar significa cambiar de lugar, estado u


orden
p∧qΞ q∧p
p∨qΞ q∨p
Ejemplo:
~p ∧ q Ξ q ∧ ~p
Ejemplo:
~p ∨ ~q Ξ ~ q ∨ ~p
( p ∨ ~q) ∧ r Ξ r ∧ (q ∨ ~ p ∨ (q → r) Ξ (q → r) ∨ p
p)
5.- Ley Asociativa
Asociar significa agrupar de diferentes formas:
Los operadores son iguales
p ∨ q ∨ r Ξ (p ∨ q) ∨ r Ξ p ∨ (q ∨ r)
p ∧ q ∧ r Ξ (p ∧ q) ∧ r Ξ p ∧ (q ∧ r)
p ↔ (q ↔ r ) Ξ ( p ↔ q ) ↔ r

Ejemplo:
p ˄ ~ q ˄ r Ξ (p ˄ ~ q) ˄ r Ξ p ˄ (~ q ˄ r )

Ejemplo:
~p ˅ ~ q ˅ r Ξ (~p ˅ ~ q ) ˅ r Ξ ~p ˅ (~ q ˅ r )
6.- Distributivas
Los operadores son diferentes. Ejemplo:
p ∧ (q ∨ r ) Ξ (p ∧ q ) ∨ ( p ∧ r ) p ∧ (~q ∨ r ) Ξ (p ∧ ~q ) ∨ ( p ∧ r )
p ∨ (q ∧ r ) Ξ ( p ∨ q ) ∧ ( p ∨ r )
~p ˅ (~q ˄ r ) Ξ ( ~p ˅ ~q ) ˄ ( ~p ˅ r )

p → (q ∧ r ) Ξ (p → q ) ∧ ( p
→r) p → (q ˅ ~r ) Ξ (p → q ) ˅ ( p → ~r
)
p → (q ˅ r ) Ξ (p → q ) ˅ ( p
→r)
~p → (~q ˄ r ) Ξ (~p → ~q ) ˄ ( ~p
→r)
7.- Leyes de Morgan

~(p ∧ q ) Ξ ~P ∨ ~q
~( p ∨ q ) Ξ ~ p ∧ ~q

Ejemplo:
~(r ∧ s ) Ξ ~r ∨ ~s
Ejemplo:
~(r ˅ t ) Ξ ~r ˄ ~t
~( p ˄ ~q ) Ξ ~ p ˅ ~ (~q) ~( ~p ˅ q ) Ξ ~ (~p) ˄ ~q
Ξ~p˅ q Ξ p ˄ ~q
8.- Leyes condicionales

p → q Ξ ~p ∨ q
p → q Ξ ~ q → ~p

Ejemplo:
~p → q Ξ ~(~p ) ˅ q
~(p → q ) Ξ ~ (~p ˅ q)
p → (q ˅ r ) Ξ p ˅ q
Ξ p ˄ ~q

~(p → ~q ) Ξ p ˄ ~(~p )
Ξp˄q
9.- Leyes bicondicionales

p ↔ q Ξ (p → q) ˄ (q → p)

Ejemplos:

~p ↔ q Ξ (~p → q) ˄ (q → ~p)

~r ↔ ~ s Ξ (~r → ~s) ˄ (~ s → ~r)


10.- Leyes de absorción

P∧ ( p ∨ q )Ξ p
Los operadores deben ser diferentes:

p ∨ ( p ∧ q) Ξ p

~p ∧ ( ~p ∨ q )Ξ ~p
Ejemplos:

p ˄ ( r ˅ q) Ξ q
p ˅ (p ˄ ~ q )Ξ p
~p ˅ (p ˄ ~ q )Ξ ~p
Ejercicios:
Simplificar

1) ~{[(~p) ˅ (~q)]˅ ~q }
2) [(p v ~q) ˄ q]→ p
3) ~[~(p^q)→ ~q] v q
4) [~(p→q)→~ (q→p)]˄(pvq)
5) {[(p→q) ↔~q] ^ ~q}
6) ~[(p v p ) ↔ p]
7) [~p v q] v [~q v ~ p]
8) [(~p^q)→(r ˄ ~r)]^~q
Ejercicios:
Formalizar las siguientes proposiciones:
a) Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
b) Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno
c) Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy loco y dejaría que me
internaran en un psiquiátrico.
d) Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a
trabajar
e) * Si Practicas pesas estas en forma
* Las chicas te miran si esta en forma
Se concluye en?

También podría gustarte