MATEMATICA DISCRETA

MAT-151

UNIDAD DIDACTICA I
LOGICA PROPOSICIONAL
AUTOR:
MIGUEL ANGEL SANCHEZ ALMONTE

p q

pq

(pq)p

(pq)p

(pq)p (pq)p

SANT O DOMINGO, D. N.
ENERO 2007

UNIDAD 1: LGICA PROPOSICIONAL

1.0 Introduccin
El lenguaje que los seres humanos utilizamos para comunicarnos se caracteriza por su
gran flexibilidad, ya que en muchas ocasiones no siempre es necesario expresar una
frase completa o incluso correcta para que sea entendido el mensaje por el receptor.
Adems, el lenguaje humano est lleno de redundancias, ambigedades, etc. De ah que
la Lgica Formal no est interesada en l. Por el contrario, la Lgica pretende ser una
ciencia rigurosa y universal que permita realizar clculos exactos. Es por eso que requiere
del diseo de un lenguaje artificial en el cual:

Lo que importe sea la forma o aspecto externo, y no el significado de las frases;

Slo los mensajes que cumplan rigurosamente las normas sintcticas sean
aceptados como correctos.

Lo anterior nos deja bien claro, por qu la lgica principalmente, slo se ocupa de
aquellos discursos que se caracterizan porque sus afirmaciones tienen un valor de verdad
nico, es decir, por aquellos que estn formados por enunciados simples de los que
podemos decir si son verdaderos o falsos.

La lgica formal es una de las ciencias que estudian el conocimiento, mas no se ocupa de
la actividad de conocer. Esta se ocupa del resultado, es decir, del cocimiento, el cual
puede producirse de dos formas:

Por observacin o verificacin de hechos o ideas.

Por deduccin, esto es, a partir de ciertos conocimientos se obtienen otros cuya
afirmacin se sigue de los anteriores.

Definicin:
La lgica es la disciplina que trata de los mtodos de razonamiento. En un nivel
elemental, la lgica proporciona reglas y tcnicas para determinar si es o no
vlido un argumento dado.

Por ltimo, podemos decir que el principal aporte que la lgica hace a las ciencias se
refiere a la ordenacin, estructuracin y anlisis de las verdades conocidas. En nuestro
caso particular en las ciencias de la computacin, para verificar si son o no correctos los
programas y para demostrar teoremas.

1.1 Lgica proposicional

El lenguaje formal de la lgica proposicional est formado por dos elementos:

Proposiciones

Conectivos lgicos

Definicin:
Una proposicin es la unidad mnima del lenguaje con contenido de
informacin sobre la que es posible decir si es verdadera o falsa, pero no ambas
cosas a la vez.

Si una proposicin es verdadera, diremos que su valor de verdad es verdadero; si una

proposicin es falsa, su valor de verdad es falso.

Ejercicio 1.1.1. Cules de las siguientes son proposiciones? En caso de serlo,

indicar su valor de verdad.

ENUNCIADOS

Maana llover en el Distrito Nacional.

A qu hora lleg el profesor de Discreta ?
El ser humano soporta una temperatura de 900C.
8 = 5.
Borre la pizarra.
2x + 3 = 5
La Tierra es el mayor planeta.

ES

VALOR DE

PROPOSICIN?

VERDAD

Con frecuencia, en matemtica se utilizan letras (a, b, ..., y, z) llamadas variables que
pueden ser reemplazadas por nmeros reales, y estas variables pueden combinarse con
las operaciones elementales +, , -, y . A estas variables suele denominarse variables
numricas.

De modo similar, en Lgica suele utilizarse variables para representar proposiciones

especficas. De ah que podemos dar la siguiente definicin.

Definicin:
Una variable proposicional o variable propositiva es una variable o literal
que puede ser reemplazada por una proposicin especfica.

Para los fines, en este curso utilizaremos las letras p, q, r, ... para simbolizar a las
variables proposicionales. Un enunciado que contenga al menos una variable
proposicional se dice que es una forma o frmula proposicional.

Ejemplo 1.1.1. Usando la notacin:

p: La pizarra es verde.
q: La tiza es blanca.
para definir a p como la proposicin "La pizarra es verde" y q como la proposicin "La tiza
es blanca".
1.2 Proposiciones Compuestas

Antes de referirnos a las proposiciones compuestas, debemos tener claro lo siguiente:

Definicin:
Los conectivos u operadores lgicos son las expresiones que sirven para unir
o entrelazar dos proposiciones entre s.

Tomando en cuenta lo anterior, estamos en condiciones para definir las proposiciones

compuestas.

Definicin:
Las proposiciones compuestas son aquellas que resultan de combinar por
medio de conectivos lgicos, proposiciones o variables proposicionales. A las
proposiciones o variables proposicionales que las componen se las llama
operandos o componentes.

A continuacin veremos todos los conectivos lgicos que consideraremos en esta unidad.

NOMBRE

CONECTIVOS LGICOS

SIMBOLOS

Conjuncin

...y...

Disyuncin Inclusiva

...o...

Disyuncin Exclusiva

...o...

Si..., entonces...

...si y slo si...

Condicional
Bicondicional

Ejemplo 1.2.1. Combinando las proposiciones del Ejemplo 1 con el conectivo y, podemos
formar la proposicin compuesta p y q: "La pizarra es verde y la tiza es blanca", denotada
por: p q.

Tomando en cuenta que en lgica slo es posible dos valores de verdad atribuibles a las
proposiciones; as, V = { 0, 1}, donde
0 denota el significado falso,
1 denota el significado verdadero.
Definicin semntica de conectivos
Hemos definido un conectivo como una expresin que permite unir dos proposiciones y
obtener otras proposiciones, llamadas compuestas. Debemos pues, definir la forma en
que cada conectivo origina los significados de estas nuevas proposiciones a partir de los
significados de las proposiciones componentes. Para esto utilizaremos las tablas de
verdad.

Definicin:
Una tabla de verdad es una tabla que permite visualizar todos los posibles
valores de verdad de una proposicin compuesta en funcin de sus
proposiciones componentes.

Mas adelante veremos sus aplicaciones.

A continuacin clasificaremos las proposiciones tomando en cuenta los conectivos

utilizados.

Negacin
Si p es una proposicin, entonces la negacin de p es la proposicin no p, denotada por
~ p (en algunos textos tambin se utiliza p, o bien

).

Algunas expresiones equivalentes de la negacin "no p" en lenguaje natural:

no ocurre que p
no es cierto que p
es falso que p
no es el caso de p

TABLA DE VERDAD DE LA NEGACIN

~p

Tomando en cuenta que no, no es un conectivo, debido a que no une dos proposiciones,
entonces ~p no es ciertamente una proposicin compuesta. Sin embargo, no, es una
operacin unaria, en el sentido que acta sobre un slo elemento, para el conjunto de
proposiciones, y ~p es una proposicin si p tambin lo es.

Ejercicio 1.2.1. Dar la negacin de las siguientes proposiciones.

p: 2+3 = 7
q: Yo salgo de casa.

Definicin:
Si p y q son dos proposiciones, la conjuncin de p y q es la proposicin
compuesta "p y q", denotada por p q que resulta de la unin de ambas
proposiciones mediante el conectivo y.

Algunas expresiones equivalentes de la conjuncin "p y q" en lenguaje natural:

p aunque q
p pero q
p no obstante q
p a pesar de q
La conjuncin es una operacin binaria, ya que combina dos objetos (elementos) sobre el
conjunto de proposiciones. La conjuncin de p y q es verdadera cuando ambas, p y q, son
verdaderas; en caso contrario, es falsa. Veamos a continuacin la tabla de verdad de la
conjuncin en trminos de los valores de verdad de p y q:

TABLA DE VERDAD DE LA CONJUNCION

p

pq

Ejercicio 1.2.2. Formar la conjuncin de p y q para cada uno de los siguientes

casos.
p q:

p: 3+4 < 7.
q: Llegar maana
p: Mara es estudiosa.

p q:

q: Aprobar Discreta

Definicin:
Si p y q son dos proposiciones, la disyuncin de p y q es la proposicin
compuesta "p o q", denotada por p q que resulta de la unin de ambas
proposiciones mediante el conectivo o.

Algunas expresiones equivalentes de la disyuncin "p o q" en lenguaje

natural:
o bien p o bien q
al menos p o q
como mnimo p o q

La disyuncin p q es verdadera si por lo menos una de las proposiciones p o q es

verdadera; ser falsa slo cuando ambas proposiciones p y q sean falsas. Veamos los
valores de verdad de p q proporcionados en la siguiente tabla de verdad:

TABLA DE VERDAD DE LA DISYUNCIN INCLUSIVA

p

pq

Ejercicio 1.2.3. Formar la disyuncin de p y q para cada uno de los siguientes

casos.

p: 3 es un nmero impar.

p q:

q: Ir al cine
p: Estudi durante dos horas.

p q:

q: Tendr mejor calificacin.

La disyuncin tiene dos variantes: la inclusiva (cuya tabla de verdad se present ms

arriba) y la exclusiva (que trataremos mas adelante). Esto hace que el conectivo o, sea
ms complejo que el conectivo y. Para que podamos clarificarnos mejor, suponga que
alguien dice:

"Aprobar Matemtica Discreta o reprobar Anlisis de Textos I."

En este caso podrn ocurrir ambas posibilidades simultneamente, por lo que el conectivo
o se est usando en un sentido inclusivo.

En otro sentido, si tuviramos la disyuncin:

"Me quedar en la casa o ir al cine esta noche."

Es claro pensar que slo es posible que ocurra una de las dos posibilidades; es decir, no
podrn ocurrir ambas, por lo que el conectivo o se est usando en un sentido excluyente.
La disyuncin exclusiva de las proposiciones p y q est denotada por p q y resulta
verdadera cuando ambas proposiciones tienen diferentes valores de verdad, en caso
contrario, resulta falsa.

TABLA DE VERDAD DE LA DISYUNCIN EXCLUSIVA

p

pq

Definicin:
La Proposicin Condicional o Implicacin es la proposicin compuesta que
resulta de la unin de dos proposiciones mediante el conectivo "si ... entonces
...". Si p y q son proposiciones, entonces la condicional de ambas es la
proposicin denotada por:
pq
Donde p se le llama antecedente, hiptesis o premisa,
q se le llama consecuente o conclusin).

Algunas expresiones equivalentes de la condicional, si p entonces q en el

lenguaje natural:
p implica q
q, si p
p slo si q
p es suficiente para q
q es necesario para p

10

Ejercicio 1.2.4. Escribir la implicacin p q para cada una de las siguientes

proposiciones.
p q:

p: Discreta tiene 4 crditos.

q: Soy estudiante de Informtica.

p q:

p: Mi impresora es HP Deskjet
q: La impresin es ntida.

A continuacin presentamos la tabla de verdad de la condicional p entonces q.

TABLA DE VERDAD DE LA CONDICIONAL
p

pq

Si p q es una condicional, entonces:

Su recproca es q p
Su contrapositiva es ~ q ~ p.

Ejercicio 1.2.5. Dar la recproca y la contrapositiva de la implicacin "Si tengo

hambre, entonces no com al medioda."

Recproca

Contrapositiva

11

Definicin:
Una Bicondicional es una proposicin compuesta que resulta de unir dos
proposiciones mediante el conectivo "si y slo si".

En otras palabras, si p y q son proposiciones, a la proposicin compuesta "p si y slo si

q", denotada por p q, se le llama bicondicional (o equivalencia o doble implicacin).

Expresin equivalente a la bicondicional, p si y slo si q en el lenguaje

natural:
p necesario y suficiente para q

El valor de verdad de la Bicondicional se resume en que es verdadera cuando ambas

proposiciones tienen iguales valores de verdad, en caso contrario es falsa. Todo esto
queda de forma detallada en la tabla de verdad siguiente.
TABLA DE VERDAD DE LA BICONDICIONAL
p

pq

1.3 Clasificacin de las proposiciones compuestas

En el apartado anterior pudimos ver la clasificacin de las proposiciones tomando en
cuenta los conectivos de stas. A continuacin estudiaremos las proposiciones tomando
en cuenta los valores de verdad que estas toman dependiendo de los valores de verdad
de sus variables propositivas.

12

Si tenemos una proposicin compuesta, esta puede estar formada por varias variables
propositivas, siendo cada una de ellas la representacin de una proposicin por s misma.
Adems, estas variables pueden estar agrupadas y formar otras proposiciones ms
complejas que las simples. Suponer que tenemos la proposicin:
P: ( (p q) ~p) r

Donde p, q y r son variables propositivas (3 en total).

Si una proposicin compuesta P contiene n variables propositivas, habr necesidad de
tener 2n renglones en la tabla de verdad para P. Para construir su tabla de verdad,
necesitamos utilizar la expresin:
de renglones (filas) = 2n
donde n = nmero de variables proposicionales.
Para el caso de la proposicin P resulta: 2 3 = 8 (posibles valores de verdad de la
proposicin dada). A continuacin veremos su tabla de verdad.
Ejemplo. 1.3.1. Calcular la tabla de verdad de la proposicin ( (p q) ~p) r
p

~p

pq

(p q) ~p

( (p q) ~p) r

Lo que hemos hecho aqu es realizar la evaluacin de la frmula o forma proposicional ((p
q) ~p) r . Segn el resultado de su evaluacin, una frmula o forma proposicional

13

puede resultar siempre verdadera, falsa y verdadera, o siempre falsa. Esto permite
interpretar y clasificar las proposiciones compuestas de la siguiente forma:

Tautologa

Contingencia

Contradiccin

Definicin:
Tautologa es una proposicin compuesta que siempre resulta verdadera
independientemente de los valores de verdad de sus variables propositivas.

Una forma de verificar si la proposicin es tautologa, slo basta con realizar la evaluacin
de su frmula y comprobar que siempre es verdadera. Veamos el siguiente ejemplo:
Ejemplo. 1.3.2. Comprobar que la proposicin (p q) (q p) es una Tautologa.
p

pq

(q p)

(p q) (q p)

Si nos fijamos en la ltima columna de la tabla de verdad anterior, podemos comprobar

que el resultado de su evaluacin es siempre verdadera, por lo que la proposicin
representada por (p q) (q p), es una tautologa.

Definicin:
Contradiccin, falacia o absurdo es la proposicin compuesta que siempre
resulta falsa para cualquier valor de verdad de sus variables propositivas.

A continuacin veremos un ejemplo correspondiente a una Contradiccin.

14

Ejemplo. 1.3.3. Comprobar que la proposicin (pq)p (pq)p es una

Contradiccin.
p q

pq

(pq)p

(pq)p

(pq)p (pq)p

En la ltima columna de la tabla de verdad anterior, los valores de verdad de la

proposicin resultaron todos falsos, por lo que la proposicin (pq)p (pq)p es
una Contradiccin.

Definicin:
Contingencia es una proposicin compuesta que puede ser verdadera o falsa,
dependiendo de los valores de verdad de sus variables propositivas.

Veamos el siguiente ejemplo:

Ejemplo. 1.3.4. Comprobar que la proposicin (p q) q p es una
Contingencia.
p

pq

(p q) q

(p q) q p

En el caso anterior, la ltima columna de la tabla de verdad resultaron valores de verdad

verdaderos y falsos, por lo que la proposicin (p q) q p es una Contingencia.

Una forma proposicional es semnticamente vlida (vlida segn significado), si es

verdadera para todas sus posibilidades. Por lo tanto, slo las tautologas son formas

15

proposicionales semnticamente vlidas. Mas adelante utilizaremos este criterio para la

demostracin de los argumentos, es decir, utilizando la teora interpretativa.

1.4 Equivalencias Lgicas

Si tenemos las proposiciones P y Q, y ambas tienen iguales valores de verdad, entonces
podemos afirmar que P y Q son lgicamente equivalentes. Para simbolizar esto, lo
indicaremos de la siguiente forma:
PQ

Existe una forma elemental para comprobar que P y Q son lgicamente equivalentes.
Slo basta con evaluar la frmula: P Q y si esta resulta una tautologa, entonces P y Q
son lgicamente equivalentes. En caso contrario, no son lgicamente equivalentes.

Veamos el siguiente ejemplo:

Ejemplo 1.4.1. Determine si se cumple que (pq)p (pq)p

P
p q

PQ

pq

(pq)p

(pq)p

(pq)p (pq)p

Ejemplo 1.4.2. Comprobar si P y Q son lgicamente equivalentes para el caso en

que P = (p q) q. Q = p (q q).

P
p

(p q)

(q q)

(p q) q

p (q q)

PQ

16

Como se pudo apreciar en los dos ejemplos anteriores, al comprobar las equivalencias de
P y Q, la Bicondicional formada por P Q result en ambos casos una Tautologa. (Ver
ejemplos 1.4.1 y 1.4.2).

A continuacin presentamos algunas Equivalencias Lgicas:

1. p q q p
2. p q q p
3. p (q r) (p q ) r
4. p (q r) (p q ) r
5. p (q r) (p q ) (p r)
6. p (q r) (p q ) (p r)
7. p p p
8. p p p
9. ( p) p
10. (p q) (p q)
11. (p q) (p q)
12. (p q) (p q)
13. (p q) (p q) (q p)

La comprobacin de estas equivalencias lgicas queda como una asignacin para los
estudiantes. Estas adems, sern utilizadas para determinar las equivalencias de otras
proposiciones ms complejas.
1.5 Argumentos (prueba de su validez o invalidez)

Definicin:
Un argumento, razonamiento o deduccin es un conjunto de proposiciones
llamadas premisas, que se presupone son verdaderas, y otra proposicin
llamada conclusin, cuya verdad se desprende de la verdad de las premisas.

Podemos decir adems que constituyen una serie de afirmaciones conectadas para
establecer una proposicin definida.

17

Existen varios tipos de argumentos, pero aqu solamente trataremos el argumento

deductivo. Los argumentos deductivos son vistos como los ms precisos y persuasivos,
proveen evidencia terminante de su conclusin. Estos a su vez pueden ser vlidos o
invlidos.

Se pueden representar de dos formas:

Vertical

Horizontal

P1

P1, P2 , P3, ..., Pn / Q

P2
P3

Pn
___
Q
Consideremos el siguiente argumento en lenguaje natural:
P1 : Si Mara estudia Informtica, cursar Discreta.
P2 : Mara estudia Informtica.
Q : Mara cursar Discreta.

Su formalizacin en notacin lgica es:

P1 : p q
P2 :
Q:

p
q

18

donde:
p : "Mara estudia Informtica"
q : "Mara cursar Discreta"
El argumento anterior podemos expresarlo en un slo prrafo como se muestra a
continuacin.
"Si Mara estudia Informtica, cursar Discreta. Mara estudia Informtica. Por lo
tanto, Mara cursar Discreta".
Ya que conocemos las diferentes formas de expresar un argumento, ahora es bueno
pasar a definir cuando un argumento es vlido o cuando no es vlido.

Definicin:
Un argumento es vlido o es correcto cuando no hay ninguna posibilidad de
valores de verdad que haga que todas las premisas sean verdaderas y la
conclusin falsa. Si existe tal posibilidad, el argumento no sera vlido.

Suponga que tenemos el argumento P1, P2 , P3, ..., Pn / Q, se define como vlido
cuando:

No existe ninguna posibilidad que simultneamente haga P 1, P2 , P3, ..., Pn verdaderas

y Q falsa.

En este caso decimos que la conclusin Q es consecuencia lgica del conjunto de

premisas P1, P2 , P3, ..., Pn.
Existen diversos mtodos para demostrar la validez o invalidez de un argumento dado. A
continuacin veremos dos mtodos:

19

1. Mtodo de la tabla de verdad

Este mtodo consiste en evaluar cada una de las premisas y la conclusin en una tabla
de verdad. Slo debe tomarse en cuenta los renglones en los cuales todas las premisas
son verdaderas. Pueden presentarse tres posibilidades que veremos a continuacin:

a)

En todos los casos en que las premisas son verdaderas, la conclusin tambin
es verdadera. En este caso se dice que el argumento es vlido.

Ejemplo 1.5.1. Pruebe la validez o no del siguiente argumento mediante la tabla de

verdad:
p q, p, / q

Lo primero que debo hacer es construir la tabla de verdad y evaluar tanto las premisas
como la conclusin del argumento. Fjese en la tabla de verdad siguiente que las
columnas de las premisas las estamos identificando con el smbolo, mientras que la
conclusin la identificamos con .

p q

La parte sombreada de la tabla anterior nos muestra el caso en que todas las premisas
son verdaderas y la conclusin tambin resulta verdadera. Lo anterior nos indica que el
argumento:

Respuesta:

p q, p, / q es vlido. (Ver tabla de verdad anterior).

20

Ejemplo 1.5.2. Pruebe la validez o no del siguiente argumento mediante la tabla de

verdad:
p (q r), p, / q r

p (q r)

qr

Para el ejemplo de la tabla anterior, slo existe un caso en el cual las premisas son
verdaderas y la conclusin tambin. Por lo tanto el argumento:

Respuesta:

p (q r), p, / q r es vlido. (Ver tabla de verdad anterior).

21

b)

En algn caso en que todas las premisas son verdaderas y la conclusin es

falsa. En este caso se dice que el argumento no es vlido.

Ejemplo 1.5.3. Pruebe la validez o invalidez del siguiente argumento mediante la

tabla de verdad:
p (q r), (p q), / r

p (q r)

(p q)

La tabla de verdad anterior muestra un caso donde en tres renglones las premisas todas
resultan verdaderas, sin embargo, slo en uno de stos la conclusin resulta falsa. Con
este anlisis podemos concluir que:

Respuesta:

el argumento p (q r), (p q), / r, no es vlido. (Ver tabla de verdad

anterior).

c)

En los casos en que no existe la posibilidad en que todas las premisas sean
verdaderas. En estos casos se dice que no existe elemento de juicio para
determinar la validez del argumento.

22

2. Mtodo Abreviado:
Este mtodo consiste en presentar todas las variables propositivas envueltas en el
argumento y cada una de las premisas y la conclusin. Para su demostracin se
recomienda siempre partir de que el argumento no es vlido.
En este procedimiento siempre se podr asumir o determinar los valores de verdad de la
conclusin como de las premisas, no as de las variables propositivas, las cuales se les
determinar su valor de verdad a partir de los valores de verdad ya obtenidos.

Tomando en cuenta lo anterior, y basndonos en el valor de verdad de una condicional

(forma cannica de un argumento), entonces:

Si parto de que el argumento no es vlido, debo asumir la conclusin como

falsa y las premisas deben ser verdaderas.

Nota: Es bueno aclarar que el partir de que un argumento no es vlido, no

necesariamente es como lo hayamos asumido.

La validez del argumento estar determinada por la consistencia que encontremos entre
lo que hayamos asumido y lo que resulte en nuestra evaluacin.

Suponga que en la demostracin de la validez de un argumento partimos de que este no

es vlido, y en el proceso no determinamos ninguna incoherencia respecto a los valores
de verdad que deben resultar, entonces el argumento es tal como lo asumimos; es decir,
el argumento no es vlido. Ahora bien, si determinamos alguna incoherencia respecto a
los valores de verdad que deben resultar, entonces el argumento es lo contrario de lo que
asumimos; es decir, el argumento es vlido.

Veamos los siguientes ejemplos, los cuales nos ayudarn a tener bien claro todo lo
expresado anteriormente:
1.5.4. Traduzca cada uno de los siguientes razonamientos en notacin lgica y
proporcione una demostracin de su validez mediante el mtodo abreviado.

23

a. Si obtengo el puesto y trabajo duro, entonces me ascendern. Si me

ascienden ser feliz. No ser feliz. Por lo tanto, no obtendr el puesto o no
trabajar duro.
Su notacin lgica es:
(p q) r, r s, s, / p q

2
p

2
q

4
r

6
s

3
(p q) r

7
rs

5
s

1
p q

Respuesta: Como partimos que el argumento no era vlido y una de las premisas
result falsa, llegamos a la conclusin que: El Argumento es
vlido. (Contrario de lo asumido).

b. Si estudio leyes, entonces ganar mucho dinero. Si estudio arqueologa,

entonces viajar mucho. Si gano mucho dinero o viajo mucho, ser feliz.
Por lo tanto si no soy feliz, no estudi leyes y no estudi arqueologa.
Su notacin lgica es:
p q, r s, (q s) t / t ( p r)

2
p

4
q

2
r

6
s

2
t

3
pq

5
rs

7
(q s) t

1
t ( p r)

1
1
0

1
0
1

24

Respuesta: Como partimos que el argumento no era vlido y una de las premisas result
falsa, llegamos a la conclusin que: El Argumento es vlido. (Contrario
de lo asumido).

c. Si mis clculos son correctos y pago la cuenta de electricidad, me quedar

sin dinero. Si no pago la cuenta de electricidad, me cortarn la corriente.
Por lo tanto, si no me he quedado sin dinero y no me han cortado la
corriente entonces mis clculos son incorrectos.
Su notacin lgica es:
(p q) r, q s, / ( r s) p

2
p

4
q

2
r

2
s

5
(p q) r

3
q s

1
( r s) p

Respuesta: Como partimos que el argumento no era vlido y una de las premisas result
falsa, llegamos a la conclusin que: El Argumento es vlido. (Contrario
de lo asumido).

d. Si el pronstico predice clima seco, entonces ir de excursin o ir a nadar.

Ir a nadar si y slo si el pronstico predice clima caluroso. Por lo tanto, si
no voy de excursin, el pronstico predijo clima hmedo o caluroso.
Su notacin lgica es:
p ( q r ), r s, / q ( p s)

2
p

2
q

4
r

2
s

5
p(q r)

3
rs

1
q ( p s)

25

Respuesta: Como partimos que el argumento no era vlido y una de las premisas result
falsa, llegamos a la conclusin que: El Argumento es vlido. (Contrario
de lo asumido).

e. Si estudio o soy un genio, entonces aprobar el curso. No me permitirn

tomar el siguiente curso. Si apruebo el curso, entonces me permitirn tomar
el siguiente curso. Por lo tanto, no estudi.
Su notacin lgica es:
(p q) r, s,

r s, / p

2
p

8
q

6
r

4
s

7
(p q) r

3
s

5
rs

1
p

0
1

0
0

Respuesta: Como partimos que el argumento no era vlido y una de las

premisas result falsa, llegamos a la conclusin que: El
Argumento es vlido. (Contrario de lo asumido).

f. Si 64 MB es mejor que no tener ms memoria, entonces comprar un

computador nuevo. Si compro un computador nuevo, entonces comprar
ms memoria. Por lo tanto, comprar ms memoria.
Su notacin lgica es:
p q,

q r, / r

5
p

3
q

1
r

4
pq

2
qr

1
r

26

Respuesta: Como partimos que el argumento no era vlido y todas la

premisas resultaron verdaderas, llegamos a la conclusin que:
El Argumento no es vlido. (Igual a lo que se asumi).

Miguel Angel Snchez Almonte

Profesor Departamento de Matemtica, UNAPEC
msancheza@unapec.edu.do
Primera versin:

Enero, 2005.

Primera revisin:

Enero, 2007

sanchezmiguel@yahoo.com

27