7.

Defina las Leyes o Propiedades de las siguientes Leyes Lgicas de:

Involucin o Doble Negacin, cuando dos negaciones estn prximas ambas se eliminan.
Simbolizando: ~(~A).
Ejemplo
No hay no mortales
No existe ningn perro
Idempotencia es la propiedad para realizar una accin determinada varias veces y aun as
conseguir el mismo resultado que se obtendra si se realizase una sola vez.
Simbolizando:
Si V=Verdadero, F=Falso VvV= V y VV= V. Anlogamente para F.
De la conjuncin: p p p
De la disyuncin: p p p
Ejemplo:
Pedro es doctor y arquitecto, sabiendo que Pedro es doctores verdadero y Pedro
es Arquitecto es verdadero, por tanto, la proposicin es verdadera.
Rodrigo viaja o toma t, sabiendo que Rodrigo viaja es falso y que Rodrigo toma t
es falso, por tanto, la proposicin es falsa.
Asociativa, quieren decir que no importa cmo agrupes las proposiciones cuando son
disyuntivas o conjuntivas respectivamente.
Simbolizando:
De la disyuncin: (p v q) v r = p v (q v r)
De la conjuncin: (p q) r = p (q r)
Roberto es poeta como Juan y Luis, tambin de Rodrigo por tanto, Roberto
tambin es poeta como Juan y Luis
Camilo cocin, plancho la sbana o recogi la ropa, por tanto Camilo cocin o
plancho la sbana, asimismo recogi la ropa
Conmutativa, quiere decir que puedes intercambiar las proposiciones cuando son
conjuntivas o disyuntivas y la respuesta va a ser la misma.
Simbolizando:
De la disyuncin: p v q = q v p
De la conjuncin: p q = q p
Roberto se casa con Mara y se va de paseo, es igual a decir: Roberto se va de
paseo y se casa con Mara.
Pedro es casado o Rodrigo es abogado, es igual a: Rodrigo es abogado o Pedro
es casado
Distributiva, Cuando se tiene en una proposicin molecular una disyuncin entre
parntesis y afuera una conjuncin se podr distribuir entre parntesis a la disyuncin y la
unin de las formula ser mediante la conjuncin y viceversa.
Simbolizando
De la conjuncin respecto a la disyuncin: (p q) r (p r) (q r)
De la disyuncin respecto a la conjuncin: (p q) r (p r) (q r)
Ejemplo:
Juan viaja o se viste de rojo, sin embargo tiene gripe, por tanto, Juan viaja y tiene
gripe de modo que Juan viste de rojo y tiene gripe.
Rubn come y tiene puesto un suter azul, de modo que viaja en tren, por tanto
Rubn come o viaja en tren, adems, Rubn tiene puesto un suter azul o viaja en
tren.
Leyes de Morgan, Si existe una negacin antes de un parntesis con una conjuncin
entonces ser equivalente a la distribucin de la negacin entre las dos variables con el
cambio de conector lgico conjuntivo por un disyuntivo y viceversa.
Simbolizando
Negacin de la conjuncin: (p q) p q
Negacin de la disyuncin: (p q) p q
Ejemplos:

Es mentira que, los rboles sean mamferos y vertebrados, por tanto, no hay rbol
que sea mamfero o rbol que sea vertebrado.
No puede ser que, la vida sea difcil o los sueos se cumplan, por tanto, no es
verdad que la vida sea difcil y no es verdad que los sueos se cumplan
Ley de la Identidad, una proposicin si es verdadera necesariamente ser verdadera y si
es falsa necesariamente ser falsa.
Simbolizando:
p=p
Ejemplo:
Pedro es Pedro
El sol es el sol
Leyes de Absorcin, si una variable est seguida de una conjuncin y existen parntesis
dentro de los cules hay una disyuncincon la primera variable y otra, est se absorbe
quedando nicamente la primera variable.
Simbolizando
De la conjuncin respecto a la disyuncin: p (p q) p
De la disyuncin respecto a la conjuncin: p (p q) p
Ejemplos
Roberto cruza la calle adems cruza la calle o come helado, luego, Roberto cruza
la calle
Pedro es amigo de Luis de modo que Pedro es amigo de Luis y de Roberto, luego,
Pedo es amigo de Luis
Ley de la Condicional, Si dos variables tienen como conector una condicional puede tomar
forma de negacin de la primera variable con un conector disyuntivo.
Simbolizando
pqpq
Ejemplo
Si llueve entonces todos se mojan, luego, no llueve o todos se mojan
La vida es fcil entonces ser feliz, luego, no existe vida fcil o no ser feliz.
Ley de la Contrarrecproca, esta ley lgica puede utilizarse como regla de

derivacin en la lnea de premisas.

Simbolizacin.
~q (~p)
Ejemplo
Si no tiene pelo entonces no es mamfero
Sino tiene hojas entonces no es una flor

Ley de la Bicondicional, una frmula con conector bicondicional es equivalente a la unin

mediante una conjuncin de las variables con condicional directa e inversa.
Simbolizando

p q p q q p

8. Desarrolle un Ejemplo de Proposicin Lgica con Cinco Variables. Identifique las

Correspondientes Proposiciones Atmicas. Formalice la Proposicin y Elabore la Correspondiente
Tabla de la Verdad. Determine la Validez del Argumento.
Pedro es amigo de Rosa y Patricia, si y solo si, Mara es vecina de Roberto y Juan Carlos, luego
Jimena vive lejos.
Frmula: (p q) (r s) t
Solucin
p
q
r
s

V
V

V
F

V
V

V
V

V
V

((p
q)
V
V

(r s))

V
V

V
V

V
F

V
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F

V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V

F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
V
V
F
V
F
V
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

El resultado es una contingencia debido a que el resultado de la matriz principal son V y F.