Beruflich Dokumente
Kultur Dokumente
LOGROS:
1.
2.
3.
4.
5.
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.
3.
5 ____ 3 = 8
28 ___ 7 = 4
12 ___ 4 = 36
25 ___ 12 = 13
rea de Matemticas
Pgina 1 de 7
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.
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.
Proposicin
Negacin
rea de Matemticas
Pgina 2 de 7
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.
rea de Matemticas
V
F
F
V
F
F
Pgina 3 de 7
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
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.
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
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.
rea de Matemticas
V
F
F
V
F
F
Pgina 5 de 7
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?
3.
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
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)
Pgina 6 de 7
6.
p
q
r
q:
r:
p:
p
q:
p q:
(p q) r :
(p q) r :
( p
q)
r:
rea de Matemticas
Pgina 7 de 7