Escolar Documentos
Profissional Documentos
Cultura Documentos
Agenda
Proposiciones Simples Conectivos y proposiciones compuestas. Tablas de verdad Construccin de tablas de verdad para
proposiciones compuestas Formas derivadas del condicional Simbolizacin
Proposicin
Es un enunciado al
Son proposiciones? cual se le puede Qu hora es? asociar el concepto Por favor, cierre la de verdadero o falso, puerta pero no ambos. El 6 de abril de 1876 fue sbado Ejemplos: La luna es cuadrada Dice el Presidente: 7 es un nmero primo Todos en este pas son unos mentirosos y esto Las araas son es verdad mamferos
Negacin
Si p es una
Qu sucede con la
proposicin, entonces negacin de p, no p es la negacin siendo p verdadero? de p y se denota por: Qu sucede con la ~p negacin de p, siendo p falso? Ejemplo: p: Hoy es martes ~ p: Hoy no es martes
Negacin
Esto lo podemos
escribir de una manera Posibilidades para compacta, utilizando una tabla p A esta tabla se le llama tabla de V certeza de la negacin F
la proposicin p
~p F V
Negacin
utilizan
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
p V
q V
pq V
V
F F
F
V F
F
F F
Conjuncin: p ^ q
Lus estudia ,adems de trabajar Lus estudi pero no aprob Lus canta, sin embargo no baila Lus jug futbol aunque estaba lesionado Lus juega futbol , tambin Jos Lus sali, an no llega Lus cocina a la vez que canta Lus viajar no obstante est sin visa Lus canta , no baila.
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: pq
p V
q V
pq V
V
F F
F
V F
V
V F
Disyuncin
p V
q V
pq V
V
F F
F
V F
V
V F
Condicional
Si p y q son
proposiciones, se llama condicional de p y q a la proposicin compuesta si p, entonces q y se denota por: pq
Ejemplos: Si no llueve
(entonces) iremos a la playa Si me gano la lotera (entonces) me voy de viaje Si no estudio (entonces) no aprobar Lgica
Condicional
Veamos la tabla
del condicional: pq
p V V
q V F V
pq V F V
Conviene pensar en
una promesa ..... Si no llueve (entonces) iremos a la playa F
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
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
Condicional y Teoremas
Tablas de verdad
F
F F
Cuntas
posibilidades tendremos?
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
q
V V F F V V F F
r
V F V F V F V F
r p V V V V V F V
q p V V V V V V F
~(qp) F F F F F F V
(r p) ~(qp)
F F F F F
F
V F
En resumen
razonando inductivamente..
n proposiciones simples
2n filas
Si es Chiclayano, es Peruano (p q) Es Peruano, siempre que sea Chiclayano Es Peruano si es Chiclayano Es suficiente que sea Chiclayano para que sea Peruano Siempre y cuando sea Chiclayano, ser Peruano. Es necesario que sea Peruano para ser Cliclayano TODAS ESTAS EXPRESIONES SE SIMBOLIZAN COMO: p q
Partes de un condicional
p q
antecedente
Condicin suficiente consecuente
Condicin necesaria
Directo: p q
Si repruebo el examen, entonces me enojar bastante Contrario: ~ p ~q Si no repruebo el examen, entonces no me enojar bastante
q p se llama recproco y lo expresaramos: si q, entonces p Directo: p q Si repruebo el examen, entonces me enojar bastante Recproco: q p Si me enojo bastante , entonces reprobar el examen
~ q ~p se llama contrarrecproco y lo expresaramos: si no q, entonces no p Directo: p q Si repruebo el examen, entonces me enojar bastante Contrarrecproco: ~ q ~p Si no me enojo bastante, entonces no repruebo el examen
Formas derivadas
Directo
p q
Recproco
q p
~p
~q
~q
~p
Contrario
recprocos
Contrarrecproco
contrarios
contrarrecprocos
Ejemplo
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
Ejercicios