Scribd
Cargar
399 vistas5 páginas

Ejemplos Leyes Lógicas-2022-I

El documento describe las leyes lógicas del álgebra proposicional, incluyendo las leyes de idempotencia, conmutativa, asociativa, distributiva, negación, Morgan, condicional, bicondicional, complemento, identidad y absorción. Se proporcionan ejemplos de cómo aplicar cada ley lógica para simplificar expresiones proposicionales complejas.

Cargado por

frank alex
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 PDF, TXT o lee en línea desde Scribd
399 vistas5 páginas

Ejemplos Leyes Lógicas-2022-I

El documento describe las leyes lógicas del álgebra proposicional, incluyendo las leyes de idempotencia, conmutativa, asociativa, distributiva, negación, Morgan, condicional, bicondicional, complemento, identidad y absorción. Se proporcionan ejemplos de cómo aplicar cada ley lógica para simplificar expresiones proposicionales complejas.

Cargado por

frank alex
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 PDF, TXT o lee en línea desde Scribd

U

P Vicerrectorado Académico CARPETA ACADÉMICA


L Facultad de Ciencias MATEMÁTICA BÁSICA
A Administrativas y Contables Mg. Judith Catherine Chávez Salinas
Tel-Fax 238008

LEYES LÓGICAS O LEYES DEL ÁLGEBRA PROPOSICIONAL

EJEMPLOS DE COMO SE UTILIZA LAS LEYES LÓGICAS EN CADA CASO


Ley de idempotencia: p p  p
p p  p

a) p p p

b)  p  q   p  q  p  q
c)  p  q   r    p  q   r    p  q   r 

d) t t  t
e) r r  r

Ley conmutativa: pq  q p


pq  q p
pqq p

a) p t  t  p

b)  p  q  r  r   p  q
c)  p  q  t  t   p  q
d) r s  s r
Ley asociativa: ( p  q )  r  p  (q  r )

( p  q)  r  p  (q  r )   p  r   q

( p  q )  r  p  (q  r )

a)  p q  p   p  p  q  p q

b)  q  t   r  q  t  r 

Ley distributiva: 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 )

a)  q  r    s q  q  r  s

b)  p t    q t   t   p  q
U
P Vicerrectorado Académico CARPETA ACADÉMICA
L Facultad de Ciencias MATEMÁTICA BÁSICA
A Administrativas y Contables Mg. Judith Catherine Chávez Salinas
Tel-Fax 238008

c)  s  t    r  s   s  t  r 
d) t  r   q  t   t   r  q

Ley de la negación: ~ ~ p  p

~  ~ q   q


a) ~ ~  p  q    p  q 
b)   r  s    r  s 

Leyes de Morgan: ~ ( p  q)  (~ p ~ q)
~ ( p  q)  (~ p  ~ q)

a) r s   r  s

b) q   p q 

 q   p q    q  p q
 q   p  q

c)  p  q    r  q 

 p  q    r  q     p  q   r  q
  p q    r  q

Ley de la condicional: p  q ~ p  q

a) q  r   q r

b) q s  q
q  s  q   q  s  q  condicional
 q   s q  morgan
  q q   s asociativa
V s complemento
V identidad
U
P Vicerrectorado Académico CARPETA ACADÉMICA
L Facultad de Ciencias MATEMÁTICA BÁSICA
A Administrativas y Contables Mg. Judith Catherine Chávez Salinas
Tel-Fax 238008

c)  q r  r

 q r  r   q r r condicional
 ( q  r)  r morgan
 q  r  r  asociativa
 qr idempotencia

Ley de la bicondicional: ( p  q )  ( p  q )  (q  p )
( p  q)  ( p  q)  (~ p  ~ q)

a) q  r   q  r    r  q

b)  q  r    q r  q  r

Ley del complemento: p ~ p  V


p ~ p  F
~V  F
~ F V
a)  q r  q r V

b)  q r  q r  F

c) q  r   q  r   F

Ley de identidad: pF  p


p V  V
pF  F
p V  p

a) q  r  V  V

b) q  r   F  F
c)  q  r   p   V  V

d)  q  r   p   F   q  r   p 

e) t  s   V  t  s 
f) F   q  p   q  p
U
P Vicerrectorado Académico CARPETA ACADÉMICA
L Facultad de Ciencias MATEMÁTICA BÁSICA
A Administrativas y Contables Mg. Judith Catherine Chávez Salinas
Tel-Fax 238008

Leyes de la absorción: p  ( p  q)  p
p  ( p  q)  p
p  (~ p  q )  p  q
p  (~ p  q )  p  q

a) s  t  s  s
b) r   q  r   r
c) p   p   t  s   p

d) t  t s  t s
e)  r  q     r  q   t    r  q   t
f) p  (s  p)  p  s

Ejemplos:
a. Simplificar:  r  p    s  r    t  p   t  s
Aplicando la ley de absorción a los dos primeros términos del esquema se tiene

 r  p  s    t  p   t  s

En los primeros términos se repite p , luego:  r  p  s   t  s


En el segundo término, la variable s se repite negativamente, luego el esquema equivale a:

 r  p  s t

b. Simplificar: s   r  s   p  r  t 
Aplicando la ley de absorción a los dos primeros términos del esquema se tiene:

s  r   p  r  t .
La variable r se repite en la cadena de conjunciones del segundo término, luego aplicando absorción
el esquema equivale a:  s  r 

c. Hallar una proposición equivalente a: P   p  q  r r    q 

P    p  q  r r    q 

  p q   F    q 
U
P Vicerrectorado Académico CARPETA ACADÉMICA
L Facultad de Ciencias MATEMÁTICA BÁSICA
A Administrativas y Contables Mg. Judith Catherine Chávez Salinas
Tel-Fax 238008

  p q    q 

  q

d. Simplificar el esquema: A   p  q  q  p

A  p  q  q  p
  p q   q  p
  p q    p q
  p q

También podría gustarte