UNIVERSIDAD ALEJANDRO DE HUMBOLDT

CURSO PRE INGRESO

NUCLEO VALENCIA

LEYES DE LOGICA

Kevin Enrquez

16.503.091

Mansur Gonzlez

7.924.803

Ricardo Mijares

12.473.822

Yrenia Rugeles M.

15.568.446

Ormadelyn Dominguez

19.357.101

Mariely Seco

20.180.302
Prof. Ral Diaz

Valencia, Octubre del 2013

LEYES DE LA LOGICA.
Ley de idempotencia
Define que la conjuncin de una proposicin consigo misma, cualquier
nmero de veces, produce como resultado a la propia proposicin.
Ejemplo
X+X=X
ppp
ppp
Ley de absorcin
La suma de un elemento A y un producto de su mismo por otro elemento B,
tiene como resultado el propio elemento A (teorema similar al factor comn del
algebra).
Ejemplo:
A + A . B = A . (1 +B) = A . 1
A . (A + B) = A (ya que es expresin dual de la anterior.)
pv(pq) p
p(pvq) p
p(~pvq) pq
pv(~pq) pvq

Ley conmutativa
La cumplen la suma y el producto lgicos. El orden en que se suman o
multiplican un par de variables no altera el resultado final.
Ejemplo:
A+B=B+A
A . B=B .A
pqqp
pqqp
Ley asociativa.
La cumplen la suma y el producto. Las variables de una expresin lgica
pueden agruparse como se desee, siempre que estn conectadas por el mismo
operador lgico.
Ejemplo:
A + (B + C) = (A + B) + C
A + (B . C) = (A . B) . C
p (q r) (p q) r
p (q r) (p q) r
Ley de la involucin.
Al negar una expresin dos veces, se vuelve a la expresin original.
Ejemplo:
la negacin de = A
~(~P) P

Ley de identidad.
Es la condicin de ser lo mismo en todos los respectos. Carcter de dos
objetos distintos en el tiempo o en el espacio, pero que presentan ante todo caso las
mismas propiedades. La identidad se encuentra caracterizada por seis propiedades
fundamentales, que son:
1. La coincidencia.
2. La isodinamia.
3. La reflexibilidad.
4. La simetra.
5. La transitividad por transferencia.
6. La transitividad por equiparacin.
Ejemplos:
0 +A=A
1 .A= A
pFp
pVp
Ley de complementacin.
Para todo elemento A existe otro que sumado con el da 1; por otro lado, para
todo elemento A existe otro que multiplicado por el da 0.
Ejemplo:
A+=1

A . =0

pv~pV ~FV
p~pF ~VF

Leyes de Implicacin
Esta ley permite cambiar el conectivo principal de la proposicin
condicional por disyuncin, pero negando el antecedente.
Ejemplo:
pq(~q~p)
pq~pq
p(pq)pq

REFERENCIAS BIBLIOGRAFICAS

Gortari, Eli (2000). Diccionario de la lgica. [Libro en lnea]. Disponible en:

http://books.google.co.ve/books?id=J3iVh-vllPoC&pg=PA235&dq=define:
+idempotencia&hl=es419&sa=X&ei=YU16Uor7N4j4kQfwhYH4Cw&ved=0CDMQ6AEwAQ#v=o
nepage&q=define%3A%20idempotencia&f=false.

[Consulta:

2013,

noviembre 2]

Rodriguez, Ocar (2002). Organizacin y procesos Matemticos de Vehculos. [Libro

en

lnea].

Disponible

en:

http://books.google.co.ve/books?

id=b8OKZ2mpYgsC&pg=PA53&dq=ley+de+involucion&hl=es419&sa=X&ei=YFJ6UuH1JcqhkQewuIHoCw&ved=0CCwQ6AEwAA#v=on
epage&q=ley%20de%20involucion&f=false [Consulta: 2013, noviembre 4]