Sie sind auf Seite 1von 28

Lgica Matemtica

Moiss Villena Muoz

1
1.1
1.2
1.3
1.4
1.5
1.6
1.7

PROPOSICIONES
OPERADORES LGICOS
PROPOSICIONES MOLECULARES
FORMAS PROPOSICIONALES
BICONDICIONAL. EQUIVALENCIAS LGICAS
ALGEBRA DE PROPOSICIONES
RAZONAMIENTOS

Cotidianamente tratamos de pensar y actuar inteligentemente. Nuestras acciones estn


dirigidas a que sean o parezcan coherentes. Pero para situaciones formales un tanto
complicadas, nuestros argumentos elementales no nos ayudan a resolverlas. Es aqu donde
entra la necesidad de considerar mecanismos abstractos para el anlisis formal. La lgica
matemtica nos permite hacer estos anlisis, haciendo que todas las verdades de la razn
sean reducidas a una especie de clculo.
Con la lgica matemtica podemos precisar la equivalencia entre expresiones
abstractas, podemos analizar la validez de argumentos o razonamientos, podemos realizar
demostraciones formales,...

Lgica Matemtica

Moiss Villena Muoz

1.1 PROPOSICIONES
OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Defina proposicin.
Conozca la notacin para proposiciones.
Reconozca proposiciones.
D ejemplos de proposiciones.
D ejemplos de enunciados que no sean proposiciones.

La Lgica Matemtica, hace uso exclusivo de expresiones que


manifiestan o una verdad o una falsedad. A estas expresiones se las
llaman PROPOSICIONES.
Entonces:

PROPOSICIONES son afirmaciones

a las que

se les puede asignar o bien un valor de


verdad de VERDADERO o bien un valor de
verdad de FALSO.
Ejemplos
1. "Hoy es Lunes" (suponga que efectivamente estamos en el da lunes de la semana, entonces esta
expresin ser una afirmacin VERDADERA).

2. "Estoy en la clase de matemticas" (suponga que la persona que emite esta afirmacin,
efectivamente est presenciando la clase de
matemticas; en este caso esta expresin ser una
afirmacin tambin VERDADERA).

3. "Estoy en Espaa" (suponga ahora que la persona que emite sta frase se encuentra en Ecuador y no
en Espaa, entonces esta afirmacin ser una proposicin FALSA).

Otras expresiones, como las exclamaciones, las preguntas, deseos


o mandatos; no son consideradas como proposiciones por la Lgica
Matemtica.
Ejemplos:
1.Ojal Llueva!
2.Hiciste el deber de Matemticas?
3.Sintate y estate quieto.

1.1.1 NOTACIN
De aqu en adelante adoptaremos los siguientes smbolos para el
VALOR DE VERDAD de una proposicin:
VERDADE

Lgica Matemtica

Moiss Villena Muoz

RO
FALSO

Los

SMBOLOS que se adoptan para las proposiciones


PRIMERAS LETRAS DEL ABECEDARIO en minscula.

suelen ser las

Ejercicio Propuesto 1.1


Indique cules de los siguientes enunciados son proposiciones y cules no?:
a) Esta fruta est verde.
b) Ests contenta?
c) Sintate y estate quieto
d) 3 +7= 10
e) El ratn trep a la mesa.
f) Maana se acabar el mundo.
g) Ramn Ramrez debe pagar sus deudas a menos que quiera ir a la crcel.
h) Es feo Juan?
i) La edad del universo es de unos 15 mil millones de aos.
j) Mrchate!

Ahora bien en nuestro lenguaje comn usamos frecuentemente


proposiciones ms extensas como:

No hice el deber de Matemticas.


Estoy en Ecuador y estoy feliz.
Estudio juego ftbol.
Si estudio entonces sacar buena calificacin en el examen.

Surge entonces la necesidad de definir a los nexos de estas


proposiciones, los llamados Conectores u Operadores lgicos.

1.2 OPERADORES (CONECTORES) LGICOS


OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Conozca la notacin para los operadores lgicos.
Deduzca, con ejemplos, la esencia de los operadores lgicos y la tabla de verdad para
las operaciones lgicas.
Analice e interprete las condiciones suficientes y las condiciones necesarias en una
condicional.
Comprenda e interprete la recproca, la inversa y la contrarecproca de una condicional.
Traduzca del lenguaje comn al lenguaje formal

1.2.1 NEGACIN
La negacin se presenta con los trminos:

El

SMBOLO LGICO

No
No es verdad que
No es cierto que

que se emplea para traducirla es:

Lgica Matemtica

Moiss Villena Muoz

Aunque tambin se suele emplear:

Analicemos lo siguiente.
Ejemplos
1.

SUPONGA QUE ESTAMOS EN EL DA LUNES DE LA SEMANA,

entonces al decir:

a : "Hoy no es Lunes "

a : "Hoy es Lunes"

(ser una proposicin VERDADERA).


(en cambio esta proposicin ser FALSA).
SUPONGA QUE NO EST LLOVIENDO, entonces al decir:

2.

a : "No est lloviendo"

a : "Est lloviendo"
(ser una proposicin FALSA)

(en cambio esta proposicin ser VERDADERA)

Si ubicamos estas observaciones en una tabla que nos indique


todas estas posibilidades formamos la llamada TABLA DE VERDAD.
Que para la negacin sera:

a
1
0

a
0
1

Observe que:

El operador NEGACIN
VERDAD

CAMBIA EL VALOR DE

de una proposicin.

1.2.2 CONJUNCIN
Este operador lo tenemos cuando enlazamos proposiciones con el
trmino y
En lenguaje formal se lo traduce con el

SMBOLO:

Ejemplo
CONSIDEREMOS LAS SIGUIENTES PROPOSICIONES:
a : "Tengo una moneda de 50 centavos en el bolsillo"
b : "Tengo una moneda de 25 centavos en el bolsillo"
LA CONJUNCIN DE LAS DOS PROPOSICIONES SERA:
a b : "Tengo una moneda de 50 y una de 25 centavos en el bolsillo"
Entonces al suponer que:
1.

En verdad se tiene las dos monedas ( a 1 ; b 1 ) entonces decir "Tengo una moneda de 50 y una de
25 centavos en el bolsillo", ser una VERDAD.

2.

Si se tiene la moneda de 50 centavos y no la de 25 centavos ( a 1 ; b 0 ), la proposicin "Tengo una


moneda de 50 y una de 25 centavos en el bolsillo", ser FALSA.

Lgica Matemtica

Moiss Villena Muoz

Si no se tiene la moneda de 50 centavos y si la de 25 centavos ( a 0 ; b 1 ), la proposicin "Tengo

3.

una moneda de 50 y una de 25 centavos en el bolsillo", ser tambin FALSA.


Si no se tienen las dos monedas ( a 0 ; b 0 ), la proposicin "Tengo una moneda de 50 y una de 25

4.

centavos en el bolsillo", tambin ser FALSA.

Por lo tanto, LA TABLA DE VERDAD para la conjuncin sera:

ab

1
1
0
0

1
0
1
0

1
0
0
0

Observe que:

La

CONJUNCIN

VERDADERA

de

dos

siempre

proposiciones
cuando

es

ambas

proposiciones sean verdaderas.

1.2.3 DISYUNCIN INCLUSIVA


La disyuncin inclusiva aparece cuando enlazamos proposiciones
con el trmino:

Se lo traduce con el

SMBOLO LGICO:

Ejemplo
Considerando las mismas proposiciones anteriores:

a : "Tengo una moneda de 50 centavos en el bolsillo"


b : "Tengo una moneda de 25 centavos en el bolsillo"
LA DISYUNCION DE LAS DOS PROPOSICIONES SERA:

a b : "Tengo una moneda de 50 o una de 25 centavos en el bolsillo"


Entonces al suponer que:
1.

En verdad se tenga las dos monedas ( a 1 ; b 1 )entonces decir "Tengo una moneda de 50 o una
de 25 centavos en el bolsillo", ser una VERDAD.

2.

Si se tiene la moneda de 50 centavos y no la de 25 centavos ( a 1 ; b 0 ), la proposicin "Tengo una


moneda de 50 o una de 25 centavos en el bolsillo", ser tambin una VERDAD.

3.

Si no se tiene la moneda de 50 centavos y si la de 25 centavos ( a 0 ; b 1 ), la proposicin "Tengo


una moneda de 50 o una de 25 centavos en el bolsillo", ser tambin una VERDAD.

4.

Si no se tienen las dos monedas ( a 0 ; b 0 ), la proposicin "Tengo una moneda de 50 o una de 25


centavos en el bolsillo", ser una FALSEDAD.

Lgica Matemtica

Moiss Villena Muoz

Por lo tanto, LA TABLA DE VERDAD para la disyuncin inclusiva


sera:

a
1
1
0
0

ab
1
1
1
0

b
1
0
1
0

Note que:

La

DISYUNCIN

proposiciones

es

INCLUSIVA
FALSA

siempre

de
y

dos

cuando

ambas proposiciones sean falsas.

1.2.4 DISYUNCIN EXCLUSIVA


Seguramente usted ha expresado disyuntivas en donde se admite,
lo uno lo otro pero no ambas cosas.
Ejemplos
1."Daniel est en Espaa o Italia"
2."Jessica tiene una altura de 1.70 m. o 1.65 m."
3."El motivo del crimen fue o bien el robo o bien la venganza"

Estos ejemplos se los puede interpretar como:


"Daniel est en Espaa o est en Italia, pero no puede estar en ambos lugares a la vez"
"Jessica tiene una altura de 1.70 m. o una altura de 1.65 m., pero no puede tener ambas
estaturas a la vez"
"El motivo del crimen fue slo el robo o slo la venganza"

En el ltimo ejemplo, con el trmino "slo" desechamos la idea de


que el motivo del crimen sea el robo y la venganza a la vez.
Entonces el trmino en lenguaje comn sera:
tambin el trmino
EL

"o bieno bien..".

SMBOLO LGICO

"". Como

que se emplea para traducirla es:

tambin se emplea el smbolo

. Aunque

Sin embargo, la disyuncin exclusiva se la traduce en trmino de


la disyuncin inclusiva de la forma:

a b a b

LA TABLA DE VERDAD para la disyuncin exclusiva sera:

a b

Lgica Matemtica

Moiss Villena Muoz

1
1
0
0

1
0
1
0

0
1
1
0

Por lo tanto, se podra decir que:

La

DISYUNCIN

proposiciones

es

EXCLUSIVA

FALSA

siempre

ambas proposiciones sean falsas

de
y

dos
cuando

y tambin

cuando ambas sean verdaderas.


1.2.5 ENUNCIACIN HIPOTTICA
Este es el conector lgico ms importante. Llamado tambin
condicional o implicacin.
Aparece cuando enlazamos dos proposiciones a y b de la forma:

"Si a entonces b " ,


Se traduce con el

SMBOLO LGICO:

a b
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.

En este caso a la proposicin " a " se la llama:

y a la proposicin " b " se la llama:

Existen OTROS LENGUAJES


hipottica. Estos son:

RELACIONADOS

con la enunciacin

" a implica b "


"Basta a para que
b"

" a slo si b "


" a solamente si b "
" b si a "
" b cada vez que a "
" b siempre que a
"
7

Lgica Matemtica

Moiss Villena Muoz

" b puesto que a "


" b ya que a "
" b cuando a "
" b debido a que a "
" b porque a "
Ejemplo
Supngase que un padre le dice a su hijo:
"Si apruebas el preuniversitario entonces te regalar un carro".
Bien, ahora piense que:
1. Efectivamente el hijo aprueba el preuniversitario, y que el padre le regala el carro. Entonces el
padre ha dicho una VERDAD.
2. Si el hijo aprueba el preuniversitario y el padre no le regala el carro. Entonces el padre ha
dicho una MENTIRA (FALSEDAD).
3. Si el hijo no aprueba el preuniversitario y sin embargo el padre le regala el carro, aunque no
est obligado a hacerlo. Entonces el padre NO ha dicho una MENTIRA.
4. Si el hijo no aprueba el preuniversitario y el padre no le regala el carro. El padre tampoco ha
dicho una MENTIRA.

sera:

Entonces, LA TABLA DE VERDAD para la enunciacin hipottica

a
1
1
0
0

b
1
0
1
0

a b
1
0
1
1

Por lo tanto, se podra decir que:

La ENUNCIACIN HIPOTTICA es FALSA slo


cuando

el

antecedente

es

verdadero

el

consecuente falso.
Vale la pena recalcar que, no es necesario que exista relacin
causal entre la proposicin " a " y la proposicin " b ". El valor de verdad
de la nueva proposicin depende de los valores de verdad de cada una
de las proposiciones.

1.2.5.1 Condiciones necesarias y suficientes

Lgica Matemtica

Moiss Villena Muoz

En ocasiones, una enunciacin hipottica verdadera, en donde


existe relacin causal entre el antecedente a y el consecuente b , se
interpreta como:
" a es condicin suficiente para b "
" b es condicin necesaria para a "
Lo cual nos indica otras dos formas de lenguaje relacionado para
la enunciacin hipottica.
Ejemplo
"Si un nmero es divisible para 4 entonces es divisible para 2"
Este enunciado puede ser interpretado, parafrasendolo de la siguiente manera:
"Es SUFICIENTE que un nmero sea divisible para 4 para que sea divisible para 2"
O tambin:

"Es NECESARIO que un nmero sea divisible para 2, para que sea divisible para 4" (tambin: "si un
nmero es divisible para 4, necesariamente ser divisible para 2")

Es importante mencionar que si se intercambia el antecedente


con el consecuente la enunciacin hipottica cambia.
Ejemplo
Considerando el ejemplo anterior, al enunciar la proposicin de la siguiente forma:
" Si un nmero es divisible para 2 entonces es divisible para 4"
es FALSA; porque es indudable que existen nmeros divisibles para 2 que no son divisibles

para 4 (6 por ejemplo).

El enunciado anterior tambin puede ser parafraseado de las


siguientes formas:
" La divisibilidad para 4 implica la divisibilidad para 2 "
" Un nmero es divisible para 4 slo si es divisible 2"
" Basta que un nmero sea divisible para 4 para que sea divisible para 2".
" Un nmero es divisible para 2 siempre que sea divisible para 4"
" Un nmero es divisible para 2 si es divisible para 4"
" Un nmero es divisible para 2 puesto que es divisible para 4"
" Un nmero es divisible para 2 ya que es divisible para 4"
" Un nmero es divisible para 2 cada vez que sea divisible para 4"
" Un nmero es divisible para 2 cuando es divisible para 4"
" Un nmero es divisible para 2 debido a que es divisible para 4"
" Un nmero es divisible para 2 porque es divisible para 4"

1.2.5.2 VARIACIONES DE LA CONDICIONAL

Para la implicacin a b se define:

LA RECPROCA:: b a
LA INVERSA:: a b

Lgica Matemtica

Moiss Villena Muoz

LA CONTRARRECPROCA::
b a

Ejemplo
Sea la proposicin:
Ir el sbado, si me pagan

Primero identifiquemos el antecedente

a : Me pagan
b : ir el sbado

y el consecuente
Luego tenemos:
Si me pagan, entonces ir el sbado
De aqu:
RECPROCA: Si voy el sbado, entonces me pagan
INVERSA: Si no me pagan, entonces no ir el sbado
CONTRARRECPROCA: Si no voy el sbado, entonces no me pagan

Ejercicios Propuestos 1.2


1.

En las siguientes proposiciones, identifique el ANTECEDENTE y el CONSECUENTE.


a) Si no se ama a primera vista, no se ama como es debido.
b) Para ser secretaria se necesita ensear la rodilla.
c) El que roba un dolar, roba un milln.
d) Pienso, luego existo.
e) Quien siembre vientos, cosecha tempestades.
f) Para que un polgono sea rectngulo, es suficiente que sea cuadrado.
g) No somos dbiles si hacemos uso apropiado de los medios que el Dios de la Naturaleza ha puesto bajo
nuestro dominio.
h) Tendrs xito solamente si aprecias la opinin de los dems.
i) nicamente mediante el error autntico y el trabajo espontneo y creativo puede el ser humano superar
su angustia y soledad.

2.

Considerando las proposiciones:


a : Yo termin mi deber antes de comer.

b : Yo juego tenis por la tarde.


c : Hoy hace sol.
d : Hoy hay poca humedad.
Escribir en LENGUAJE SIMBLICO :
a) Es necesario que termine de hacer mi deber antes de comer y que haya poca humedad para que si
hace sol yo juegue tenis por la tarde.
b) Para m es suficiente que no haya sol y haya poca humedad para que no salga a jugar tenis por la
tarde.
3.

Sean las proposiciones:


a : Te gustan las matemticas

b : Te gusta este deber


TRADUZCA las siguientes proposiciones al lenguaje comn:
a) a b
b)
c)
d)
4.

a b
b a
a a b

Dada la proposicin:
"Si un tringulo est circunscrito en un semicrculo, entonces es rectngulo"
Escriba la recproca, la inversa y la contrarrecproca.

1.3 PROPOSICIONES MOLECULARES


OBJETIVOS:

10

Lgica Matemtica

Moiss Villena Muoz


SE PRETENDE QUE EL ESTUDIANTE:
Defina proposiciones atmicas y moleculares.
Establezca el valor de verdad de una proposicin molecular.

Las

PROPOSICIONES

MOLECULARES

son

expresiones que estn compuestas por varias


proposiciones

conectadas

por

operadores

lgicos. A las proposiciones simples, en las que


no

aparecen

operadores

lgicos,

se

las

denominan PROPOSICIONES ATMICAS.


Ejemplo

a b c a b
Las proposiciones atmicas para este ejemplo seran a , b y c .
El valor de verdad de la proposicin molecular depende del valor
de verdad de las proposiciones atmicas que la componen.
Suponga que: a 1 ; b 0 y c 1 , entonces la proposicin
molecular anterior es VERDADERA, porque:

a b c a b


0 1
0
1
1
0
1
0

.
Ejercicios Propuestos 1.3
Bajo la suposicin de que los valores de verdad de las proposiciones atmicas a

f son respectivamente 0,0,1,1,0,1; determinar el

VALOR DE VERDAD

b, c, d

e, y

de cada una de las proposiciones

moleculares siguientes:
1.
2.
3.

a b b a c
a b a c d e d f a b
a b a c d e d f a f

1.4 FORMAS PROPOSICIONALES


OBJETIVOS:

11

Lgica Matemtica

Moiss Villena Muoz

SE PRETENDE QUE EL ESTUDIANTE:


Defina formas proposicionales.
Defina tautologas, falacias y contradicciones.
Aplique la definicin de tautologa y la de falacia para clasificar formas proposicionales dadas.
Defina formas equivalentes
Determine si formas proposicionales dadas son equivalentes o no

FORMA

Una

expresin

PROPOSICIONAL

constituida

por

es

una

smbolos

que

representan o conectores lgicos o variables


proposicionales.
Ejemplo

p q r p q
Donde p, q, r son VARIABLES PROPOSICIONALES, que pueden
representar proposiciones atmicas o proposiciones moleculares.
Si reemplazamos a p , q y r
por proposiciones falsas y
verdaderas los resultados son proposiciones moleculares.
El nmero de proposiciones moleculares que se generan es igual
a

2 n , donde

n es el nmero de variables proposicionales.

Para el ejemplo anterior, como la forma proposicional tiene 3


23 8 proposiciones
variables proposicionales, entonces hay
moleculares, cuyos valores de verdad se muestran en la siguiente tabla:

pq

p q r

pq

p q r p q

1
1
1
1

1
1
0
0

1
0
1
0

1
1
1
1

0
1
0
1

0
1
0
1

1
1
0
0

1
1
1
0

0
0
0
0

1
1
0
0

1
0
1
0

1
1
0
0

0
1
0
1

0
1
0
0

0
0
0
0

1
0
1
1

Observe que con tres variables, para no repetir casos, las dos
ltimas variables q y r mantienen las cuatros combinaciones bsicas

12

Lgica Matemtica

Moiss Villena Muoz

(ambas verdaderas, una de ellas verdadera mientras la otra falsa y


ambas falsas) y la primera variable p es verdadera. Luego, lo mismo
para las dos ltimas variables, pero con la primera falsa.
Si hubiesen 4 variables proposicionales, se hacen las ocho
combinaciones anteriores con las ltimas tres variables y la primera
variable verdadera; luego, lo mismo que lo anterior pero con la primera
falsa, es decir:
p q r s
1
1
1
1
1
1
1
1

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

0
0
0
0
0
0
0
0

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

Para ms variables repetir el proceso de forma anloga.


Existen formas proposicionales muy singulares y que van a ser de
mucho inters para nuestras necesidades.

TAUTOLOGA:

Forma

estructura lgica da
VERDADERAS

proposicional

cuya

lugar a proposiciones

para todos los casos de valores de

verdad de las variables proposicionales que las


componen.
Cuando una forma proposicional

NO ES TAUTOLGICA

FALACIA.

CONTRADICCION:

Forma

estructura lgica da

proposicional

se la llama

cuya

lugar a proposiciones

13

Lgica Matemtica

Moiss Villena Muoz

FALSAS,

sin importar el valor de verdad de sus

variables.
Ejemplo
Al observar la tabla de verdad de la forma proposicional

p q p q
p

pq

p q

p q p q

1
1
0
0

1
0
1
0

0
0
1
1

1
0
1
1

1
0
1
1

1
1
1
1

Notamos que el valor de verdad de las proposiciones que se generan es siempre verdadero, sim importar el
valor de verdad de las variables proposicionales intervinientes. Por tanto es una TAUTOLOGA.
Si al menos, fuese falsa en un caso, entonces sera una FALACIA.

1.4.1 IMPLICACIONES LGICAS

Sean

dos

formas

implica lgicamente a

Decimos que

slo s

es una tautologa.

A B

proposicionales.
B

si y

En este caso se escribe A B .


Algunas implicaciones lgicas tpicas son:
p p q
p q p
p p q q
p q q p
p q p q
p q p q
p q q r p r
p q p r q r
p q p r q r
p q q r p r
p q r s p r q s
p q r s p r q s
p q r s q s p r
p q r s q s p r

Adicin
Simplificacin
Modus Ponens
Modus Tollens
Silogismo Disyuntivo
Silogismo Hipottico

Dilemas constructivos
Dilemas
constructivos

Ejercicios Propuestos 1.4


1.

DEMUESTRE las Implicaciones Lgicas anteriores.

14

Lgica Matemtica

Moiss Villena Muoz

2.

3.

Escriba la TABLA DE VERDAD de las siguientes formas proposicionales:


a)
p (p p)
b)
c)

( p q) ( p q)
(( p q) (p q )) q

d)

( p q) ( p (p q))

Cul de las siguientes formas proposicionales NO ES TAUTOLGICA?


a) ( p q) p
b)
c)

4.

d)

(p ( p q)) q

e)

( p q) (p q)

Una de las siguientes formas proposicionales NO ES TAUTOLGICA, identifquela.


a) p p q q
b) p q p p
c)
d)
e)

5.

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

Sean p, q, r variables proposicionales, entonces la forma proposicional que NO ES TAUTOLGICA es:


a)
b)
c)
d)
e)

6.

( p ( p q)) p
( p q) ( p q)

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

La expresin B para que la forma proposicional:

p p q q q B

NO SEA TAUTOLGICA es:

a)
b)
c)
d)
e)
7.

p q
p q
q
p
p

HALLAR el operador para que la forma proposicional sea tautolgica:

p q r s q s q r

1.5 BICONDICIONAL
Un nuevo operador lgico es la doble implicacin, llamado
tambin BICONDICIONAL.
El smbolo empleado es:

Que enlazando dos proposiciones

sera a b . Que significa a b b a y se lee a


b .

s y slo s

Su tabla de verdad sera:

a b

1
15

Lgica Matemtica

Moiss Villena Muoz

1
0
0

0
1
0

0
0
1

Observamos que:

La BICONDICIONAL es VERDADERA cuando


ambas proposiciones son verdaderas o ambas
falsas, es decir cuando tienen el mismo valor
de verdad. Caso contrario es falsa.

1.5.1 EQUIVALENCIAS LGICAS

Sean

Decimos

dos

formas

proposicionales.

es

LGICAMENTE

que

EQUIVALENTE a

si y slo s

es una

A B

tautologa.
En este caso se escribe A B . Como tambin A B
Analicemos la tabla de verdad de las siguientes dos formas
proposicionales: p q y p q
p

pq

1
1
0
0

1
0
1
0

1
0
1
1

p
0
0
1
1

p q

p q p q p q p q

1
0
1
1

1
1
1
1

1
1
1
1

En ambos sentidos la implicacin con estas dos formas


proposicionales es tautolgica, lo cual quiere decir que son formas
Lgicamente Equivalentes. Es decir, p q p q
Como conclusin se puede decir que:

16

Lgica Matemtica

Moiss Villena Muoz

Dos formas proposicionales son LGICAMENTE

EQUIVALENTES si

tienen el MISMO VALOR

DE VERDAD bajo iguales condiciones de valores


de verdad de las variables intervinientes.
Aqu se puede observar la importancia de la lgica de smbolos.
Es muy difcil precisar con nuestros sentidos que la expresin Si
estudio entonces aprender es Lgicamente Equivalente a No estudio o
aprendo.

Ejemplo
Al decir: Una matriz tiene inversa, si y slo si su determinante es diferente de
cero.
Se deber entender que es equivalente que una matriz
sea diferente de cero.

tenga inversa a que su determinante

Ahora analicemos estas otras dos formas proposicionales


y q p
p

pq

q p

1
1
0
0

1
0
1
0

0
0
1
1

0
1
0
1

1
0
1
1

1
0
1
1

Por lo tanto, p q
contrarrecproca q p

es

Lgicamente

Equivalente

pq

su

Ejercicios Propuestos 1.5


Investigue si las siguientes EQUIVALENCIAS SON CORRECTAS O NO:
a) p q r p q r

p q r p q r
c) p q r p q r
d) p q r p q r
e) p q r p q r
f) p q r p q r
b)

1.6 ALGEBRA DE PROPOSICIONES


OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Traduzca del lenguaje comn al lenguaje formal.
Aplique lEquivalencias Lgicas para encontrar traducciones equivalentes.

17

Lgica Matemtica

Moiss Villena Muoz

Clasificando algunas Equivalencias Lgicas, resulta:


CONJUNCIN

p q q p
p q r p q r
p p p
p 1 p
p 0 0

DISYUNCIN
Conmutativa
Asociativa
Idempotencia
Identidad
Absorcin

p q q p
p q r p q r
p p p
p 0 p
p 1 1

LEYES DISTRIBUTIVAS

NEGACIN

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

0 1
1 0

OTRAS:
p q p q

p q p q

p p doble negacin
Leyes de De Morgan

p p 1
Ley del tercer excludo
p p 0
Ley de la contradiccin
p q q p Contrapositiva o Contrarrecproca
p q p q
Implicacin
p q p q
p q p q
p r q r p q r
p q p r p q r
p q r p q r Ley de exportacin
p q p q 0 Reduccin al absurdo
p q p q q p Equivalencia
p q q p

No olvide demostrarlas.
Una utilidad
continuacin.

de las Equivalencias Lgicas la

observamos

Ejemplo 1
La TRADUCCIN al lenguaje formal de la siguiente proposicin:
Si t eres inteligente y no actas con prudencia, eres un ignorante en la
materia
Siendo: m : t eres inteligente
n : t actas con prudencia
p : t eres un ignorante en la materia
Es:
SOLUCIN:
La traduccin sera: m n p . Pero tiene apariencia diferente
a las opciones de respuestas, entonces empleando el lgebra de
18
proposiciones obtenemos:
m n p

m n p
m n p
m n p

Lgica Matemtica

Moiss Villena Muoz


a) m n p
b) p m n
c) m n p
d) m p n
e) m n p

Ejemplo 2
Dada la proposicin molecular: Hoy es jueves y tengo que dar un examen, pero si
hay huelga, entonces no voy a la Politcnica, y las proposiciones atmicas:
a : Hoy es jueves.
b : Tengo que dar un examen.
c : Hay huelga.
d : Me voy a la Politcnica.
Entonces la TRADUCCIN al lenguaje formal de la proposicin molecular es:
a) a b c d
b) d c a b
c) a b c d
d) a b c d
e) c d a b

a b c d , por la contrarecproca
a b d c entonces
a b d c que es lo mismo que d c a b

Traduciendo tenemos
SOLUCIN:

RESPUESTA: Opcin "b".

Analicemos este otro tipo de ejercicio.


Ejemplo 3

Si la proposicin: p q r s p r s es
entonces es VERDAD que:
a) p q 0
b) q s 1
c) r s q 0
d) q 1

VERDADERA,

e) p r 1

19

Lgica Matemtica

Moiss Villena Muoz

SOLUCIN:

Debemos ir analizando desde la proposicin molecular hasta llegar a las proposiciones

atmicas.

[ p q r s ] [ p r s ] 1
0
1
1
0 1
1
0
1
0
1

1
0
1

1
0

p 1
s 1
Del anlisis se concluye que:
r0
q0
Ahora que hemos encontrado los valores de verdad de cada una de las proposiciones, , podemos
analizar una a una las opciones proporcionadas:
a)
p q 1 0 1 mas no 0 como se indica

q s 0 1 0 mas no 1 como se indica


r s q 0 1 0 1 0 0 tal como se indica y por tanto esta sera la

b)

c)
respuesta.

Ejercicios Propuestos 1.6


1.

Seleccione la TRADUCCIN correcta de la siguiente afirmacin:


Si retiro el dinero del banco, compro un carro o una casa
Considerando las proposiciones atmicas :
p : Retiro el dinero del banco
q : Compro un carro
r : Compro una casa
a) p q r
d) p q r

b) p q r
e) p q r

c) p q r

2.

La TRADUCCIN al lenguaje formal de la proposicin :


"Si me voy a casa, me voy de compras y si no me voy a casa, entonces voy al cine"
siendo las proposiciones atmicas:
a : Me voy a casa
c : Voy al cine
b : Me voy de compras
es:
a) (a b) (a c)
c) (a b) (a c)
b) (a b) (a c)
d) (b a) (c a)
e) (b a) (c a)

3.

La TRADUCCIN al lenguaje formal de la proposicin: "Si se es estudioso o dedicado, entonces se


aprueba el Prepolitcnico". Siendo las proposiciones atmicas:
a : Se es estudioso.

es:

4.

a) a b c
c) a c b

b : Se es dedicado.
c : Se aprueba el Prepolitcnico.
b) a c b c
d) a b c

e) a b c

Dada la proposicin:
"Si hay huelgas y paro de transportistas, entonces las prdidas sern cuantiosas"
Entonces es EQUIVALENTE a la siguiente proposicin:

20

Lgica Matemtica

Moiss Villena Muoz


a)
b)
c)
d)
e)
5.

6.

7.

Si no hay prdidas cuantiosas entonces no hay huelgas o no hay paro de transportistas.


Si no hay prdidas cuantiosas entonces no hay huelgas y si hay paro de transportistas.
Si no hay prdidas cuantiosas entonces hay huelgas y no hay paro de transportistas.
Si no hay huelgas ni paro de transportistas entonces no hay prdidas cuantiosas.
Si no hay huelgas entonces no hay paro de transportistas ni prdidas cuantiosas.

La proposicin:

(a b) (c a)

es EQUIVALENTE a:

a) (a b) c

b) a (b c)

c) a (b c)

d) (a b) c

e) ((a b) c) a

La forma proposicional: p q p p q q p q q p es EQUIVALENTE


a:
a) q p
b) p
c) q
d) Elija esta opcin si la forma proposicional es siempre falsa.
e) Elija esta opcin si la forma proposicional es siempre verdadera.
Sea la proposicin: El autobs llega tarde, siempre que el conductor se haya desviado. Suponiendo
que la proposicin es verdadera. Entonces una proposicin EQUIVALENTE a la anterior, es:
a) Que el autobs llegue tarde es una condicin suficiente para que el conductor se haya desviado.
b) Una condicin suficiente para que el autobs llegue tarde es que el conductor se haya desviado.
c) Una condicin necesaria para que el autobs llegue tarde es que el conductor se haya desviado.
d) Si el autobs llega tarde, el conductor se ha desviado.
e) El autobs no llega tarde o el conductor se ha desviado.

8. La CONTRARRECPROCA de la proposicin:
Si EL NIO es un fenmeno o un desastre natural, entonces no es una simple lluvia o un mal
pasajero es:
a) Si EL NIO es una simple lluvia y no un mal pasajero, no es un fenmeno ni un desastre natural.
b) EL NIO no es un fenmeno ni un desastre natural, porque es un mal pasajero y no una simple lluvia.
c) EL NIO es un fenmeno, desastre natural, simple lluvia y un mal pasajero.
d) EL NIO no es un fenmeno ni desastre natural, si es una simple lluvia y un mal pasajero.
e) EL NIO no es una simple lluvia o un mal pasajero solo si no es un fenmeno.
8.

Si se da la proposicin:
"Si he estudiado mucho o me he preparado lo suficiente, entonces no dar un mal examen o mis
padres estarn contentos
Entonces su proposicin CONTRARRECPROCA es:
a) Si no doy un mal examen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
b) He estudiado mucho, me he preparado lo suficiente, no dar un mal examen y mis padres estarn
contentos.
c) Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal examen.
d) Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal examen y mis padres estn
contentos.
e) No dar un mal examen o mis padres estarn contentos slo si he estudiado mucho.

10. Dadas las proposiciones atmicas:

p : Me estoy baando.
r : Quiero dormir.

q : Me voy a una fiesta.


s : Estoy cansado.

Entonces, la CONTRARRECPROCA de la proposicin p r q s es:


a) Si me estoy baando y no quiero dormir, entonces, me voy a una fiesta y no estoy cansado.
b) No es verdad que me voy a una fiesta y estoy cansado y no me estoy baando o quiero dormir.
c) Si no me voy a una fiesta y estoy cansado, entonces no me estoy baando o quiero dormir.
d) Si no me estoy baando o quiero dormir, entonces me voy a una fiesta o estoy cansado.
e) Si me voy a una fiesta o no estoy cansado, entonces me estoy baando y no quiero dormir.

a b d d e es FALSA, entonces es VERDAD que:

11. Si la proposicin:
a) b a 0

b) e d 0
c) d a 0

d) a b 0
e) e a 0
12. Si la proposicin

p q r q es FALSA, entonces una de las siguientes proposiciones es

FALSA, identifquela:
a) p q r q 0
b) q r p q 0

c) r p r q 1
d)

p r q r 1

21

Lgica Matemtica

Moiss Villena Muoz


e) r q r p 0

13. Si la proposicin p q r r q es FALSA, entonces es VERDAD que:


a) El valor de verdad de p es verdadero.
b) El valor de verdad de q es verdadero.
c) El valor de verdad de p es falso.
d) El valor de verdad de r es falso.
e) El valor de verdad de p no puede ser definido.

1.7. RAZONAMIENTOS
OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Defiina razonamiento.
Defina razonamiento vlido.
Determine la validez de un razonamiento suponiendo que ste es falso.
Infiriera una conclusin vlida para un razonamiento, dadas las hiptesis.
Justifique la validez de un razonamiento.
Replantee un razonamiento cambiando la conclusin para que sea vlido en el caso de que no lo sea.

Bien ya podemos dedicarnos a una estructura lgica muy


importante, que es el objetivo que nos habamos propuesto.
El tipo de razonamiento que vamos a considerar estar
constituido por una enunciacin hipottica que tiene como antecedente
una conjuncin de hiptesis o premisas. Es decir, su estructura lgica
ser de la forma:
PREMISAS O HIPOTESIS

H 1 H 2 H 3 H n

CONCLUSIN

OPERADOR

PRINCIPAL

Estamos interesados en saber si un razonamiento es vlido o no,


es decir si la conclusin es lgicamente inferida de las hiptesis.
1.7.1. VALIDEZ DE UN RAZONAMIENTO

Un razonamiento es VLIDO cuando la forma


proposicional que se obtiene de la proposicin
molecular que lo define, es

TAUTOLGICA.

Es

decir una Implicacin Lgica.


Como la estructura lgica de los razonamientos presenta la forma
H C , entonces podemos dedicarnos a determinar si se produce el
siguiente caso H 1 y C 0 que es el nico caso cuando la implicacin
sera falsa, entonces no sera una tautologa y por tanto el razonamiento
no es vlido.

22

Lgica Matemtica

Moiss Villena Muoz

Ejemplo 1
Determine si el siguiente razonamiento es vlido o no:
"Si soy estudioso , aprobar el curso ; si soy bailarn, no aprobar el curso.
Por lo tanto, no puedo ser estudioso y bailarn al mismo tiempo"
SOLUCIN:
Considerando las proposiciones atmicas:

a : Soy estudioso
b : Aprobar el curso.
c : Soy bailarn.
El

razonamiento

se

traduce

al

lenguaje

formal

por

la

proposicin

a b c b a c .
Entonces la forma proposicional correspondiente sera p q r q p r

molecular:

Que debera ser tautolgica para que el razonamiento sea vlido. Podemos hacer toda la tabla de verdad, pero
para evitar tal trabajo nos dedicaremos a investigar si existe por lo menos un caso de falsedad.

p q r q p r



1
1 1
?
1 1

1
1

Para que la enunciacin hipottica sea falsa, se requiere que el antecedente sea verdadero mientras que el
consecuente es falso, para lo cual p r 0 entonces p r 1 ; esto significa que p 1 y

r 1 . Ahora examinando el antecedente, observamos que para que la primera hiptesis sea verdadera se
requiera que q 1 , pero la segunda hiptesis se hace falsa porque q 0 . Esto nos hace pensar que no
va a existir por lo menos una proposicin falsa, por lo tanto el razonamiento es VALIDO.

Ejemplo 2
Dadas las siguientes hiptesis:
H 1 : La Lgica es difcil o no les gusta a muchos estudiantes.

H 2 : Si la Matemtica es fcil, entonces la Lgica no es difcil.


Entonces una CONCLUSIN VLIDA es:
a) La Lgica es difcil.
b) La Matemtica es fcil.
c) Si la Matemtica no es fcil, a muchos estudiantes no les gusta la lgica.
d) Si a muchos estudiantes les gusta la lgica, la Matemtica no es fcil.
e) La Matemtica no es fcil o la lgica es difcil.
SOLUCIN:
Definamos las proposiciones:

a : La lgica es difcil.
b : La lgica les gusta a muchos estudiantes.
c : La Matemtica es fcil.
Entonces la traduccin de las hiptesis dadas seran:
H1 : a b
H 2 : c a
Cada opcin dada sera una posible conclusin, analicemos con cada una:
a) [(

p q ) ( r p )] p
1
0
0
0
0
1
1

No vlido

23

Lgica Matemtica

Moiss Villena Muoz

b) (

p q r p r
0
1
1
0 0
0
1

1
1

No vlido

1
c) [(

p q ) ( r p )] [ r q ]
0
1
0
1
1
1
1
0
0
0

d)

[(

p q ) ( r p )] [ q r ]
1
1
1
1
1
1
0
0
0

e) [(

No vlido

(Respuesta)

p q ) ( r p )] [ r p ]
1
0
1 0
0
0
0
1
1

VLIDO

No vlido

Ejercicios Propuestos 1.7


1. Con las proposiciones:

m : Yo gano las elecciones.


n : Guayaquil tiene autobuses articulados
p : Ustedes tienen transporte.

Se construye los siguientes razonamientos. Determine cual de ellos NO es vlido.


a)
m n n p m p
b)
c)
d)
e)

m n n p p n
m n m n
m n m n
m n n p p m

2. Dadas las siguientes premisas:

H 1 : Si veo mucha TV, entonces no tengo que estudiar.

H 2 : Veo mucha TV.


considerando las proposiciones:
p : Veo mucha TV y
Entonces una conclusin para un RAZONAMIENTO VLIDO es:
a) p
b) q
c) p q
d) p q
e) p q

q : Tengo tiempo para estudiar.

3. Dado el razonamiento P1 P2 P3 P4 C ; donde: P1 : Si estudio, aprender.


P2 : Si aprendo, aprobar el curso.

P3 : O practico tenis o no practico tenis.


P4 : No apruebo el curso.
Entonces una conclusin C que hace el RAZONAMIENTO VLIDO es:
a) Estudio
b) No estudio
c) Apruebo el curso
d) Aprendo

e) N.A.

4. Analice la VALIDEZ de los siguientes razonamientos:

24

Lgica Matemtica

Moiss Villena Muoz

a) Si t muestras la verdad, revelars lo ridculo de las pretensiones del hombre. Si el hombre es


prepotente, es porque no se ha revelado lo ridculo de sus pretensiones. El hombre es prepotente. Por
consiguiente, t no muestras la verdad.
b) Si Genaro tom el tren especial, entonces estuvo en el accidente, y si estuvo en el accidente, entonces
no asisti a la reunin. Genaro tom el tren especial o no asisti a la reunin. Luego, Genaro estuvo en
el accidente.
c) O Caldern tiene enemigos en la administracin o, si excede su cuota, recibir un ascenso. Caldern no
recibir un ascenso. Luego, Caldern tiene enemigos en la administracin o no exceder su cuota.
d) Si pago al sastre no me quedar dinero. Solamente puedo llevar a mi novia al baile si tengo dinero. Si
no la llevo al baile, se sentir desdichada. Pero si le pago al sastre, no me entregar el traje, y sin el
traje no puedo llevar a mi novia al baile. O le pago al sastre o no le pago. Luego, mi novia tendr que
sentirse desdichada.
5. Si se tiene un razonamiento con las siguientes premisas:
H 1 : Si el freno falla o el camino est helado, entonces el coche no parar

H 2 : Si el coche se revis, entonces no falla el freno.


H 3 : Pero el coche no se revis.
a)
b)
c)
d)
e)

Una conclusin que lo hace VLIDO es:


El coche no parar.
El freno falla y el camino no est helado.
Si no falla el freno y el camino no est helado, el coche parar.
El coche no parar o el camino no est helado.
Ninguna de las conclusiones es vlida.

6. Considere las siguientes hiptesis:


H 1 : El Banco del Progreso cerr sus puertas y sus clientes recuperarn su dinero.

H 2 : Si los clientes del Banco del Progreso recuperarn su dinero entonces no existe intranquilidad.
H 3 : El Banco del Progreso no cerr sus puertas o no existe intranquilidad.
Entonces una CONCLUSIN VLIDA para un razonamiento, es:
a) Si no existe intranquilidad entonces los clientes del Banco del Progreso no recuperarn su dinero.
b) El Banco del Progreso no cerr sus puertas.
c) No existe intranquilidad y los clientes del Banco del Progreso recuperarn su dinero.
d) Ni el Banco del Progreso cerr sus puertas, ni sus clientes recuperarn su dinero.
e) Ninguna de las conclusiones anteriores es vlida.
7. Considere las siguientes hiptesis:
H 1 : Ecuador adopt el sistema de sistema de dolarizacin y pretende mejorar su economa.

H 2 : Si Ecuador pretende mejorar su economa entonces no habr descontento social.

H 3 : Ecuador no adopt el sistema de dolarizacin o no habr descontento social


Entonces, una CONCLUSION VALIDA para un razonamiento es:
a) No habr descontento social y Ecuador pretende mejorar su Economa.
b) Ni Ecuador adopt el sistema de dolarizacin, ni pretende mejorar su Economa.
c) Ecuador no adopt el sistema de dolarizacin.
d) Si no hay descontento social entonces Ecuador no pretende mejorar su Economa.
e) Ninguna de las conclusiones anteriores es vlida.

Miscelneos
1.

2.

Si la forma proposicional p q r r q es FALSA, entonces es VERDAD que:


a) p es verdadera.
b) p es falsa y r es verdadera.
c) r es falsa.
d) El valor de verdad de p no puede ser definido.
e) q es verdadera.
Una de las siguientes proposiciones es VERDADERA, identifquela.
a) p q r p q r
b) p q r

p q r
c) p q r p q r
d) p q p q
e). q p p q
3.

Sean las proposiciones:


p : Todos los alumnos cumplen con sus obligaciones.

25

Lgica Matemtica

Moiss Villena Muoz

q : Todos los alumnos aprueban el examen.


r : El profesor recompensa a los alumnos con una semana de vacaciones.
Entonces la TRADUCCIN al lenguaje simblico de la proposicin:
Si todos los alumnos cumplen con sus obligaciones y logran aprobar el examen, el profesor
los recompensar con una semana de vacaciones; pero, si algn alumno resultara reprobado,
el profesor no adoptar esa medida;
es:
a)
q r r q r
b)
c)
d)
e)

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

4.

La NEGACIN de la proposicin: p q es:


a) p q
b) q p
c)
pq
d) p q
e) p q

5.

La TRADUCCIN al lenguaje formal de la proposicin: Si resuelvo bien el examen y no est difcil,


mis padres me felicitarn.
Siendo las proposiciones:
a: Yo resuelvo bien el examen.
b: El examen est difcil.
c: Mis padres me felicitarn.
Es:
a) a b c
b)
c)
d)
e)

a c
a b c
a b c
a b c

6.

La proposicin:
Junior es dbil, siempre que no coma pescado
es EQUIVALENTE a:
a) Junior es fuerte o come pescado.
b) Junior es dbil y come pescado.
c) Junior es dbil cuando come pescado.
d) Junior es fuerte o no come pescado.
e) Junior es dbil o come pescado.

7.

La CONTRARRECPROCA de la proposicin:
Si estudio y apruebo el Prepolitcnico, entonces estar alegre, es:
a) Si estoy alegre, entonces estudi y aprob el Prepolitcnico.
b) Estudio y estoy alegre, entonces aprobar el Prepolitcnico.
c) Si no estoy alegre, entonces no estudi o no aprob el Prepolitcnico.
d) Apruebo el Prepolitcnico y estoy alegre, porque estudi.
e) Si no he estudiado, entonces no aprobar el Prepolitcnico.

8.

pq
Considerando la forma proposicional
proposiciones es FALSA, identifquela.
a) La recproca es r s p q .

b)
c)
d)
e)
9.

r s .

Entonces una de las siguientes

La contrarrecproca es r s p q .
La inversa es p q r s .

La inversa es equivalente a p q r s .

La forma proposicional dada es equivalente a p q r s .

Una de las siguientes proposiciones NO ES TAUTOLGICA, identifquela.


p q q r p r
a)
b)
c)
d)
e)

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

26

Lgica Matemtica

Moiss Villena Muoz


10.

Considerando las siguientes proposiciones:


p : Daniel es feliz
q : Daniel estudia todos los das.
r : Daniel aprueba el prepolitcnico
Entonces la TRADUCCIN al lenguaje formal de: Daniel es feliz slo si estudia todos los das y aprueba
el prepolitcnico
Es:
a) r p q

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

b)
c)
d)
e)

11. La siguiente proposicin: La empresa no hace publicidad y no cambia su produccin siempre que la
demanda aumente es EQUIVALENTE a:
a) Si la empresa no hace publicidad y no cambia su produccin, entonces la demanda aumenta.
b) Si la empresa hace publicidad o cambia su produccin, entonces la demanda no aumenta.
c) Si la demanda no aumenta, entonces la empresa hace publicidad y cambia su produccin.
d) La empresa hace publicidad y cambia su produccin, o la demanda aumenta.
e) La empresa hace publicidad o, si cambia su produccin entonces la demanda no aumenta.
12. Dadas las siguientes premisas:
P1 : Si se paga el rescate, entonces los tcnicos petroleros aparecern vivos y retornarn a sus pases
de origen.

P2 : Si la polica interviene, entonces los tcnicos petroleros no retornarn a sus pases de origen.
P3 : Se paga el rescate.
Entonces una CONCLUSIN VLIDA para un razonamiento es:
a) Los tcnicos petroleros no aparecen vivos.
b) No se paga el rescate.
c) Si los tcnicos petroleros no retornan a sus pases de origen, entonces la polica interviene.
d) La polica interviene.
e) Los tcnicos petroleros no retornan a sus pases de origen.
13.

Dadas las proposiciones atmicas:


p : Voy a rendir el examen.
q : Me presento al examen.
r : Reprobar.
La TRADUCCIN al lenguaje formal de la proposicin "Voy a rendir el examen porque si no me
presento al examen entonces reprobar"
es:
a) q r p
b)
c)
d)
e)

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

14. Dada la proposicin:


"Juan asiste a clases de Matemticas siempre y cuando no tenga otras ocupaciones"
Entonces, su proposicin CONTRARECPROCA es:
a) Si Juan asiste a clases, entonces no tiene otras ocupaciones.
b) Si Juan tiene otras ocupaciones, entonces asiste a clases.
c) Si Juan no asiste a clases, entonces tiene otras ocupaciones.
d) Si Juan tiene otras ocupaciones, entonces no asiste a clases.
e) Si Juan no asiste a clases, entonces no tiene otras ocupaciones.
15. Dadas las siguientes premisas:
H1 : Si estudio mucha Lgica, entonces no reprobar el curso.

H 2 : Estudio mucha Lgica.


Entonces, la CONCLUSIN para un razonamiento vlido, es:
a) No estudio mucha Lgica.
b) Reprobar el curso.
c) Estudio mucha Lgica no reprobar el curso.
d) No estudio mucha lgica y estudio mucha Lgica.
e) No estudio mucha Lgica reprobar el curso.

27

Lgica Matemtica

Moiss Villena Muoz

16. Si la forma proposicional p q r p s t es FALSA. Entonces una de las


siguientes proposiciones es VERDADERA, identifquela.
a) p 1 0
b)
c)
d)
e)

s t 1
r p 0
p t s 1
s t 1

17. Considere las proposiciones:


a: La dolarizacin es un proceso adecuado para el pas.
b: El pas debe salir de la crisis econmica.
c: Las personas mantienen una mentalidad positiva.
La TRADUCCION al lenguaje formal de la siguiente proposicin:
"La dolarizacin es un proceso adecuado para el pas si las personas mantienen una mentalidad
positiva, pero si las personas no mantienen una mentalidad positiva, el pas no sale de la crisis
econmica."
Es:
a) c a a b
b)
c)
d)
e)

c a a c
a c b
c a c b
a b c

18. Considere la proposicin molecular:


" Es suficiente que Lul no quiera a Andrs para que si Lul termina con Juan entonces a ella no le
gustan los hombres feos".
Entonces una proposicin EQUIVALENTE es:
a) Es necesario que Lul termine con Juan o que le gusten los hombres feos para que no quiera a Andrs.
b) Lul quiere a Andrs pero no es verdad que termin con Juan o le gusten los hombres feos.
c) Es suficiente que Lul termine con Juan y le gusten los hombres feos para que quiera a Andrs.
d) Es suficiente que a Lul le gusten los hombres feos para que termine con Juan y quiera a Andrs.
e) Es necesario que Lul termine con Juan para que a Lul le gusten los hombres feos y quiera a Andrs.
19. Si se tiene un razonamiento con las siguientes premisas:
H1:La dolarizacin es difcil o no les gusta a muchas personas.
H2:Si las medidas econmicas son viables, entonces la dolarizacin no es difcil.
Una CONCLUSION que lo hace vlido, es:
a) La dolarizacin es difcil.
b) Las medidas econmicas son viables.
c) Si las medidas econmicas no son viables, a muchas personas no les gusta la dolarizacin.
d) Si a muchas personas les gusta la dolarizacin, las medidas econmicas no son viables.
e) Las medidas econmicas no son viables o la dolarizacin es difcil.
20.

Si se da la proposicin:
"Si he estudiado mucho o me he preparado lo suficiente, entonces no dar un mal examen o mis
padres estarn contentos
Entonces su proposicin CONTRARECIPROCA es:
a) Si no doy un mal examen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
b) He estudiado mucho, me he preparado lo suficiente, no dar un mal examen y mis padres estarn
contentos.
c) Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal examen.
d) Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal examen y mis padres estn
contentos.
e) No dar un mal examen o mis padres estarn contentos slo si he estudiado mucho.

28