EL MTODO ABREVIADO:

El mtodo abreviado de la tabla de valores es un procedimiento que nos evita el

laborioso trabajo de combinar y operar todas las posibilidades de los valores de verdad y
falsedad en la evaluacin de las frmulas. El Mtodo abreviado es aplicable,
bsicamente, a esquemas condicionales, especialmente para analizar la validez e
invalidez de las inferencias.
Segn este mtodo, se parte de la hiptesis que la premisa o la conjuncin de
premisas es verdadera y la conclusin falsa, nica posibilidad que invalida la
implicacin. Si se demuestra que la hiptesis es cierta, entonces se concluye que la
inferencia no es vlida; en caso contrario se habr demostrado que la inferencia es
vlida.
REGLAS DEL MTODO ABREVIADO:
Para averiguar si una inferencia es vlida o no por el mtodo abreviado se deben
aplicar las siguientes reglas:
i)
Asignar el valor de verdad (V) a cada una de las premisas y de falsedad (F) a la
conclusin.
ii) Deducir el valor de cada una de las variables proposicionales iniciando la
operacin por aquel operador que ofrece una sola opcin en la obtencin del valor.
iii) Trasladar el valor de una variable si sta se repite en el esquema, si y slo si no
afecta el valor del operador inmediato,
iv) Si cada una de las variables cumple una sola funcin veritativa se ha habr
demostrado a, que la premisa o la conjuncin de premisas es verdadera y la
conclusin falsa. Por lo tanto la inferencia ser invlida.
v) Basta que una variable tenga los valores de verdad y falsedad a la vez en todas las
opciones, para demostrar que es imposible que la premisa o la conjuncin de
premisas sea verdadera y la conclusin falsa. Por lo tanto, hay implicacin y la
inferencia es vlida.
Ejemplos:
1.
Smith es un profesional si y slo si es un graduado universitario. Ocurre que
Smith es un Administrador. Por lo tanto si smith es un Administrador entonces es
un graduado universitario. p q r r q
2.
Jos ser encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde
testimonio entonces dir la verdad, y si dice la verdad Jos ser encontrado
culpable. q r r p q p
3.
Como es hora laborable, se concluye que en juzgado hay jueces y testigos, dado
que, si es hora laborable, en el juzgado hay jueces, y hay testigos si en el juzgado
hay jueces. p p q q r q r
4.
La luz no est encendida, si y slo si no hay alguien en la casa o los de casa han
salido a pasear. Si los de casa han salido a pasear entonces han ido a la funcin
teatral. En consecuencia, si los de casa han ido a una funcin teatral, la luz no est
encendida. ~ p ~ q r r s s ~ p

Ejercicios:
Por las tablas de verdad y el mtodo abreviado, determine si es vlida o no cada una de
las inferencias siguientes:
1.
Si el testigo dice la verdad entonces el mayordomo estaba en la escena del crimen.
Pero el mayordomo no estaba en la escena del crimen. En consecuencia el testigo
no dice la verdad.
2.
No es el caso que Carlos sea abogado o mdico. Luego, Carlos no es abogado.
3.
Si el sol brilla entonces silba el viento. Si silba el viento entonces las aves cantan.
De modo que si el sol brilla entonces las aves cantan.
4.
El agua se congela si y slo si la temperatura est bajo cero. Ocurre que el agua no
se congela. Por lo tanto si la temperatura no esta bajo cero entonces la
refrigeradora est malograda.
5.
Si el testigo dice la verdad entonces Pepe estaba en su casa antes del medioda.
Pero si Pepe pas el da en el club entonces no estaba en su casa antes del
medioda. Pepe pas el da en el club. Por consiguiente el testigo no dice la
verdad.
6.
la produccin minera crece, si y slo si los salarios son altos y hay inversin de
capitales. Ocurre que la produccin minera no crece. En consecuencia, o los
salarios no son atos o no hay inversin de capitales.
7.
Si el galen trae piratas, entonces el capitn no ha muerto. La tripulacin llegar al
amanecer si no hay tormenta en alta mar. Pero, si hay tormenta en alta mar
entonces el galen no trae piratas. De modo que, la tripulacin llegar al amanecer
si el capitn no ha muerto.
8.
El arma del delito ser descubierta si la huella es autntica, puesto que, si la huella
es autntica, el motivo del crimen fue el robo, y el arma del delito ser descubierta
si el motivo del crimen fue el robo.
9.
Susana estudia teatro y ballet, si y slo si es modelo de televisin. Susana es
modelo de televisin si practica la gimnasia. Por lo tanto, Susana practica la
gimnasia si estudia ballet.
10. si hay tormenta, entonces nieva si llueve. Hace fro si llueve. Por lo tanto, hay
tormenta, si nieva y hace fro.

LEYES LGICAS:
Una Ley Lgica es una equivalencia Lgica.
Las Leyes Lgicas o Principios lgicos vienen a ser formas proposicionales
tautolgicas de carcter general y que a partir de estas leyes lgicas se puede
generar otras tautolgicas y tambin cualquier tautologa se puede reducir a una de
las leyes lgicas.
Entre las principales Leyes Lgicas tenemos:
I.

LOS TRES PRINCIPIOS LGICOS CLSICOS:

1.

Principio de Identidad:
Segn este principio toda proposicin se implica a s misma.
Formalmente se enuncia as:
pp

Ejemplo:
Si el nmero 2 es par entonces el nmero 2 es par.
2.

Principio de No-Contradiccin:
Segn este principio es imposible que una proposicin sea verdadera y falsa
a la vez. Formalmente se enuncia as:
~ p ~ p

Ejemplo:
Es imposible que el nmero 2 sea par y no sea par.
3.

Principio del Tercio Excluido.

Segn este principio, una proposicin o es verdadera o es falsa, no hay una
tercera posibilidad. Formalmente se tiene:
p ~ p

Ejemplo:
O el nmero 2 es par o el nmero 2 no es par.
II.

EQUIVALENCIAS NOTABLES:
1.

Ley de la doble negacin:

~ ~ p p la negacin de la negacin es una afirmacin
a.

2.

Ley de la Idempotencia:
pp p
a.

3.

4.

b.

pp p

Leyes Conmutativas:
pq qp
a.
pq qp
b.

c.

pqqp

Leyes Asociativas:
p q r p q r
a.
p q r p q r
b.

c.

p q r p q r

5.

Leyes Distributivas:
a.

p q r p q p r

c.
d.

p q r p q p r
p q r p q p r

b.

p q r p q p r

6.

7.
8.
9.

10.

Leyes de Morgan:
~ p q ~ p ~ q
a.

b.

Las Leyes del Condicional:

p q ~ p q
a.

b.

Las Leyes del Bicondicional:

p q p q q p
a.
Leyes de Absorcin:
p p q p
a.
p
~ p q p q
b.
Leyes de Transposicin:
p q ~ q ~ p
a.

~ p q ~ p ~ q
~ p q p ~ q

b. p q p q ~ p ~ q
p p q p

c.
d.

p ~ p q p q

b.

p q ~ q ~ p

11.

Leyes de Exportacin:
p q r p q r
a.
p1 p 2 ... pn r p1 p 2 ... p n1 pn r
b.

12.

Elementos Neutros para la Conjuncin y Disyuncin:

a.

b.

13.

p V ,p V neutro de la Conjuncin
p F ,p F neutro de la Disyuncin

Tambin:
p q p ~ q p
a.

b.

p q p ~ q p

III. IMPLICACIONES NOTABLES:

Las implicaciones notables se pueden escribir de dos formas: en forma horizontal
o en forma vertical.
a) Forma Horizontal:
Cuando la conjuncin de premisas que implica a la conclusin se
escriben horizontalmente en forma explcita usando los conectivos: ,
p1 p 2 ... pn q

b)

Forma Vertical: (Forma Clsica): en este caso no se escriben en forma

explcita los conectivos: , . La conjuncin de premisas se escriben
verticalmente una despus de otra y al trmino de la ltima premisa se
escribe una raya horizontal y tres puntos para luego escribir la conclusin. El
razonamiento es: si ocurren p1 p 2 ... p n ; por lo tanto ocurre q.

1.

MODUS PONENDO PONENS (MPP)

p q p q

pq
q
q

Ejemplo:
Si 2 es divisor de 4, entonces 2 es divisor de 8
2 es divisor de 4
Por lo tanto: 2 es divisor de 8
2.

MODUS TOLLENDO TONENS (MTT)

p q ~ q ~ p

p q
~ q
~ p

Ejemplo:
Si Juan estudi entonces aprob Matemtica
Juan no aprob Matemtica
Luego Juan no estudi
3.

LEY DEL SILOGISMO DISYUNTIVO (SD)

p q ~ p p
p q ~ q p

pq

~p
q
pq
~ q
p

Ejemplo:
x es nmero par o mltiplo de 5
x no es par
x es mltiplo de 5
4.

LEY DE LA INFERENCIA EQUIVALENTE

p q p q

p q
p
q

Ejemplo:
a es un nmero primo si y slo si es mltiplo de 1 y de a
a es mltiplo de a y de 1
a es nmero primo
5.

SILOGISMO HIPOTTICO PURO (SHP)

pq

p q q r p r

qr
p r

Ejemplo:
Si 2 divide a x, entonces x es par
si x es par, entonces es mltiplo de 2
si 2 divide a x, entonces x es mltiplo de 2
6.

LEY DE LA TRANSITIVIDAD SIMTRICA:

pq
qr
p r

p q q r p r

Ejemplo:
2 divide a x, si y slo si x es par
x es par, si y slo si es mltiplo de 2
2 divide a x, si y slo si x es mltiplo de 2
7.

LEY DE LA SIMPLIFICACIN

p q p
p q q

pq
p
pq
q

Ejemplo:
Juan y Manuel son menores de edad
Por lo tanto: Juan es menor de edad
8.

LEY DE ADICIN
p p q
q p q

p
p q
q
p q

Ejemplo:
Ricardo Palma escribi Tradiciones Peruanas
Por lo tanto: escribi Tradiciones Peruanas o fue un gran poeta
9.

LEY DE EXPANSIN:
pq
p p q

p q p p q

Ejemplo:
Si hay agua, entonces hay vida
Por lo tanto: si hay agua, entonces hay agua y vida
10.

11.

LEY DE LA CONJUNCIN:

p, q p q

LEY DEL ABSURDO

p q ~ q ~ p
~ p q ~ q p

p, q
p q

EL MTODO DE LAS DEMOSTRACIONES O DERIVACIONES:

Para evaluar un razonamiento por el mtodo de las demostraciones o derivaciones,
es decir, para demostrar que la conclusin de una argumento se sigue lgicamente de las
premisas se siguen:
1 Se asigna a cada proposicin atmica su correspondiente variable.
2 Se simbolizan las premisas y la conclusin, disponiendo aquellas en forma vertical y
escribiendo la conclusin a continuacin de la ltima premisa, en el mismo rengln.
Entre la ltima premisa y la conclusin se escribe una barra separatoria / seguida
del smbolo que se lee: por lo tanto.
3 Se procede a efectuar las derivaciones tomando como punto de partida cualquiera de
las premisas, siempre que sea factible, e indicando a la derecha en forma abreviada
de qu premisas y mediante qu ley o regla se ha obtenido la nueva expresin.
4 habindose obtenido la conclusin, puede afirmarse que la argumentacin original
es correcta o vlida.
Ejemplo: sea la argumentacin siguiente:
Si hay abundancia de peces, habr abundante harina de pescado.
Si hay abundante harina de pescado, se incrementa la produccin.
La exportacin no se incrementa.
O hay abundancia de peces o ser preciso recurrir a otras actividades.
Luego, ser preciso recurrir a otras actividades.

Ejercicios:
Formule la justificacin de cada paso en las siguientes derivaciones:
a) 1. p q
6. q p
2. p r / q
7. ~q
8. r
3. p
9. ~s
4. q

rs

b) 1.
2.
3.
4.
5.

s
p

c)

~ r t

1.
2.
3.
4.
5.

sp
~ r / p

qr
qr
q
r

e)

p q r

i)

q r r q

p
pq
r
pr

1.
2.
3.
4.
5.
6.
7.

pq
p q r
~ p r / ~ p
p p q
pr
p p r
~p

g) 1.
2.
3.
4.
5.

6.
7.
8.
9.

q p / r

1.
2.
3.
4.
5.
6.

p s / p r

r ~ s
~p

qr
q p / ~ s

q p p q

p q r

p / q

p q r r p q
5. p q r

s r / ~ s
~ r ~ t
~r
~s

d) 1.
2.
3.
4.
5.
6.

f)

h) 1.
2.
3.
4.

j)

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.

p q

pq

q
p q r

ps

s r / r
pr
q r p
~ q r p
~ q r r
q r r
q r r r
r r q r

rr

p ~ q
rq

~r s

~ p ~ t ~ t ~ r
p ~ p / s

~ q ~ r
p ~ r

ps

~ p ~ r
~ps
p s ~ p s

ss

Mediante el mtodo de las derivaciones demuestra la validez de las siguientes inferencias:

a) 1. p q
3. t q
4. s t / w r
2. ~ p r / q
b) 1.
2.
c)

1.
2.
3.

q ~ s
p r s / ~ p

f)

p q r

ps

~ t r

~r s

~ts
w s / w

q/ r

g)
d) 1.
2.
3.

p ~ q
p ~ r
q ~ s / ~ r s

e)

p q r

1.
2.

1.
2.
3.
4.

s p

p ~ q r
2. s q r

3.

h) 1.
2.
3.

s / ~ p

p q r s
~ p t ~ t
~r/ ~ t

Pruebe la validez de los siguientes razonamientos mediante el mtodo de las derivaciones:

a. Si eliges una carrera profesional, tendrs que esforzarte en lograr una buena preparacin. O eliges
buena carrera profesional o te dedicas al deporte. Es as que no te dedicas al deporte. Luego, tendrs
que esforzarte en lograr una buena preparacin.
b.

Si el chofer es abstemio, entonces la ebriedad no fue la causa del accidente. Pero la causa del
accidente fue o bien la ebriedad o bien una falla mecnica. El chofer es abstemio. Luego, la causa del
accidente debe haber sido una falla mecnica.

c.

Si el capitn Ahab fue mutilado por Moby Dick, entonces la perseguir hasta alcanzarla. Pero si la
persigue hasta alcanzarla, entonces Moby Dick matar a Ahab. Es as que Ahab fue mutilado por
Moby Dick. Por consiguiente Moby Dick matar al capitn Ahab.

d.

Si la polica acta rpidamente o se vale de perros amaestrados entonces los ladrones sern
aprehendidos o se recupera la mercadera. Si los ladrones sern aprehendidos o se recupera la
mercadera, entonces el comerciante podr evitar la quiebra de su negocio. La polica acta
rpidamente. Luego, el comerciante podr evitar la ruina de su negocio.

e.

El mar est tranquilo y la lancha patrullera est en perfectas condiciones. Si el mar est tranquilo o la
lancha patrullera est en perfectas condiciones, entonces el personal de resguardo alcanzar a la nave
en cinco horas. Si el personal de resguardo alcanzar a la nave en cinco horas, entonces el equipo de
emergencia podr actuar eficazmente. Luego, el equipo de emergencia podr actuar eficazmente.

f.

Si Juan trabaja entonces Juana se alegra, y si Mario bebe, Mara se lamenta. Ahora bien, Juana no se
alegra o Mara no se lamenta. Pero si no es el caso que Juan trabaje y Mario bebe entonces ambos se
dedican al estudio. Por consiguiente, ambos se dedican al estudio.

g.

Si Enrique se prepara para el futuro, entonces enrique estudia y trabaja. Pero no es el caso que
enrique estudie o trabaje. Por consiguiente, no es el caso que enrique estudie y trabaje.

h.

Si Alberto se dedica a la msica, ser un destacado compositor, y si se dedica al comercio lograr ser
un acaudalado comerciante. Si llega a ser un destacado compositor y un acaudalado comerciante,
habr aprovechado ptimamente su tiempo. Pero Alberto no sabr aprovechar el tiempo. Luego, o no
se dedica a la msica o no se dedica al comercio.

i.

Si el cielo est despejado, entonces ser lanzada la nave espacial; y si el cielo est despejado, la
televisin captar claramente el lanzamiento, lo que implica, o que los espectadores sern
defraudados o que la nave espacial ser lanzada. Si el cielo est despejado y la nave es lanzada,

entonces la televisin captar claramente el lanzamiento. Es as que el cielo esta despejado y los
espectadores no sern defraudados. Luego, la nave espacial ser lanzada.

DEMOSTRACIN CONDICIONAL:
Es una modalidad dentro del mtodo de las derivaciones y se aplica en los casos en que una
argumentacin tenga conclusin implicativa.
En efecto, siendo la conclusin una expresin implicativa, necesariamente tendr antecedente y
consecuente. Para saber si una conclusin de este tipo se deriva de las premisas dadas, se agrega el
antecedente de la conclusin a las premisas y luego, aplicando a este nuevo conjunto de premisas las
leyes lgicas ya conocidas, se realizan las derivaciones hasta obtener el consecuente de la conclusin. De
aqu la:
Regla de Demostracin Condicional (PC): Si es posible deducir X de Z y un conjunto de premisas,
entonces se puede deducir slo del conjunto de premisas la expresin implicativa Y Z .
Esta regla puede hacerse corresponder con la ley de exportacin:

p q r p q r

Procedimiento:
Dado el caso de que la conclusin de una argumentacin sea una expresin implicativa:
a. Se toma su antecedente y se introduce como una nueva premisa (premisa adicional=P.A.).
b. Se efectan las derivaciones, corriendo la demostracin algunos lugares hacia la derecha, hasta hallar
el consecuente de la conclusin.
c. Se une implicativamente la premisa adicional con el ltimo paso logrado, volviendo la demostracin
a la izquierda, a la posicin original.
Ejemplo:
Utilizando la demostracin condicional, pruebe la validez de las siguientes inferencias:
sr
a.
1.
sp
2.
pq
3.
c.
1
. r s t
r

t
/

~
q

t
4.
p ~ t
2.
p s / r s
3.
p q ~ r
b.
1.
s p
2.
d.
1. ~ p
3.
4.

tq

s t / r q

2.
3.

~r t
s p / ~ r s t

LA DEMOSTRACIN POR EL ABSURDO:

Es otra modalidad dentro del mtodo de las derivaciones. Resulta de la fusin de la regla de la
demostracin condicional y de la nocin de contradiccin, de aqu su nombre: demostracin por el
absurdo.
Consiste en introducir como premisa adicional la negacin de la conclusin para llegar a encontrar
una contradiccin en las premisas. Es decir, se supone la falsedad del consecuente para llegar a la
falsedad del antecedente, mostrando de esta manera que la conclusin se halla implicada en las premisas
(demostracin indirecta).
El sentido de esta demostracin se puede entender fcilmente si se recuerda que por MTT se puede
deducir la negacin del antecedente cuando se niega el consecuente, es decir cuando se sabe que el
consecuente es falso.
REGLA DE DEMOSTRACIN POR EL ABSURDO: Si es posible deducir una contradiccin de un
conjunto de premisas y de la negacin de Z, entonces Z puede deducirse del conjunto de premisas solo.
Esta regla corresponde a la ley del absurdo cuya expresin es la siguiente:

[ p ( q -q ) ] - p

PROCEDIMIENTO:
Dada una argumentacin cualquiera:
a. Se niega la conclusin y se introduce como una nueva premisa (premisa adicional = P.A.).
b. Se efectan las derivaciones corriendo la demostracin varios lugares hacia la derecha, hasta
encontrar una contradiccin.
c. Se une implicativamente la premisa adicional con la contradiccin hallada, volviendo la
demostracin a la izquierda, a la posicin original (P.C.)
d. Se establece la conclusin deseada como una inferencia lgicamente deducida de las premisas
originales (P. Ab.)
Ejemplo:
Utilizando la demostracin por el absurdo pruebe la validez de las siguientes inferencias:
a.
p q
1.
c. 1. p q r
r q
2.
2. q p

r
/

r
3.
3. s r / p s
b.

1.
2.
3.

pq
rp
q / r

d.

1. p q
2. p r
3. q r / p

LAS FORMAS NORMALES:

Se llaman Formas Normales a aquellas en que nicamente entran conjunciones ( ) , disyunciones
( ) y negaciones ( ) que slo afectan a variables.
Las Formas Normales son funciones moleculares compuestas por determinados esquemas bsicos.
Los esquemas bsicos estn constituidos o bien por conjunciones o bien por disyunciones cuyos
elementos son simples variables negadas o sin negar. As, son esquemas bsicos: p p q o tambin

p p q

CLASES:
Las Formas Normales son de dos clases: Conjuntivas o disyuntivas.
La Forma Normal Conjuntiva (FNC): es la constituida por disyunciones bsicas como
p q r r o por conjunciones de disyunciones bsicas como: ( p q r ) ( - r s t )
La Forma Normal Disyuntiva (FND)
es la constituida por conjunciones bsicas como
p q r -r o por disyunciones de conjunciones bsicas como: ( p q r ) ( - r s t )
PRINCIPIOS Y ANTIPRINCIPIOS:

Estando la funcin bsica compuesta por conjunciones o por disyunciones de variables, pueden darse
estos dos casos:
1. Si la funcin bsica esta compuesta por conjunciones, entonces es posible que una misma variable
aparezca afirmada y negada dentro de la misma funcin, con lo que se dara una contradiccin o
antiprincipio del tipo:

p - p

2.

Si la funcin bsica esta compuesta por disyunciones, entonces puede suceder que una misma
variable se repita con diferente signo dentro de la misma funcin, dndose en consecuencia una
tautologa o principio del tipo:

p - p

La presencia o ausencia de estos principios o principios constituyen el criterio para determinar la

validez o invalidez de un enunciado.
PROCEDIMIENTO DECISORIO:
Como toda funcin proposicional (sea implicativa, equivalente, etc.) es reducible a estas dos
formas normales, el procedimiento decisorio puede realizarse por cualquiera de ellas.
Procedimiento para FNC: Dada una funcin proposicional, se reduce a su equivalente FNC de la
siguiente manera:
1 Se cancelan todos los conectores que no sean conjunciones o disyunciones mediante la aplicacin de
sus respectivas definiciones.
2 Se eliminan las negaciones que afectan a los conectivos mediante las leyes De Morgan.
3 Se suprimen las dobles negaciones aplicando la ley del mismo nombre.
4 Se aplican las Leyes de distribucin, absorcin e idempotencia cuando fuera necesario.
5 Criterio: La FNC es tautolgica cuando todas y cada una de sus funciones bsicas contiene el principio
del tercero excluido.
Ejemplo:
1. p q p q
Procedimiento para FND: Dada una funcin proposicional, se reduce a su equivalente FND de la
siguiente manera:
1 Se niega la funcin proposicional propuesta.
2 Se realizan los mismos pasos que el procedimiento anterior.
3 Criterio: La FND es tautolgica cuando todas y cada una de sus funciones bsicas contienen una
contradiccin o antiprincipio. Se comprende que sta FND sea contradictoria desde el momento en
que se parte de la negacin de la funcin proposicional originaria.
Modelo de la Forma Normal Conjuntiva:
( p q) r
Modelo de la Forma Normal Disyuntiva:
( p q) r
LEYES DE ABSORCIN (Abs.)
Cuando la presentacin de la ley de distribucin se hace enojosa por presentarse dos o ms
enunciados entre parntesis, entonces es preciso valerse de las leyes de absorcin que simplifican el
procedimiento. Son las cuatro siguientes:
A)
Esquemas Conjuntivos:
p p q p
a)
b)
B)

[ (
)]
[ p ( - p q) ] ( p q)

Esquemas Disyuntivos:
p p q p
a)
b)

[ (
)]
[ p ( - p q) ] ( p q)

En cada uno de estos esquemas es preciso distinguir dos miembros: uno absorbente y otro que se
absorbe.
A)
Esquemas Conjuntivos:
Miembro Absorbente: una variable o conjuncin bsica.
Miembro que se Absorbe: una disyuncin bsica.

B)

Criterio:
1. Si una variable del miembro absorbente se repite con el mismo signo en la disyuncin bsica,
se absorbe toda la disyuncin bsica.
2. Si una variable del miembro absorbente se repite con diferente signo en la disyuncin bsica,
se absorbe esta variable de disyuncin bsica.
Esquemas Disyuntivos:
Miembro Absorbente: una variable o una disyuncin bsica.
Miembro que se Absorbe: una conjuncin bsica.
Criterio:
1. Si una variable del miembro absorbente se repite con el mismo signo en la conjuncin bsica,
se absorbe toda la conjuncin bsica.
2. Si una variable del miembro absorbente se repite con diferente signo en la conjuncin bsica,
se absorbe esta variable de la conjuncin bsica.

Ejercicios:
1.
Mediante las formas normales (FNC y FND) determine la determine la validez de los siguientes
enunciados:
p q p q

p ( q r)

( p q) r
p ( q r)

[(

2.

Aplique las leyes de absorcin a los siguientes enunciados:

p ( q p)

p ( r p)

( p q) ( p s)

( p q r ) ( t q s)