Scribd
Cargar
191 vistas2 páginas

Leyes Lógicas

Este documento presenta las principales leyes y teoremas de la lógica proposicional, incluyendo las leyes de absorción, idempotencia, asociatividad, conmutatividad, complementación, distributividad, identidad, doble negación, De Morgan, simplificación, adición, inferencia de la alternativa, transitividad, dilema constructivo y destructivo, bicondicional, condicional, transposición, permutación, silogismo, exportación e importación, expansión, separación, modus ponendo ponens, modus tolendo tolens

Cargado por

GrismeryB
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
191 vistas2 páginas

Leyes Lógicas

Este documento presenta las principales leyes y teoremas de la lógica proposicional, incluyendo las leyes de absorción, idempotencia, asociatividad, conmutatividad, complementación, distributividad, identidad, doble negación, De Morgan, simplificación, adición, inferencia de la alternativa, transitividad, dilema constructivo y destructivo, bicondicional, condicional, transposición, permutación, silogismo, exportación e importación, expansión, separación, modus ponendo ponens, modus tolendo tolens

Cargado por

GrismeryB
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

Capítulo I.

Lógica proposicional

Teorema recíproco: Q P
Teorema contrario: P Q
Teorema contrarrecíproco: Q P

1.6 Leyes Lógicas


Leyes de absorción
p ( p q) p
p ( p q) p
Leyes de idempotencia
p p p
p p p
Leyes de asociatividad
p (q r ) ( p q) r
p (q r ) ( p q) r
Leyes de conmutatividad
( p q) ( q p)
( p q) ( q p)
(p q) (q p)
Leyes de complementación
(p p ) 1 ley del tercio exclusivo
(p p) 0 ley de contradiccion
Leyes de distributividad
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)
Leyes de identidad
( p 0) p
( p 1) p
p p
p p
Ley de la doble negación o de involución
p p
Leyes de De Morgan
( p q) p q
( p q) p q
Leyes de simplificación
( p q) p
( p q) q
Leyes de adición

5
Capítulo I. Lógica proposicional

p ( p q)
q ( p q)
Leyes de inferencia de la alternativa o de los silogismos disyuntivos
p ( p q) q
p ( p q) q
Leyes de transitividad o del silogismo hipotético
( p q) (q r ) (p r)
(p q) ( q r) (p r)
Ley del dilema constructivo
( p q) ( p r ) (q r) r
Segunda ley del dilema constructivo
( p q) (r s) ( p r ) (q s)
Ley del dilema destructivo
( p q) (r p) (s q) ( r s)
Ley del bicondicional
(p q) (p q) ( q p)
Leyes del condicional
(p q) ( p q ) condicional disyuntivo
(p q) (p q ) reduccion al absurdo
Leyes de transposición
(p q) ( q p)
(p q) ( q p)
Ley de permutación
p (q r) q (p r)
Ley del silogismo
(p q) (q r) (p r)
Ley de exportación e importación
( p q) r p (q r)
Leyes de expansión
(p q) ( p q) q
( p q) ( p q) p
Ley de separación o del modus ponendo ponens
( p q) p q
Ley del modus tolendo tolens
(p q) q p
Ley del modus tolendo ponens
( p q) p q
Ley de resolución
( p q) ( p r ) (q r )

También podría gustarte