Taller I.

de Matemáticas Generales
Alba Lorena Silva S.
Universidad del Cauca

13 de agosto de 2014

Introducción

Se inicia la aventura de recordar y re-aprehender algunos fundamentos matemáticos que se deben

haber sido desarrollados a lo largo de la formación básica y media; este curso, abundante en contenidos,
necesita de la constancia, paciencia, dedicación y persistencia de los asistentes, para cada uno de los
temas abordados. En esta asignatura se pretende mostrar la importancia del conocimiento matemático
en la interpretación de diferentes fenómenos físicos, biológicos, económicos, de la cotidianidad, entre
otros.
Este curso inicia presentando algunos tópicos de la lógica proposicional, los cuales son útiles para
abordar la Teoría de Conjuntos y los dos tipos de demostraciones (demostración directa e indirecta)
que se utilizan en Matemáticas para sustentar la validez de cualquier resultado. Esta guía de estudio
contiene de…niciones, ejemplos y plantea algunas actividades que permiten a…anzar el tema enunciado.

SEAN TOD@S BIENVENID@S

para
Taller01

1 :jpg
Imagen tomada en
http://recursoseducativos1ciclo-
isanaji.wikispaces.com/…le/view/dibujo.JPG/155805641/dibujo.JPG

Fundamentos de la lógica proposicional

1
En el desarrollo de cualquier teoría, se hacen a…rmaciones, en forma de oraciones, tales a…rmaciones,
denominados enunciados (o proposiciones), son expresiones declarativas que son verdaderas o fal-
sas (pero no ambas). En el contexto de la lógica proposicional, estas proposiciones se representan
utilizando letras minúsculas p, q, r etc.

p :La célula es la unidad funcional básica

q :El primer semestre de Biología tiene cinco asignaturas.
r :Marzo tiene 30 días
s :!Qué bonita tarde!
w :Lleva esta nota a la Decanatura.

Los primeros enunciados son proposiciones, a diferencia de s y w que no son proposiciones debido a
que s es una exclamación y w es un mandato. Las proposiciones p; q y r se consideran proposiciones
primitivas o simples, debido a que no se pueden descomponer en algo más sencillo. Toda proposición
se puede negar y su negación es una nueva proposición con valor de verdad contrario a la original; la
negación de una proposición p, se simboliza como :p (o p).

T abla de V erdad
p :p
V F
F V

p : La célula es la unidad funcional básica

:p :La célula no es la unidad funcional básica
r : Marzo tiene 30 días.
:r :Marzo tiene 31 días
La combinación de dos o más proposiciones simples, mediante los conectivos lógicos, genera una
proposición compuesta. Los conectivos lógicos son:

1. La conjunción de dos proposiciones p; q se denota por p ^ q, lo cual se lee "p y q". En nuestro
ejemplo, la proposición compuesta p ^ q :La célula es la unidad funcional básica y el primer
semestre de Biología tiene cinco asignaturas.

2. Le expresión p _ q denota la disyunción de cualquier par de proposiciones y se lee como "p o

q". Por tanto p _ q :La célula es la unidad funcional básica o el primer semestre de Biología tiene
cinco asignaturas. Para que esta proposición sea verdadera es necesario que al menos una de las
proposiciones sea verdadera. La disyunción exclusiva, dentada por p Y q; es verdadera si una
u otra, pero no ambas proposiciones son verdaderas.

p : Juan tiene sangre tipo A

q : Juan tiene sangre tipo B
^
p Y q : Juan tiene sangre tipo A o B

3. La implicación es un conectivo lógico que con frecuencia aparece en los diversos enunciados
matemáticos. Decimos que "p implica a q" y lo simbolizamos mediante p ! q para designar la
proposición que es la implicación de q por p. Las acepciones de la implicación son

a) Si p, entonces q (p se denomina antecedente o hipótesis de la implicación, q consecuente o conclusión)

 b) p es su…ciente para q
c) p es una condición su…ciente para q
d) p sólo si q
e) q es necesario para p
f) q es una condición necesario para p
p ! q : Si La célula es la unidad funcional básica entonces
El primer semestre de Biología tiene cinco asignaturas
Nota: Cuando el antecedente no tiene relación directa con el consecuente la ‡echa es simple,
en caso contrario es doble. Consideremos el siguiente ejemplo:

t : El primer semestre tiene más de 16 créditos

q ) t : Si El primer semestre de Biología tiene cinco asignaturas entonces
tiene más de 16 créditos
4 Por último, el bicondicional de dos proposiciones p y q, se denota por como p $ q y se lee "p
sí y sólo si q", o "p es necesario y su…ciente para q", o "p sii q"
q , t : El primer semestre de Biología tiene cinco asignaturas si y solo si
tiene más de 16 créditos

TABLAS DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS

p q p^q p_q pYq p)q p () q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

ACTIVIDAD No 1.

1. Escriba, al menos, cinco proposiciones simples considerando como tema central la elección de su
carrera profesional (no olvide la designación de ellas).
2. Si p es una proposición simple, ¿ por qué :p no es una proposición compuesta?
3. Se dice que una proposición compuesta es una Tautología, si y sólo si el valor de todas sus
salidas es verdadero, una tautología se denota por T0 . De otro lado si una proposición compuesta
es falsa para todas las asignaciones, decimos que la proposición es una Falacia o Contradicción
y se simboliza F0 .
p :p : (:p) p , : (:p) p , :p
V F V V V F F
F V F V F F V
La anterior Tautología de denomina Ley de la doble negación
4. Muestre que las siguientes proposiciones compuestas son tautologías:

a)
 (p _ q) , (q _ p) d ) (p ) q) , (:p _ q)
b) [: (p ^ q)] , [:p _ :q] e) [p ^ (q _ r)] , [(p ^ q) _ (p ^ r)]
c) [: (p _ q)] , [:p ^ :q] f ) [p _ (q ^ r)] , [(p _ q) ^ (p _ r)]

!Felicitaciones! acaba usted de demostrar de forma directa, las primeras leyes de la lógica
proposicional.

5. Considera:

p : Borondongo le pegó a Mochilanga:

q : Mochilanga le pegó a Bernabé

La proposición q ) p se denomina la recíproca de p =) q; a (:q ) :p) se le denomina la

contrarrecíproca de p ) q: La inversa de la proposición p ) q es la proposición :p ) :q

a) Escriba la implicación, la recíproca, la inversa y la contrarrecíproca utilizando las proposi-

ciones anteriores.
b) Demuestre que (p ) q) , (:q ) :p) es una tautología. (Esto signi…ca que la implicación
es equivalente con la contrarrecíproca; la primera es el principio lógico de una demostración
directa, la segunda es el principio lógico de una demostración indirecta)
c) Sean p; q; r proposiciones primitivas, escriba la recíproca, la inversa y la contrarrecíproca
de las siguientes proposiciones
1) p ! (q ^ r)
2) (p _ q) ! r
d ) En cada uno de los siguientes casos, complete el espacio en blanco con la palabra recíproca,
inversa o contrarrecíproca, de modo que el resultado sea una proposición verdadera.
1) La recíproca de la inversa de p ! q es la _______________________ de
p!q
2) La recíproca de la inversa de p ! q es la _______________________ de
q!p
3) La inversa de la recíproca de p ! q es la _______________________ de
p!q
4) La inversa de la recíproca de p ! q es la _______________________ de
q!p
5) La recíproca de la contrarrecíproca de p ! q es la _________________ de
p!q

6. Escriba la recíproca y la contrarrecíproca de las siguientes proposiciones:

a) Que un cuadrilátero tenga cuatro lados iguales, es una condición necesaria para que sea un
cuadrado.
b) Que un triángulo tenga dos lados iguales, es condición su…ciente para que sea isósceles.
c) Si un función f es continua en un intervalo I entonces f es integrable en I.
d ) Si una función f es derivable en un punto entonces f es continua en dicho punto.
e) Si f es una función par entonces f (x) = f ( x):
 f ) Si a 6= b entonces f (a) 6= f (b) :

LAS LEYES DE LA LÓGICA

Para cualesquiera proposiciones primitivas p; q; r, cualquier tautología T0 y cualquier contradicción F0 ;

tenemos las siguientes equivalencias lógicas:

1. ::p , p Ley de la doble negación

2. : (p ^ q) () :p _ :q Leyes de De Morgan
: (p _ q) () :p ^ :q
3 p ^ q () q ^ p Leyes Conmutativas
p _ q () q _ p
4 (p ^ q) ^ r () p ^ (q ^ r) Leyes Asociativas
(p _ q) _ r , p _ (q _ r)
5 p _ (q ^ r) () (p _ q) ^ (p _ r) Leyes Distributivas
p ^ (q _ r) () (p ^ q) _ (p ^ r)
6 p^p,p Leyes Idempotentes
p_p,p
7 p _ F0 , p Leyes del Neutro
p ^ T0 , p
8 p ^ :p , F0 Leyes Inversas
p _ :p , T0
9 p _ T0 , T0 Leyes de Dominación
p ^ F0 () F0
10 p ^ (p _ q) , p Leyes de absorción
p _ (p ^ q) , p

Ahora, miremos las bondades de estas propiedades en un desarrollo argumentativo:

Para proposiciones primitivas p, q ; la proposición compuesta (p _ q) ^ : (:p ^ q) , p

(p _ q) ^ : (:p ^ q) Justif icacion

, (p _ q) ^ (::p _ :q) Ley de De M organ
, (p _ q) ^ (p _ :q) Ley de la doble N egacion
, p _ (q ^ :q) Ley Distributiva
, p _ F0 Ley de la inversa
,p Ley del neutro

Actividad No. 2

1. Utilice las leyes de la lógica proposicional para demostrar las siguientes equivalencias lógicas

a) Para proposiciones primitivas p; q

[(p _ q) ^ (p _ :q)] _ q , p _ q

b) Para proposiciones primitivas p; q y r

: [: [(p _ q) ^ r] _ :q] , q ^ r
 c) Para proposiciones primitivas p; q; r y t

(p _ q _ r) ^ (p _ t _ :q) ^ (p _ :t _ r) , p _ [r ^ (t _ :q)]

d ) Para proposiciones primitivas p; q y r

[p _ (q ^ r)] _ : [p _ (q ^ r)] , T0

2. Sabemos que (p ) q) , (:p _ q) ; utilice esta equivalencia para encontrar

a) : (p ) q)
b) : (p , q)
c) Muestre que (p Y q) , : (p () q) es una tautología.

3. Utilizar las leyes del álgebra proposicional para simpli…car las siguientes expresiones, en cada
caso determine si es tautología, contradicción o indeterminada:

a) [ (p ^ q) ^ p] ! (p _ q) c) (p ! q) ! (p ^ q)
b) [p^ (p ^ q)] ^ (p_ q) d ) (p ! q) ! [(p_ q) ! (p ^ q)]

4. Exprese en lenguaje simbólico las proposiciones dadas a continuación y luego negarlas:

a) Si Luis ha venido demasiado tarde y Juan demasiado pronto, entonces el Sr. pérez está
enfadado.
b) Si el Sr. pérez está enfadado , entonces Luis ha venido demasiado tarde o Juan ha venido
demasiado pronto.
c) Si Panamá está en América Central y Colombia no está al sur de Venezuela, entonces ni
Panamá está en América Central ni Quito es la capital de Ecuador.
d ) Todos los días llueve o hace calor.
e) Ningún número par es primo.
f ) Algunos mamíferos son acuáticos.
g) Ningún gato es blanco.
h) Algunas mujeres son altas.

5. Se de…ne la conectiva "Nand .o "No y çomo: (p " q) , : (p ^ q) : Podemos utilizar esta

conectiva para representar cualquier proposición solo utilizando esta conectiva. Por ejemplo:

:p () : (p ^ p) Ley idempotente
: (p ^ p) , (p " p) : de…nición de la
conectiva Nand

representa cada una de las siguientes proposiciones, utilizando la conectiva Nand.

a) p _ q
b) p ^ q
c) p ! q
d) p $ q
6. Determine el valor de verdad de las siguientes proposiciones, justi…que su respuesta.

a) 8m 2 Z; 9n 2 Z : 2n = m
b) 8x 2 R; 9y 2 R : xy = 1
c) 9x 2 R; 8y 2 R : (x + y)2 = x2 + y 2
d ) 8x; y 2 Z : x < y ) 9z 2 Z : x < z < y:

7. Niegue las proposiciones del punto anterior.