Scribd
Cargar
590 vistas2 páginas

Leyes Logicas Part 1

El documento presenta una lista de 9 equivalencias lógicas y operadores lógicos comunes como la doble negación, la ley de Morgan, la definición del implicador y el biimplicador, junto con ejemplos ilustrativos de cada uno. El documento parece ser parte de las notas o diapositivas de un curso de lógica dictado por el Dr. Elvis Daga.

Cargado por

EsluviaAliaga
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 DOC, PDF, TXT o lee en línea desde Scribd
590 vistas2 páginas

Leyes Logicas Part 1

El documento presenta una lista de 9 equivalencias lógicas y operadores lógicos comunes como la doble negación, la ley de Morgan, la definición del implicador y el biimplicador, junto con ejemplos ilustrativos de cada uno. El documento parece ser parte de las notas o diapositivas de un curso de lógica dictado por el Dr. Elvis Daga.

Cargado por

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

-1-

DOCENTE: DR: ELVIS DAGA CURSO: [Link]

DONDE: A = ELVIS DAGA ES PROFESOR DE FILOSOFA


B = ELVIS DAGA ES PROFESOR DE LGICA

EQUIVALENCIAS I EJEMPLOS EQUIVALENCIAS II EJEMPLOS


1) Doble negacin --A A 1) Asociacin: , , , A (BC) (A B) C
(A B C)
2) Ley de Conmutacin , , , AB BA 2) Distribucin A (BC) (A B) (A C)
-Av B -B vA A (BC) (A B) (A C)
, /,
-A B B A A BC (A B) (A C)
A BC (A B) (A C)
(A B) (A-B) A (B -B)
3) Ley de Morgan , - (A B ) A B 3) Absorcin (A B) v A A
- A B (A B) - A (B - A) - A
A B ( A B) - A ( B A) - A B
4) Ley de Contraposicin , , AB-B-A 4) Complemento A A 1
-A B -B A A A 0
,
- (- A - B) - (B A)
5) Definicin del implicador AB-AB 5) Idempotencia AAAA
-A B A B AvAA
A -B - A -B (A B) v (A B) A B
-(A -B) - (-A -B)
6) Definiciones del Biimplicador A B (A B ) ( - A v B) 6) Identidad Av0A
(A B) ( - A -B) Av11
(A B) ( B A) A1 A
A0 0
A11
0A 1
7) Definiciones del Bidisyuntor A v B (A B ) v ( A B) 7) Exportacin A B C A (BC)
(A v B) ( A -B)
(A B) v ( B A)
8) Definicin de Daga de Sheffer A B A B 8) Mutacin A (B C) B (A C )
o inalternador. - A B A B
- (A B) ( A B)
9) Definicin de Barra de Nicod o A / B - A v B 9) Expansin A B A (A B)
Incompatibilizador -A/ B AvB B (A v B)
- (A / B) ( A v B) A A v (-B B)

-2-

También podría gustarte