Ejemplos :
p: César Vallejo nació en Paris
q: Todos los hombres no son mortales
Observación:
Aquellos enunciados que indican una pregunta, una orden o una
exclamación, son expresiones no proporcionales
Ejemplos:
a)¿Qué edad tienes?
b)Viva el Perú
c)Prohibido fumar
Valor de verdad de una proposición
Si p es una proposición, su valor de verdad se denotará con V(p) = V,
y si queremos expresar que es falsa, escribiremos: V(p) = F
Ejemplos:
p: César Vallejo nació en Paris V(p) = F
q: 2 + 3 < 10 – 3 V(q) = V
r: El número 1331 es divisible por 11 V(r) = V
s: Todos los hombres no son mortales V(s) = F
-
Tipos de proposiciones
Simples: Son aquellas que tienen una única idea, es decir una sola
afirmación,
siempre en positivo.
Ejemplos: a) 6 es un número entero
b) Los universitarios tienen carnet de medio pasaje.
Compuestas: Son aquellas que tienen dos o más proposiciones .
Ejemplos: a) Cusco está en el Perú y el Perú está en Sudamérica
b) Si x² = 4 → x = 2 o x = -2
Ejercicios
1. Identifica si la proposición es compuesta (C) o simple (S).
– Pablo es culto. S
– Tres no es mayor que 5. C
– Los cuadriláteros tienen cuatro lados. S
– Ana y José son esposos. c
– Rosa tiene 20 años. S
– Ana y José están casados. C
– No es cierto que 34 sea igual a 243. C
2. Dadas las proposiciones, p: El jueves es el examen
q: El viernes viajo
Podemos escribir las proposiciones compuestas:
“El jueves es el examen y el viernes viajo” pq
“El jueves es el examen o el viernes viajo, o ambas pq
cosas”
“El jueves es el examen o el viernes viajo, pero no ambas P∆q
cosas”
“Si el jueves es el examen, entonces el viernes viajo” pq
“El jueves es el examen si y solo si el viernes viajo pq
3. Dadas las siguientes proposiciones:
– p : Estudio sistemáticamente
– q : Obtendré buenas calificaciones en Álgebra
– r : Voy a bailar todos los fines de semana
– s : Me sentiré feliz
Escribir con palabras la siguiente proposición:
(~ p r ) ~ q
Si no estudio sistematicamente y voy a bailar todos los fines de semana
entonces no obtendré buenas calificaciones en álgebra.
4. Dadas las siguientes proposiciones:
– p : a es un número par
– q : 2a es un número par
– r : a es un múltiplo de 6
– s : a < 10
Escribe con símbolos la siguiente proposición:
Si a es un número par y múltiplo de 6, entonces 2a es un número par o a es menor
que 10.
p rqs Respuesta incorrecta
[ (p r) (q s)] [(p v q) v (p r)]
5. Determina el valor de verdad de las siguientes expresiones, si sabemos que:
• (V) p: María es doctora.
• (F) q: María es casada.
• (V) r: María vive con sus padres.
• (F) s: María viajará a España.
a) (q r) s b) (p r ) (p q )
(F F ) F (V V) (V F)
V F V F
F V
V[(q r) s] = F
Esquema de la proposición
Conectores lógicos
Llamados también operadores lógicos, son palabras que sirven para enlazar
proposiciones
simples o cambiar el valor de verdad de una proposición.
Uso de los signos de agrupación
Los signos de agrupación ( paréntesis, corchetes, llaves) se usan en lógica más complejos
con el fin de evitar la ambigüedad de las fórmulas.
Ejemplo: la expresión p v q v r es ambigua, pero asociada por sus términos: (p v q) v r
(p v q) Λ r o p v (q Λ r), tienen un sentido y deja de ser ambigua.
Conectores lógicos
Conectores lógicos
CONECTOR EXPRESIONES EQUIVALENTES
«Sin embargo», «aunque», «también», «además», «a la
CONJUNCIÓN
vez», «no obstante», «pero», etc.
«Por consiguiente», «puesto que», «porque», «ya que»,
CONDICIONAL
etc.
«No es cierto que», «es falso que», «no es el caso que»,
NEGACIÓN
etc.
Conectores lógicos
CONECTOR EXPRESIONES EQUIVALENTES
«p o q» , «p a menos que q», «p salvo que q», «p o
Disyunción inclusiva incluso q», «tal vez p, tal vez q», etc.
«p es necesario y suficiente para q», «p si y solo si q»,
Bicondicional «p es lo mismo que q», etc.
«o p o q o ambos», «como mínimo p o q», «o bien p o
Disyunción exclusiva
bien q», «al menos p o q», etc.
Conjunción ()
Es aquel conectivo que une dos proposiciones, incluyéndolas obligatoriamente a ambas. Se
utiliza
“y” como conectivo de conjunción.
Ejemplo:
Fórmula para obtener el número
"dos es par y tres es impar
de valores de verdad.
Su símbolo es: n = número de
Se escribe: p q variables
Se lee: p y q proposicionales
Su tabla de verdad es:
2 = Valor constante
p q pq
En la conjunción se tienen dos variables
V V V
pyq
V F F
F V F
F F F
Disyunción inclusiva ()
Es aquel conectivo que une dos proposiciones ofreciendo una alternativa entre una proposición o la
otra, así como también ofrece la posibilidad que sean ambas.
Ejemplo:
"dos es mayor que siete o siete es mayor que dos".
Su símbolo es:
Se escribe: p q
Se lee: p o q
Su tabla de verdad es:
p q pq
V V V
V F V
F V V
F F F
Disyunción Exclusiva (∆)
Es la disyunción pero que su valor de verdad acepta una sola proposición como verdadera. No
pueden ocurrir las dos proposiciones al mismo tiempo.
Ejemplo:
O Carlos vendrá porque a recibido la carta o no está interesado todavía en el asunto
Su símbolo es: ∆
Se escribe: p ∆ q
Se lee: p o q pero no ambos
Su tabla de verdad es:
p q p∆q
V V F
V F V
F V V
F F F
Implicación o Condicional ()
Es aquél conectivo en el que se establece una condición para que se cumpla la otra proposición.
Normalmente se establece como: “Si se cumple p, entonces se cumple q”
Ejemplo:
Si Luis obtiene un promedio de 15 o más, entonces se le otorgará beca
Su símbolo es:
Se escribe: p q
Se lee: p solo si q
Su tabla de verdad es:
p q pq
V V V
V F F
F V V
F F V
Nota: A toda condición se le asocian otras tres proposiciones, igualmente importantes, que
son: La reciproca, la inversa y la contra reciproca
Proposición reciproca
Dada la proposición condicional p → q , se llama proposición reciproca a la proposición que se
denota por q → p
Ejemplo: sea la proposición directa p → q,
“Si x es par, entonces, x es múltiplo de 2”
La proposición reciproca, q → p, es:
“ si x es múltiplo de 2, entonces, x es par”
Proposición inversa
Dada la proposición condicional p → q , se llama proposición inversa a la proposición que se
denota por: ~p → ~q
Ejemplo: sea la proposición directa p → q,
“Si patricia tiene 30 años, entonces es joven”
La proposición reciproca, ~p → ~q , es:
“Si patricia no tiene 30 años, entonces no es joven”
Proposición contra reciproca
Dada la proposición condicional “p → q“ , se llama proposición contra reciproca a la proposición
que se denota por “~q → ~p”
Esta proposición es de mucha utilidad en la demostración de teoremas dados por la reducción
al absurdo o falsa suposición.
Ejemplo: sea la proposición directa “p → q“,
“si dos rectas son perpendiculares a una misma recta, entonces son paralelas“
La proposición contra reciproca, “~q → ~p”, es:
“si dos rectas no son paralelas, entonces no son perpendiculares a una misma recta “
Otro uso de la implicación
Se dice que una proposición A implica a otra proposición B, cuando unidas por el condicional
“→” , resulta una Tautología.
Se simboliza: A → B
Se lee: “A implica a B”, o también “A es condición suficiente para que B” o “B es condición
necesaria para A”
Ejemplo:
Sean los esquemas moleculares: A = p → q y B = ~ p v q , Demostrar que A implica a B
Como el resultado arroja una tautología, queda demostrado que A → B
2. Sean los esquemas moleculares: A = (~ p) ∆ (~ r) y B = ~ (p ^ q) V ~ r
Solución. En efecto. Construyamos la tabla de verdad de A → B
Como el resultado arroja una tautología, queda demostrado que A implica a B,
o sea A → B
3. Dados los esquemas moleculares: A = P ^ ~ q, B = q → ~ r y C = ~ p ∆ (q ^ r)
determinar si C es una condición necesaria para la conjunción A y B
Solución. Si A es una condición necesaria para A ^ B, entonces se debe probar
que (A ^ B) → C
Como el resultado (7) no es una tautología. Entonces C no es un condición
necesaria para A y B, esto es:
Bicondicional o doble implicancia ()
Esta proposición está formada mediante dos implicaciones y una conjunción:
“se cumple p si y solamente si se cumple q”
Ejemplo:
Fernando comprará un automóvil si y sólo si obtiene un prestamo de la cooperativa
Su símbolo es:
Se escribe: p q
p q pq
V V V
V F F
F V F
F F V
Negación ()
Si queremos negar una proposición debemos anteponer
expresiones como:
No es cierto que . . . ; No sucede que . . .;
o insertar convenientemente en la expresión . . . NO . . . .
así, la proposición
“No es cierto que el Gral. San Martín cruzó la cordillera de los Andes”
es equivalente a decir : “El Gral. San Martín NO cruzó la cordillera de los Andes”
Simbólicamente se antepone a la letra que denota la proposición, el símbolo: ó - ,
también puede usarse
p : No es cierto que el Gral. San Martín cruzó la cordillera de los Andes
p : El Gral. San Martín NO cruzó la cordillera de los Andes
p p
V F
F V
TABLAS DE VERDAD - LÓGICA PROPOSICIONAL - MATEMÁTICA
[Link]
Trabajo práctico
Lógica Matemática
1) Para describir los diversos restaurantes de la ciudad, considerar las proposiciones:
p: “la comida es buena” ;
q: “el servicio es bueno”
r: “el restaurante es de tres estrellas”.
Escribir simbólicamente las siguientes proposiciones :
a) La comida es buena o el servicio es bueno, o ambas cosas
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
c) La comida es buena y el servicio no.
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas.
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.
2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir
las siguientes proposiciones al lenguaje coloquial.
a) p q b) p q c) q p d) (p q)
3) Construir las tablas de verdad de los siguientes esquemas
proposicionales:
a) (p q) p c) (q p) ( p q) e) (p q) (r)
b) p (p q) d) (r r)
4) Los valores de verdad de las proposiciones p; q; y r; y s son
respectivamente
V ; F ; F y V. Obtener los valores de verdad de :
i) [( p q ) r] s ii) r (s p) iii) (p r) (r s)
5) Determinar en cada caso si la información que se da es suficiente para
conocer
el valor de verdad de las siguientes proposiciones compuestas. En caso
afirmativo, justificarlo.
i) (p q) r ; r es V ii) (p q) ( p q) ; q es V
7) Simplificar las siguientes proposiciones:
a) ( p q) b) (p q) ( p q)
8) Negar los siguientes esquemas proposicionales y obtener
expresiones equivalentes.
i) q r iii) p (q r)
ii) (p q) r
Respuestas del
trabajo práctico
1 a) En la expresión
“La comida es buena o el servicio es bueno, o ambas cosas”
Las proposiciones involucradas son, p : La comida es buena ; q : el servicio es bueno
están vinculadas con el conector o ; debe considerarse que al final se especifica que pueden suceder
ambas cosas
el conector que corresponde es DISYUNCION INCLUYENTE ( )
La expresión simbólica es : pq
1 b) En la expresión
“La comida es buena o el servicio es bueno, pero no ambas cosas”
Las proposiciones involucradas son, p : La comida es buena ; q : el servicio es bueno
están vinculadas con el conector o ; debe considerarse que al final se especifica que no pueden
suceder ambas cosas
corresponde el conector de DISYUNCION EXCLUYENTE ∆ )
La expresión simbólica es : pq o pq
1 c) En la expresión: “La comida es buena y el servicio no es bueno“
Las proposiciones involucradas son, p : La comida es buena : q : el servicio es bueno
pero la proposición “el servicio es bueno” está negada
p yq están vinculadas con el operador y q
el operador que corresponde ahora es CONJUNCION ( )
La expresión simbólica es : p q
1 d) En la expresión :
No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas”
Las proposiciones involucradas son: p : La comida es buena
r : El restaurante es de tres estrellas“
No es negación pero el “que tanto“ es la negación de toda la expresión
en ella, el “como que” sugiere una conjunción ( p r )
La expresión simbólica es : (p r)
1 e) En la expresión:
Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas.
Las proposiciones involucradas son, p : La comida es buena; q : El servicio es bueno;
r : El restaurante es de tres estrellas
El Si . . . . . . . entonces . . . . . . nos hace pensar en la implicación
donde aparecerán involucradas dos proposiciones: la primera llamada antecedente y
la otra llamada consecuente
La forma es : Si (antecedente) entonces (consecuente)
vamos a detectar ahora cual es el antecedente y cual es el consecuente de la implicación.
El antecedente es : Si (tanto la comida como el servicio son buenos): p q
El consecuente es : entonces (el restaurante es de tres estrellas) r
La expresión simbólica es : (pq)r
1 f) En la expresión :
No es cierto que si el restaurante es de tres estrellas siempre
signifique buena comida y buen servicio.
Las proposiciones involucradas son, p : La comida es buena ; q : El servicio es bueno
r : El restaurante es de tres estrellas
Aparecen aquí tres operaciones
la primera es una negación que afecta a toda la expresión que continúa
se distingue también una implicación, aunque no aparezca aquí el clásico “si . . . entonces . . . “
sino “si . . . .siempre significa . . . . “
detectaremos ahora cual es el antecedente y el consecuente de la implicación
el antecedente es la proposición r : el restaurante es de tres estrellas
el consecuente es la conjunción p q : la comida es buena y el servicio es bueno
La expresión simbólica es : [ r ( p q) ]
2 a) Si las proposiciones son:
p : “el clima es agradable” ; q : “vamos de día de campo”
La proposición compuesta p q es la conjunción de las proposiciones p con q
que en el lenguaje coloquial se expresa :
“el clima es agradable y vamos de día de campo”
2 b) Si las proposiciones son:
p : “el clima es agradable” q : “vamos de día de campo”
La proposición compuesta p q es la doble implicación de las proposiciones p con q
que en el lenguaje coloquial se expresa :
“el clima es agradable si y solo si vamos de día de campo”
2 c) Si las proposiciones son:
p : “el clima es agradable” ; q : “vamos de día de campo”
La proposición compuesta qp
que en el lenguaje coloquial se expresa :
“ Si vamos de día de campo entonces el clima es agradable”
2 d) Si las proposiciones son:
p : “el clima es agradable” ; q : “vamos de día de campo”
La proposición compuesta: (p q) es la negación de la doble implicación de las proposiciones p con q
que en el lenguaje coloquial se expresa:
“No es cierto que el clima es agradable si y solo si vamos de día de campo”
Tablas de Verdad
La primera operación que vamos a tratar es la negación
p p
Si p es verdad , p es falso V F
Si p es falso , p es verdad F V
La tabla de verdad de la conjunción de proposiciones se resuelve :
p q pq
Verdadera si ambas proposiciones son
verdaderas V V V
V F F
Falsa si alguna o ambas F V F
proposiciones son falsas
F F F
La tabla de verdad de la disyunción de proposiciones se resuelve
verdadera a si alguna o p q p q
ambas proposiciones son verdaderas V V V
V F V
falsa si ambas proposiciones son F V V
falsas
F F F
La tabla de verdad de la disyunción excluyente de proposiciones se resuelve
falsa si ambas proposiciones tienen el p q p ∆ q
mismo valor de verdad
V V F
V F V
verdadera si las proposiciones tienen F V V
valores de verdad diferentes F F F
La tabla de verdad de la implicación de proposiciones se resuelve
verdadera si ambas proposiciones son p q p q
verdaderas
V V V
falsa únicamente con antecedente
(p) verdadero y consecuente (q) V F F
falso
F V V
si el antecedente es falso, no importa el F F V
consecuente, la implicación es verdadera
los términos antecedente – consecuente se
usan exclusivamente en ésta operación
La tabla de verdad de la doble implicación se resuelve :
verdadera si ambas proposiciones tienen el p q pq
mismo valor de verdad
V V V
falsa las proposiciones tienen valor V F F
de verdad diferente
F V F
F F V
Las posibles combinaciones de valores de verdad
p q r resultado
entre dos proposiciones siempre se agotan en
cuatro alternativas ; en caso que estén involucradas V V V
mas de dos proposiciones en una operación lógica,
para averiguar la cantidad de alternativas posibles, V V F
usaremos la expresión : 2n donde n es la cantidad
V F V
de proposiciones.
V F F
F V V
Si tengo que operar las proposiciones p ; q y r, F V F
las combinaciones posibles serán: 23 = 8
F F V
F F F
3 a) Para hacer la tabla de verdad
p q p q (p q) p
de ( p q ) p debemos
resolver primero p q
V V V V
considerando la columna p q V F V V
obtenida como antecedente y la
de q como consecuente, F V V F
resolvemos la implicación
F F F V
p q p q p (p q)
3 b) Para hacer la tabla de verdad
de p ( p q ) debemos V V V V
resolver primero p q
V F V V
y con la columna obtenida F V V F
buscar el resultado final.
F F F V
3 c) para resolver (q p) ( p q) debemos resolver por separado las implicaciones (q p) y ( p q) ;
y luego buscar el resultado final hallando una implicación entre esos dos resultados parciales
p q qp p q (q p) (p q)
V V V V V
V F V F F
F V F V V
F F V V V
3 d) Para resolver ( r r ) debemos resolver primero ( r r ) ; cuando r (antecedente) es verdad, r
(consecuente) también es verdad, idéntica situación cuando r es falso.
r r r r ( r r )
V V V F
F F V F
y luego negar ( r r )
3 e) En ( p q ) ( r ) aparecen involucradas tres proposiciones, la tabla de
verdad debe contemplar todas las posibles configuraciones de valor de
verdad
entre las tres proposiciones. También r
p q r r pq (pq)(r)
V V V F V V
V V F V V V
V F V F F F
V F F V F V
F V V F F F
F V F V F V
F F V F F F
F F F V F V
Luego se resuelve ( p y finalmente ( p q ) ( r )
q)
4) Para resolver este ejercicio podemos confeccionar una tabla
de
verdad solamente para los valores asignados a las
i) [(p q) r] s proposiciones
se resuelve:
p q r s pq (p q) r [(p q) r] s
V F F V V V V
ii) r (s p) se resuelve:
p r s sp r (s p)
V F V V V
iii) (p r) (r s) se
resuelve:
p r s pr rs (p r) (r s)
s
V F V F V F F
5 i) Para saber el valor de verdad de (p q) r ; cuando r es V
Debemos considerar que la operación principal es una
implicación
donde el consecuente
Repasamos la tabla de(verdad
r ) es verdad.
de la p q p q
implicación:
Vemos que la implicación es falsa solo V V V
cuando el consecuente es falso y el
antecedente verdadero.
V F F
F V V
Si nuestro consecuente r es V, no
F F V
importa si p q es verdad o falso
(p q) r es verdad
Otra forma de resolverlo es usando tablas de verdad
Analizamos solamente p q r p q (p q) r
cuando r es verdad
V V V V V
ahora resolvemos como V F V F V
cualquier tabla de
verdad V V V V V
V F V F V
5 ii) Para saber el valor de verdad de (p q) ( p q) cuando q es V
Debemos considerar que la operación principal es una doble
implicación, donde las expresiones involucradas son (p q) y
( p q)
si q es V cualquier disyunción donde esté q, será verdad,
luego (p q) es V
al ser q “V” ; q es F cualquier conjunción donde esté q , será falso,
luego ( p q) es F
Las expresiones (p q) y ( p q) tienen diferentes valores de
verdad
luego : (p q) ( p q) es falso
Otra forma de resolverlo es usando tablas de verdad
Analizamos solamente
cuando q es verdad p q p q p q p (p q) ( p q)
y p puede ser V V V q F F
V F
verda ó falso V V F
F V F F
d
6 i) p q es Falso solamente cuando p es V y q es F
En (p q) q ; si p es V (p q) es V
nos queda una implicación de antecedente verdadero y
consecuente falso
entonces (p q) q es falso
6 ii) si p q es Verdad puede pasar que: p sea V y q sea V
Para hallar p (p q) p sea F y q sea V
confeccionamos p sea F y q sea F
tabla de verdad con las tres las
alternativas posibles
p q (p p (p q)
Los valores de
V V q) V V verdad no son los
mismos para
F V F F
todas las
F F V V situaciones
entonces no es posible determinar el valor de verdad
con los datos proporcionados
6 iii) sabiendo que p es Verdad y q es Verdad para hallar
[ (p q) q] q hacemos tabla de verdad para esos valores
p q q pq (p q) q [ (p q) q] q
V F V V V F
Sabiendo que q es hallamos p q luego hacemos (p q)
verdad q
finalmente resolvemos [ (p q) q] q
Resulta [ (p q) q] q Falso
Para simplificar proposiciones apelaremos frecuentemente a :
las Leyes de De Morgan
“La negación de una disyunción de proposiciones es equivalente
a la conjunción de la negación de cada una de las proposiciones”
Simbólicamente ( p q) pq
Podemos verificar la equivalencia con una tabla de verdad de la doble
implicación
p q q pq (p q) p q ( p q) p q
p
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V
Si la doble implicación de las dos
expresiones resulta verdad en cualquier
caso, las expresiones son equivalentes
“La negación de una conjunción de proposiciones es equivalente
a la disyunción de la negación de cada una de las proposiciones”
Simbólicamente ( p q) p
q
Podemos verificar la equivalencia con una tabla de verdad de la doble
implicación
p q q pq (p q) pq (p q) p q
p
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V
Si la doble implicación de las dos
expresiones resulta verdad en cualquier
caso, las expresiones son equivalentes
Otra equivalencia que nos conviene considerar es:
“La implicación es equivalente a la negación del antecedente
disyunción el consecuente”
Simbólicamente pq pq
Podemos verificar la equivalencia con una tabla de verdad de la doble
implicación
p q p p q p q (p q) p q
V V F V V V
V F F F F V
F V V V V V
F F V V V V
Si la doble implicación de las dos
expresiones resulta verdad en cualquier
caso, las expresiones son equivalentes
Otra equivalencia que nos conviene considerar es:
“La doble implicación es equivalente a la conjunción
de las implicaciones recíprocas”
Simbólicamente p q (p q) (q p)
Podemos verificar la equivalencia con una tabla de verdad de la doble
implicación
p q pq qp (p q) (q p) pq (p q) [(p q) (q p)]
V V V V V V V
V F F V F F V
F V V F F F V
F F V V V V V
Si la doble implicación de las dos
expresiones resulta verdad en cualquier
caso, las expresiones son equivalentes
7 a) ( p q) ( ( q) p q
p)
La negación de una disyunción (en este caso las
de proposiciones proposiciones de la
disyunción son p ; q )
es equivalente a la conjunción de la negación de p y de q
Pero la negación de la negación de una proposición es la
afirmación
Así el resultado final es p q
7 b) (p q) ( p q) ( p q) ( p q) p q
la negación afecta solamente al primer y el resto de la operación se escribe
paréntesis igual
eliminamos una de las expresiones ( p q) pues las dos son idénticas (propiedad de
idempotencia)
Así el resultado final es: p q
8) Para negar cualquier expresión, escribe|mos la expresión que queremos negar
8 i) La encerramos entre ( q r )
paréntesis,
y anteponiendo el signo de negación, negamos todo lo que
está comprendido en el paréntesis.
viene ahora la tarea de transformar la expresión
obtenida buscando una expresión equivalente (leyes de De
Morgan)
(q r) (q)r qr
8 ii) Para negar [ (p q) r ]
La encerramos entre y anteponiendo el signo de negación,
corchetes, negamos todo lo que está comprendido en
el corchete
[ (p q) r ] [ (p q) r ] [ ( p q ) ]
r
(pq)r pqr
viene ahora la tarea de transformar la expresión
obtenida buscando una expresión equivalente
8 iii) escribimos la expresión que queremos negar
[ p (q r) ]
La encerramos entre corchetes,
y anteponiendo el signo de negación, negamos todo lo que está
comprendido
en el corchete
[ p (q r ) ] p (q r) p [ ( q ) r ]
p [ ( q ) r ] p ( q r )
viene ahora la tarea de transformar la expresión
obtenida buscando una expresión equivalente
aplicamos ley de De La implicación es la disyunción de
Morgan la negación del antecedente con el
consecuente
