Académique Documents
Professionnel Documents
Culture Documents
MATEMTICAS
INTRODUCCION
MATEMTICAS
INTRODUCCION
Poseemos mentalidad lgica o no
Como llegar a ser mas lgicos
Lgica aristotelica
lgica base
Lgica
Lgica Simbolica.
MATEMTICAS
Lgica y Conjuntos
La lgica es un mtodo de razonamiento que no
acepta conclusiones errneas.
Esto se puede lograr definiendo en forma
estricta cada uno de los conceptos.
Todo debe definirse de tal forma que no d
lugar a dudas o imprecisiones en la veracidad
de su significado. Nada puede darse por
supuesto
Lgica y Conjuntos
Una proposicin es una unidad semntica que, o
slo es verdadera o slo es falsa.
oraciones que no son falsas ni verdaderas, las que son
falsas y verdaderas al mismo tiempo, o las que
demuestran algn tipo de imprecisin carecen
desentido , no son objeto de estudio de la lgica.
5 es un nmero primo.
- 17 + 38 = 21.
Todos los nmeros enteros son
positivos.
Vicente Rocafuerte fue
Presidente del Ecuador.
Lgica y Conjuntos
Cuando deseamos establecer una verdad
Cuando queremos convencer a alguien de que
nuestra posicin o nuestras ideas son las
correctas, recurrimos a un razonamiento o
presentamos evidencia que respalda nuestras
opiniones.
Lgica y Conjuntos
Un argumento es un conjunto de una o mas
oraciones. La ltima de ellas se denomina
conclusin, las anteriores se llaman premisas.
Verdadero se lo asocia con: 1, V, T, True;
mientras que falso se lo asocia con: 0, F, False.
Verdad y falsedad pueden considerarse
simplemente como los valores lgicos
Lgica y Conjuntos
Lgica y Conjuntos
Tablas de Verdad
Una tabla de verdad es una representacin de
los posibles valores de verdad que podra
tomar una proposicin.
Las tablas de verdad sirven para mostrar los
valores, las relaciones y los resultados posibles
al realizar operaciones lgicas.
Tablas de Verdad
La cantidad de combinaciones (filas de la tabla
de verdad) depende de la cantidad de
proposiciones presentes en la expresin lgica.
Resumen
Proposicin(oracin):
Conectores
Negacion
Conjuncion
Disyuncion
Condicional
Negacin
Si p es una proposicin,
entonces no p es la
negacin de p y se
denota por:
~p
Ejemplo:
p: Hoy es martes
~ p: Hoy no es martes
Qu sucede con la
negacin de p, siendo
p verdadero?
Qu sucede con la
negacin de p, siendo
p falso?
Negacin
Esto lo podemos
escribir de una
manera
compacta,
utilizando una
tabla
A esta tabla se le
llama tabla de
certeza de la
negacin
~p
Negacin
Como sinnimos de no, se utilizan las
siguientes expresiones:
No es cierto que ..
No es el caso que
Es falso que
No sucede que.
Conjuncin
Si p y q son
proposiciones, se llama
conjuncin de p y q a la
proposicin compuesta
p y q y se denota por:
pq
Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: maana es mircoles
p q :Hoy es martes y la
luna es cuadrada
p r :Hoy es martes y
maana es mircoles
Conjuncin
Para construir la
tabla de p q,
debemos considerar
las diferentes
alternativas de
valores de verdad
para p y para q:
Cules son ?
Ambas verdaderas
una V y la otra F
ambas falsas
pq
Conjuncin
SE TOMAN COMO SINNIMOS DE LA
CONJUNCIN:
Adems
Tambin
Pero
An
Sin embargo
A la vez
Aunque
No obstante
Conjuncin: p ^ q
LA CONJUNCIN
Es un enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo y , cuyo
smbolo es y se llama conjuntor.
Ejemplo: Jorge viaj a Madrid y Luis viaj a Quito
p
p : Jorge viaj a Madrid
q : Luis viaj a Quito
q
Simbologa: p q
Conjuncin: p ^ q
No siempre y denota una conjuncin
Ejemplo:
Jenny y Sandra son hermanas
Esta es una proposicin (simple), en donde el y
permite establecer la relacin entre los sujetos.
Disyuncin
Si p y q son
proposiciones,
se llama
disyuncin de p
y q a la
proposicin
compuesta p
o q y se
denota por:
p q
pq
Disyuncin
pq
p: Ser chef
q: Ser doctor
Simbolizacin:
p q
o en Machala
q
Simbologa: p q
DISYUNCIN FUERTEE
Condicional
Si p y q son
Ejemplos:
proposiciones, se llama
Si no llueve (entonces)
condicional de p y q a la
iremos a la playa
proposicin compuesta
si p, entonces q y se Si me gano la lotera
(entonces) me voy de
denota por:
viaje
pq
Si no estudio (entonces)
no aprobar Lgica
Condicional
Veamos la tabla del
condicional:
pq
pq
Conviene pensar en
una promesa ..... Si
no llueve (entonces)
iremos a la playa
Condicional
El condicional es
falso, slo cuando el
antecedente es
verdadero y el
consecuente es
falso; es decir,
cuando la promesa
no se cumple.
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Condicional - Implicador
Ejemplo: Si 12 es un nmero par entonces es divisible entre 2
q
p
p : 12 es un nmero par . (antecedente)
q : 12 es un nmero divisible entre 2 (consecuente)
La suma de las cifras de 426 es mltiplo de 3, por consiguiente es divisible entre 3
(antecedente) p
(consecuente) q
(consecuente) q
(antecedente) p
Simbologa: p q
Condicional
El condicional es muy
importante en
matemticas, porque
los Teoremas se
expresan en forma
condicional.
Un Teorema ser un
condicional verdadero
con hiptesis
verdadera
p
V
q
V
pq
V
Condicional
Algunas expresiones del lenguaje que indican la
presencia de un condicional (p q), son las
siguientes:
p es condicin suficiente para q
Si p, q
q si p
Que p supone que q
Cuando p, q
q es condicin necesaria para p
En caso de que p entonces q
q slo si p
Si es Cuencano, es Morlaco (p q)
Es Morlaco, siempre que sea Cuencano
Es Morlaco si es Cuencano
Es suficiente que sea Cuencano para que sea
Morlaco
Siempre y cuando sea Cuencano, ser Morlaco.
Es necesario que sea Morlaco para ser
Cuencano
TODAS ESTAS EXPRESIONES SE SIMBOLIZAN
COMO: p q
Partes de un condicional
p q
antecedente
Condicin
suficiente
consecuente
Condicin
necesaria
Formas derivadas
Directo
Recproco
~p
~q
~q
Contrario
~p
Contrarrecproco
recprocos
contrarrecprocos
contrarios
Condicional y Teoremas
En los Teoremas, al antecedente del condicional
(p) se le llama Hiptesis y al consecuente (q) se
le llama Tesis o Conclusin
Los Teoremas requieren de una demostracin;
es decir, partiendo de una hiptesis verdadera,
hay que demostrar que la Conclusin es
verdadera.
El Bicondicional
Enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo ..si y slo si.,
cuyo smbolo es llamado doble implicador.
Ejemplo: Baltra es una isla si y slo si est rodeada de agua
p
p : Baltra es una isla
q : Baltra est rodeada de agua
q
Simbologa: p q
Bicondicional
p
Tablas de verdad
Recordemos que el valor de certeza de una
proposicin compuesta depende de los valores
de certeza de las proposiciones simples que la
componen
Para analizar los valores de certeza de una
proposicin compuesta, representamos todas
las posibilidades de valores de verdad de las
proposiciones simples, en un arreglo de tabla
q
V
F
V
F
~q
F
V
F
V
pq
V
F
F
F
p~q
F
V
V
V
(pq)(p~q)
F
F
F
F
En resumen
Una tabla de verdad para
proposiciones compuestas que
contienen:
1 proposicin simple tendr 2 filas
2 proposiciones simples
3 proposiciones simples
4 proposiciones simples
4 = 22 filas
8 = 23 filas
16= 24 filas
razonando inductivamente..
n proposiciones simples
2n filas
1.
2.
3.
Tabla Resumen
Conector
Valor de
verdad
Condicin
Si el antecedente es verdadero y
el consecuente es falso
Si la proposicin es falsa.
rp
qp
~(qp)
(r p) ~(qp)
Ejercicio de Practica
Si se conoce que: (q r) p es FALSA
Determinar el valor de verdad de:
(r p) (p r)
Ejemplo
Hallar las formas derivadas del siguiente
condicional:
Si un nmero es par, entonces es mltiplo de 4.
. V o F?
Falso (contraejemplo: 2)
Recproco:
Si un nmero es mltiplo de 4, entonces es par.
.. V o F?
Verdadero!
Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo de 4.
Contrario: ~ p ~ q
Si un nmero no es par, entonces no es
mltiplo de 4
Verdadero!
Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo de 4.
Contrarrecproco: ~ q ~ p
Si un nmero no es mltiplo de 4, entonces no
es par
Falso.. 2 no es mltiplo de cuatro y es par
(antecedente verdadero, consecuente falso)
Ejercicios
1. Escribir las formas derivadas para:
a) (r ~q) p.
b) Si yo digo s, ella dice no.
Ejercicios
Proposiciones simblicas
Ejercicios
Usando Tablas demostrar
1.
2.
3.
Tautologa, contradiccin y
contingencia
Ejemplo
Si llegas despus de las ocho y media, entonces
encontrars la puerta cerrada y no podrs entrar al
teatro.
Razonamiento
Supongamos, para empezar, que a y b denotan nmeros reales
iguales, y diferentes de 0:
a=b