Matemticas - Gua 1 Proposiciones

LOGROS:
1.
2.
3.
4.
5.

Reconoce el concepto e proposicin.

Clasifica las proposiciones en simples y compuestas.
Resuelve proposiciones compuestas utilizando los conectivos lgicos.
Halla el valor de verdad de una proposicin a travs de la conjuncin, disyuncin e implicacin.
Construye la tabla de verdad de una proposicin compuesta.

PREPARATE:
1.

Para que la proposicin abierta x + 5 < 10 tenga valor de verdad falso, x debe reemplazarse por:
a) 2
b) 3
c) 4
d) 5

2.

Escribir el signo +, -, x o /, para que las expresiones sean proposiciones verdaderas.

a)
b)
c)
d)

3.

5 ____ 3 = 8
28 ___ 7 = 4
12 ___ 4 = 36
25 ___ 12 = 13

Cules de los siguientes enunciados puede considerarse como proposiciones?

a)
b)
c)
d)
e)
f)
g)
h)
i)

Un tringulo es un polgono de tres ngulos.

La filosofa es triangular.
Un cuadrado es una figura plana de cuatro lados.
Un cuadrado es un polgono de cuatro ngulos rectos.
Un rectngulo es un polgono de cuatro ngulos rectos.
Medelln es ciudad de eterna primavera.
Un rectngulo es una figura verde.
Todas las naranjas son amarillas.
Algunas manzanas son rojas.

rea de Matemticas

Pgina 1 de 7

Matemticas - Gua 1 Proposiciones

Proposiciones
La lgica es toda una disciplina en la que las recesiones y el razonamiento son fundamentales. Es estudiada tambin por la filosofa, pero, aqu
nos referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el que se desarrolla toda esta teora se llama proposicin. De todo
lo anterior una proposicin es una oracin con sentido completo de la cual se puede determinar que es cierta o que es falsa. Ejemplo:
1.
2.
3.
4.
5.

La sal es un compuesto qumico

10 < 14
13 es un nmero impar
El sol sale de noche
45 + 5 = 30

Las oraciones 1, 2, 3, 4 y 5. Son proposiciones aunque no todas son verdaderas siguen siendo proposiciones. A esta propiedad de las
proposiciones de ser verdadera o falsa se le llama valor de verdad.
Las expresiones: Vendrs a mi casa esta tarde? Y m + 3 = 5 no son proposiciones, pues no se puede decir si son falsas o verdaderas. Las
proposiciones se representan con letras minsculas, usualmente p, q, r, s, t,..
As, la proposicin Colombia est ubicada Europa se representa por:
p: Colombia est ubicada Europa
y la proposicin 5 + 3 = 8 se representa:
q: 5 + 3 = 8
El valor de verdad de una proposicin se determina asignndole los adjetivos Verdadero (V) o Falso (F), segn corresponda.

Proposiciones Simples
Una proposicin simple es una afirmacin que consta de una sola oracin gramatical, es decir no tieie palabras de enlace tales como: y, o,
entonces, si y solo si, entre otras. Por ejemplo, son proposiciones simples
r: 5 es divisor de 30.
s: Marte es el planeta ms pequeo.

Negacin de las proposiciones simples:

Una proposicin simple se niega anteponindole la frase no es cierto que o agregando la palabra no, con el fin de significar lo contrario.
Si p representa una proposicin simple, la negacin de esta proposicin se simboliza ~p; se lee no p y su valor de verdad ser contrario al valor
de verdad de la proposicin inicial. Por ejemplo:

Proposicin

Si p: 5 es divisor de 30. (V).

Negacin

~p No es cierto que 5 es divisor

rea de Matemticas

Si r: Un triangulo tiene cuatro lados (F)

de 30. (F).

~r: No es cierto que un triangulo tiene

cuatro lados (V).

Pgina 2 de 7

Matemticas - Gua 1 Proposiciones

Proposiciones compuestas y conectivos lgicos
Proposiciones compuestas
Una proposicin compuesta es una afirmacin que consta de dos o ms proposiciones simples unidas por los conectores: y, o, si, entonces, si y
solo si y no. Por ejemplo las siguientes afirmaciones son proposiciones compuestas:
Bogot es la capital de Cundinamarca y Neiva es la capital de Huila; la nariz es un rgano de los sentidos o la nariz sirve para oler; si me llamo
Pedro, entonces, mi nombre empieza con p; El equipo clasifica si y solo si gana.

Conectivos lgicos
Se llaman conectivos lgicos a las partculas de enlace usadas para unir dos o ms proposiciones simples.
Cada conectivo lgico tiene un smbolo que lo representa y recibe un nombre especial por la funcin que desempea dentro de la proposicin.
As en la proposicin, Pedro camina y come, el conectivo lgico es la y; en la proposicin: si un polgono tiene tres lados, entonces es un
triangulo, el conectivo lgico es si entonces
Conectivo lgico
Y
O
Si entonces
Si y solo si
Negacin

Notacin

Nombre
Conjuncin
Disyuncin
Implicacin
Equivalencia
Negacin

Conjuncin
Anteriormente vimos que la unin de proposiciones simples da lugar a proposiciones compuestas. El primer caso que veremos de proposiciones
compuestas ser la conjuncin.
Cuando dos proposiciones simples se combinan mediante la palabra y , la proposicin compuesta resultante se le llama conjuncin.
La conjuncin de dos proposiciones p y q se simboliza:
q y se lee p y q
As p: 5 es un numero primo y q: 16 es un numero compuesto, la conjuncin de las proposiciones p y q es:
q: 5 es un numero primo y 16 es un numero compuesto.

Valor de verdad en la Conjuncin

El valor de verdad en una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la componen.
Se sabe que una proposicin simple puede ser verdadera o falsa. Por esta razn si p y q son dos proposiciones simples, los valores de verdad de
q son cuatro, si se tienen en cuenta las relaciones que se pueden establecer entre esos valores de verdad de las proposiciones simples. As,
Si p y q son verdaderas, entonces q es verdadera.
Si p es verdadera y q es falsa, entonces q es falsa.
Si p es falsa y q es falsa, entonces q es falsa
Podemos concluir fcilmente que una conjuncin es verdadera solo cuando las proposiciones simples que la componen son verdaderas.
Veamos lo anterior en una tabla para comprenderlo ms fcilmente:
TABLA DE VERDAD DE LA CONJUNCIN

rea de Matemticas

V
F

F
V

F
F

Pgina 3 de 7

Matemticas - Gua 1 Proposiciones

Disyuncin
Recibe el nombre de disyuncin de dos proposiciones simples p y q, la proposicin que se obtiene al enunciar p seguida de q, unidas por la
partcula de enlace o.
La disyuncin de dos proposiciones p y q se simboliza:
p q y se lee p o q.
As, si
P: 3 es un numero par y q: 24 es un numero primo, la disyuncin de las proposiciones p y q es:
p q: 3 es un nmero par o 24 es un nmero primo.
La disyuncin es falsa solo cuando las proposiciones que la componen son falsas.

Veamos la tabla de verdad de la Disyuncin para comprenderla ms fcilmente:

TABLA DE VERDAD DE LA DISYUNCIN

F
F

V
F

V
F

Implicacin
Se llama implicacin de dos proposiciones p y q, a la proposicin que se obtiene al enunciar q a continuacin de p, unidas por la partcula de
enlace si entonces. En la implicacin, existe una relacin de dependencia entre p y q, que perite afirmar que la proposicin p implica la
proposicin q; o que la proposicin q se reduce lgicamente a la proposicin p.
La implicacin entre las proposiciones p y q se simboliza:
p

q, y se puede lee: p implica q; si p entonces q; q se reduce lgicamente de p.

En la implicacin p q, p es condicin suficiente para que q suceda; y q es condicin necesaria para que p ocurra. Adems, p recibe el
nombre de antecedente o hiptesis y q recibe el nombre de consecuente o tesis.

Valor de verdad en la Implicacin

Si p y q son dos proposiciones simples, los posibles valores de verdad de p
mejor este concepto.

q son cuatro. Analicemos el siguiente ejemplo para comprender

Juan le dice a su hijo: Si apruebas el examen, entonces sales a cine.

1. El hijo aprueba el examen y va al cine. En este caso, aprobar el examen es condicin suficiente para ir al cine. La proposicin es
verdadera.
P y q son verdaderas, p q es verdadera
2.

El hijo aprueba el examen, pero no va a cine. En este caso, aprobar el examen no es condicin suficiente para ir al cine. La
proposicin es falsa.
Si p es verdadera y q es falsa, p qes falsa.

3.

El hijo no aprueba el examen, pero el va a cine. En este caso observamos que aprobar el examen era condicin suficiente pero
no necesaria para ir a cine. La proposicin es verdadera.
Si p es falsa y q es verdadera, p q es verdadera.

4.

El hijo no aprueba el examen y no va al cine. En este caso, no se d la condicin suficiente (aprobar el examen), y, como
consecuencia, el hijo no va a cine. La proposicin es verdadera.
Si p es falsa y q es falsa, p q es verdadera.

rea de Matemticas

Pgina 4 de 7

Matemticas - Gua 1 Proposiciones

A partir del anlisis de la proposicin: Si apruebas el examen,, entonces, sales a cine, los valores de verdad de la implicacin se
pueden escribir en una tabla de verdad.
La implicacin es falsa, solo cuando el antecedente p es verdadero y el consecuente q es falso.
Veamos la tabla de verdad de la Implicacin para comprenderla ms fcilmente:
TABLA DE VERDAD DE LA IMPLICACIN

V
V
F
F

V
F
V
F

V
F
V
V

Equivalencia
Dos proposiciones p y q son equivalentes, cuando p es condicin necesaria y suficiente para q y a su vez, q es condicin necesaria y suficiente
para p.
Es decir, p q y q p se cumplen simultneamente.
La equivalencia de las proposiciones p y q se simboliza:
q q y se lee p si y solo si q.
Por ejemplo:
Se puede formar una equivalencia con las proposiciones:
j: El polgono es un triangulo y r: El polgono tiene tres lados. As,
r: El polgono es un triangulo, si y solo si tiene tres lados.
En efecto, ser triangulo es condicin necesaria y suficiente para tener tres lados, y a su vez, tener tres lados es condicin necesaria y
suficiente para ser triangulo.

Valor de verdad de la equivalencia

La equivalencia es verdadera, slo cuando las dos proposiciones son verdaderas o las dos son falsas.
Los posibles valores de verdad de la equivalencia se pueden observar con facilidad, en la tabla de verdad presentada a continuacin:
TABLA DE VERDAD DE LA EQUIVALENCIA

rea de Matemticas

V
F

F
V

F
F

Pgina 5 de 7

Matemticas - Gua 1 Proposiciones

1.

Repasa la teora
Responde las siguientes preguntas:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)

2.

Qu son proposiciones?
Qu son proposiciones simples?
Qu son proposiciones compuestas?
Qu es el valor de verdad de una proposicin?
Cmo se representan las proposiciones simples?
Cules son los elementos de enlace y para qu sirven?
Qu es una tabla de verdad?
La proposicin compuesta que utiliza el trmino de enlace y es una?
La proposicin compuesta que utiliza el trmino de enlace no se llama?
La proposicin situada antes del trmino de enlace en una proposicin condicional se llama?
La proposicin situada despus del trmino de enlace en una proposicin condicional se llama?

Subraya cuales de las siguientes expresiones son proposiciones.

a)
b)
c)
d)
e)

3.

Enero es el primer mes del ao.

Qu da es hoy?
2 + 7 = 10
Estoy muy cansado!
Armando est estudiando

Simboliza cada una de las proposiciones y asgnale su valor de verdad:

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

4.

5 es un nmero par
4 x 5 = 20
Ocho aumentado en catorce es igual a veintids
Un rectngulo tiene cuatro ngulos rectos.
El ro amazonas no pasa por Colombia
Las ranas no son animales anfibios

Analiza Analiza las proposiciones que aparecen a continuacin:

proposicin

a)
b)
c)
d)

rea de Matemticas

2 es un nmero primo

Negacin de
la proposicin

2 no es un nmero primo

Negacin de
la negacin

( p)

No es cierto que 2 no es un nmero

primo

Asigna el valor de verdad a cada una de las proposiciones anteriores.

Qu significa negar una proposicin?
Compara p con ( p) Qu ocurre cuando niegas una proposicin que ya est negada?
Niega las proposiciones del ejercicio anterior y asigna el valor de verdad

Pgina 6 de 7

Matemticas - Gua 1 Proposiciones

5.

Construye las proposiciones compuestas a partir de las siguientes proposiciones simples:

p: 2 es divisor de 6
q: 6 es mltiplo de 2
r: el producto de 2 y 3 es 6.
a)
b)
c)
d)
e)
f)
g)
h)

6.

p
q
r

q:
r:
p:

p
q:
p q:
(p q) r :
(p q) r :
( p
q)
r:

Completa el valor de verdad en cada una de las siguientes tablas.

rea de Matemticas

Pgina 7 de 7