SlideShare une entreprise Scribd logo
1  sur  16
Télécharger pour lire hors ligne
CALCULO PROPOSICIONAL
Simbolización de proposiciones.
Cada proposición tiene una forma lógica a la cual se le da un
nombre. Se distinguen dos tipos de proposiciones: simples y compuestas.
Una proposición se denomina simple cuando en ella no interviene ninguna
conectiva lógica o término de enlace (y, o, no, si...entonces..., si y sólo si).
Si se juntan una o varias proposiciones simples con un término de enlace,
se forma una proposición compuesta.
Los términos de enlace, "y", "o", "si... entonces...", "si y sólo si"; se
usan para ligar dos proposiciones, en cambio el término de enlace "no" se
agrega a una sola proposición.
Proposiciones simples o Atómicas.
Son aquellas que se pueden representar con una sola variable o
letra (No tiene Conectivos).
Ejemplos:
a) p : Pamela tiene 20 años.
b) q : 5 x 6 = 30
c) r : El mundial de futbol es en Sudáfrica.
Proposiciones Compuestas o Moleculares
Son aquellas que están constituidas por proposiciones simples
enlazadas entre si por conectivos lógicos. El valor de la verdad de una
proposición compuesta depende de los valores de la verdad de las
proposiciones que lo forman y de la manera como están unidas.
Conectivas lógicas
Conectiva Notación
Ejemplo
de uso
Análogo
natural
Ejemplo de uso en
el lenguaje natural
Negación no No está lloviendo.
Conjunción y
Está lloviendoy la
calle está mojada.
Disyunción o
Está lloviendoo la
calle está mojada.
Condicional
material
si...
entonces
Si está
lloviendo,entonces la
calle está mojada.
Bicondicional
si y sólo
si
Está lloviendosi y
sólo si la calle está
mojada.
Negación
conjunta
ni... ni
Ni está lloviendo ni la
calle está mojada.
Disyunción
excluyente
o bien...
o bien
O bien está
lloviendo, o bien la
calle está mojada.
Ejemplo:
Hoy es jueves
Hay clases de matemáticas
Ambas proposiciones son simples. Con estas proposiciones se
pueden construir proposiciones compuestas tales como:
Hoy es jueves y hay clases de matemáticas.
Hoy es jueves o hay clases de matemáticas.
Si hoy es jueves entonces hay clases de matemáticas.
Hoy no es jueves.
La forma de las proposiciones compuestas depende del término de
enlace utilizado, y no del contenido de la proposición o proposiciones
simples. Es decir, si en una proposición compuesta se sustituyen las
proposiciones simples por otras proposiciones simples cualesquiera, la
forma de la proposición compuesta se conserva.
Ejemplo:
Hoy es jueves y hay clase de matemáticas.
Esta sería la forma de la proposición. En los cuadros pueden
colocarse las proposiciones dadas u otras proposiciones. Para representar
las proposiciones se utilizan letra latinas mayúsculas tales como P, Q, R,
etc. Por ejemplo, sea:
p: Hoy es jueves.
q: Hay clase de matemáticas.
Luego la proposición: Hoy es jueves y hay clase de matemáticas. Se
simboliza así:
p ^ q
En el siguiente ejemplo se usa el término de enlace "o". Es tarde o
está muy oscuro. Otro giro de "o" es: O es tarde o está muy oscuro. En este
último caso las dos "o" son parte del mismo término de enlace y la forma
de la proposición es:
Es tarde = p
Está muy oscuro = q
p v q
En proposiciones que tienen más de un término de enlace es preciso
indicar la manera de agruparse, pues distintas agrupaciones pueden tener
distintos significados. En el lenguaje corriente, las agrupaciones se
presentan de acuerdo a la colocación de ciertas palabras o mediante la
puntuación. En lógica la agrupación se indica por medio de paréntesis o
por su jerarquía
Ejemplos:
a) ~ p : No aprobé el curso de matemática.
b) P Λ q : Hoy es sábado y mañana es domingo.
c) P → q : Si 5 es primo, entonces 15 es número par
d) r Λ s : Carlos es ingeniero y Luis tiene 10 años
e) p Ѵ q : Ronaldo gano el partido o esta enfermo.
Símbolo Lenguaje natural
~ No
^ Y
v O
→ Si…entonces; implica
↔ Si y solo si
Nota: para armar una tabla de la verdad y estar
seguro que contamos con el número correcto de
posibilidades o combinaciones Cn, aplicamos la
siguiente formula cn = 2n
, donde n representa el
numero de variables y asi evitamos confusiones
Ejemplo:
Para 3 variables
2n
=23
=8
TABLAS DE LA VERDAD
Negación ( NO)
La negación es un operador que se ejecuta, sobre un
único valor de verdad, devolviendo el valor contradictorio de
la proposición considerada.
Conjunción (Y)
La conjunción es un operador que opera sobre
dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de
verdad verdaderocuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso. Es decir es
verdadera cuando ambas son verdaderas
Disyunción (O)
La disyunción es un operador que opera sobre
dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falsocuando
ambas son falsas.
Implicación o Condicional (Implica)
El condicional material es un operador que
opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el
valor de falso sólo cuando la primera proposición es
verdadera y la segunda falsa, y verdadero en
cualquier otro caso.
Equivalencia, doble implicación o Bicondicional
El bicondicional o doble implicación es un
operador que funciona sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdadverdadero cuando ambas proposiciones tienen el mismo
valor de verdad, y falso cuando sus valores de verdad diferente.
EJERCICIOS RESUELTOS
1. Los deseos son caballos, a condición de que los caballos no vuelan.
También, los mendigos no cabalgan, a condición de que los deseos no sean
caballos. Si se da el caso de que los mendigos cabalgan y los deseos no
sean equinos, entonces los caballos vuelan. Si la imposibilidad de los
caballos para volar y la imposibilidad de los mendigos para cabalgar no
son alternativas, entonces los mendigos no son ricos. Pero los mendigos
cabalgan, ¿son ricos los mendigos?
El primer paso es convertir las frases resaltantes o las premisas
en variables tomándolas siempre como positivas o afirmativas, en
caso que aparesca de forma negativa se emplea en conector ( ~ )
Q W = los deseos son caballos
P Hf = los caballos vuelan
R brd = los mendigos cabalgan
S brch= los mendigos son ricos
Luego de asignar las variables, separamos la proposición en
oraciones y las representamos
1. Los deseos son caballos, a condición de que los caballos no vuelan.
La condición a cumplir es los caballos no vuelan por lo tanto toma el
~p→q
2. También, los mendigos no cabalgan, a condición de que los deseos
no sean caballos
~q→~r
3. Si se da el caso de que los mendigos cabalgan y los deseos no sean
equinos, entonces los caballos vuelan
Si se da el caso de que los mendigos cabalgan y los deseos no sean
equinos
r^~q
entonces los caballos vuelan
→p
Si se da el caso de que los mendigos cabalgan y los deseos no sean
equinos, entonces los caballos vuelan
(r^~q )→p
4. Si la imposibilidad de los caballos para volar y la imposibilidad
de los mendigos para cabalgar no son alternativas
~(~p v ~r)
entonces los mendigos no son ricos
→~s
Si la imposibilidad de los caballos para volar y la imposibilidad
de los mendigos para cabalgar no son alternativas, entonces los
mendigos no son ricos
~(~p v ~r)→~s
5. Pero los mendigos cabalgan r
2. Arma la tabla de la verdad para los siguientes ejercicios:
a) estás seguro y lo que dices es cierto o mientes como un bellaco.
p = estar seguro.
q = decir la verdad.
r = mentir como un bellaco
Cn=23=8
( p ˄ q ) ˅ r
cn p q r ( p ˄ q ) ( p ˄ q ) ˅ r
1 v v v v v
2 v v f v v
3 v f v f v
4 v f f f f
5 f v v f v
6 f v f f f
7 f f v f v
8 f f f f f
EJERCICIOS PROPUESTOS
I. Escriba la Simbolización de los siguientes enunciados:
a) Las computadoras trabajan más rápido que los hombres.
b) No tengo un auto azul.
c) Marcela estudia en Quito y Pablo en Loja.
d) Bailamos o tomamos café.
e) Si cantamos entonces necesitamos viajar.
f) Leeré este libro si solo si tiene pocas hojas.
g) No es cierto que si no tomamos café implica que no es de día.
h) La tierra gira alrededor del sol ó no se da que la luna es un planeta.
i) Si trabajara los fines de semana y durmiera menos entonces no
perdería el vuelo.
j) 10. Es falso que vivo en Loja, pero visitaré a mi familia en Cuenca.
k) No iremos al partido a menos que salga el sol.
l) Ana es profesora o es estudiante pero no puede ser ambas cosas a la
vez.
II. Formaliza la siguiente inferencia:
Si Rosa participa en el municipio escolar entonces los estudiantes se
enojan con ella, y si no participa en el municipio escolar, los profesores se
enojan con ella. Pero, Rosa participa en el municipio escolar o no
participa. Por lo tanto, los estudiantes o los profesores se enojan con ella.
III Realice la tabla de verdad de las siguientes expresiones, indicando
si es una contradicción, una tautología o una proposición empírica.
1. p ∧ q
2. (p ∧ q) ∧ r
3. ¬(p → ¬q) ∧ (p ∧ ¬q)
4. (p ∧ q) ∨ (p ∨ ¬q)
5. p ∧ q ∧ r
6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q)
7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q)
8. p ∨ q ∧ r
9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q)
10. p ∨ q ∧ ¬r
11. p ∧ q → r
12. p ∧ q → ¬r
13. p ↔ ¬ p
14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q)
15. ¬¬ p ∨ ¬¬ q
16. p ∨q
17. p ↔ q v r
18. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
19. (p ∨ ¬q) → ( ¬p → ¬q)
20. (p ↔ ¬q) v (p ∨ ¬q)
21. (¬p ∧ q) ∨ (¬p → q)
22. ¬q ∨ ¬p
23. (p → q ∧ r) ↔ ¬(¬q v r) v ¬r
24. (¬q ∧ r) → ¬(¬q v r) v ¬r
25. (p → q ) ∧ r Æ ¬(p v r) v ¬r
26. (p → q) ∧ (q → r) → (p ∧ ¬r)
27. ¬p ↔ (q ∧ r) ∨ ¬(¬q v r)
28. [ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p
29. [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p]
30. (p → q) ∧ (q → r) → (p ∧ r)
31. (p ∧ q → r) → (p v r )
60. (¬p v q → p ∧ r) ↔ ¬(¬q ∧ ¬r) ∧ r
61. (p v q) ↔ (¬p →¬q v r)
62. p v q → (p ↔ q)
63. ¬p v (¬q ∧ r) → (¬r↔ p)
64. (p → ¬q) ∧ (r v ¬p ↔ ¬r)
65. ((p v ¬r Æ ¬p) ∧ ¬(¬q Æ r) ↔ ¬r
66. (p Æ q → r) → p ∧ r*
67. (p ↔ q ∧ ¬r ) ↔ ¬¬(¬q v ¬r) v(r v s)
68. (¬p ↔ q) ← (p v ¬p → ¬q v r)
69. (p v ¬q→ p ∧ r) ↔ [ ¬(¬q v ¬r) v (r→ ¬q) ]*
70. (p Æ q) ∧ (q Æ r) Æ(p Æ r)
71. (p ← q → p) → (q v r) ∧(¬q ∧ ¬r)
72. ¬(p ∧ ¬q → r) → ¬(q ↔ s v t) ∧ ¬(¬ p ∧ ¬ s)
73. ¬(p ∧ ¬q → r) → ¬(q ↔ ¬r v q) ∧ ¬(¬ p ∧ ¬ ¬¬p)
74. (¬q → r) v (¬r ∧ ¬p ↔ ¬¬r) →p ∧ ¬¬r
IV Descubra si las siguientes expresiones son EQUIVALENTES, es
decir, si tienen la misma tabla de verdad.
1.- (p ↔ q) v (p → q)
(p v q) ∧ (¬p →¬q)
2.- p ∧ ¬q → ¬p
(p ↔ ¬q) v q
3.- ¬p v q ↔ p
p ∨ q
V. Si p es V y q es F, determínese el valor de verdad de las siguientes
fórmulas:
1.- ¬p ← q.
2.- ¬p v ¬p
3.- ¬¬p v ¬¬q
4.- ¬q → ¬p
5.- p →¬(p v¬q)
6.- p v q →q
7.- ¬(¬q→p) v (¬p →q)
8.- (¬p v ¬q) ↔ (¬p v ¬q → p)
9.- (p → q) v ¬q → ¬p
10.- ¬¬¬p → ¬p
.
Link de interés
https://www.youtube.com/watch?v=pwJK-4Op438

Contenu connexe

Tendances (20)

Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Clase matematica diapositiva
Clase matematica diapositivaClase matematica diapositiva
Clase matematica diapositiva
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
Enunciado Y Proposición
Enunciado Y ProposiciónEnunciado Y Proposición
Enunciado Y Proposición
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
4º Sec - Clase 1
4º Sec - Clase 14º Sec - Clase 1
4º Sec - Clase 1
 
Lógica
LógicaLógica
Lógica
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de Lógica
 

Similaire à Guia obj 1

1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLuis Bruno
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Erica Avila Caicedo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptxJReales2
 
211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptx211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptxCarlosEstebanCceresG
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique Bonilla
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique Bonilla
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 

Similaire à Guia obj 1 (20)

Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptx211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptx
 
Trabajo colaborativo dos 168
Trabajo colaborativo dos 168Trabajo colaborativo dos 168
Trabajo colaborativo dos 168
 
Trabajo colaborativo dos 168
Trabajo colaborativo dos 168Trabajo colaborativo dos 168
Trabajo colaborativo dos 168
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Clase 2.pdf
Clase 2.pdfClase 2.pdf
Clase 2.pdf
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 

Plus de Leyda Escalante

I3ma guia diferido 2 corte febrero2015
I3ma guia diferido 2 corte febrero2015I3ma guia diferido 2 corte febrero2015
I3ma guia diferido 2 corte febrero2015Leyda Escalante
 
I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015Leyda Escalante
 
I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015Leyda Escalante
 
ejemplo del 1 examen 1 corte x2 md octubre 2014
ejemplo del 1 examen 1 corte x2 md octubre 2014ejemplo del 1 examen 1 corte x2 md octubre 2014
ejemplo del 1 examen 1 corte x2 md octubre 2014Leyda Escalante
 
Cronograma de evaluación I3MA2 corte
Cronograma de evaluación I3MA2 corteCronograma de evaluación I3MA2 corte
Cronograma de evaluación I3MA2 corteLeyda Escalante
 
Producto y cocientes notables
Producto y cocientes notablesProducto y cocientes notables
Producto y cocientes notablesLeyda Escalante
 
modelos de exámenes para matemática I
modelos de exámenes para matemática Imodelos de exámenes para matemática I
modelos de exámenes para matemática ILeyda Escalante
 
3 parcial intensivo 9 am
3 parcial intensivo 9 am3 parcial intensivo 9 am
3 parcial intensivo 9 amLeyda Escalante
 
3 parcial intensivo 7 am
3 parcial intensivo 7 am3 parcial intensivo 7 am
3 parcial intensivo 7 amLeyda Escalante
 
Ejercicios de derivadas. matemática
Ejercicios de derivadas. matemática Ejercicios de derivadas. matemática
Ejercicios de derivadas. matemática Leyda Escalante
 
Calculo diferencial e integral schaum matemática
Calculo diferencial e integral   schaum matemática Calculo diferencial e integral   schaum matemática
Calculo diferencial e integral schaum matemática Leyda Escalante
 

Plus de Leyda Escalante (20)

I3ma guia diferido 2 corte febrero2015
I3ma guia diferido 2 corte febrero2015I3ma guia diferido 2 corte febrero2015
I3ma guia diferido 2 corte febrero2015
 
I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015
 
I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015I3ma guia diferido 1 corte febrero2015
I3ma guia diferido 1 corte febrero2015
 
I3ma examen 10% 2 corte
I3ma examen 10% 2 corteI3ma examen 10% 2 corte
I3ma examen 10% 2 corte
 
ejemplo del 1 examen 1 corte x2 md octubre 2014
ejemplo del 1 examen 1 corte x2 md octubre 2014ejemplo del 1 examen 1 corte x2 md octubre 2014
ejemplo del 1 examen 1 corte x2 md octubre 2014
 
Cronograma de evaluación I3MA2 corte
Cronograma de evaluación I3MA2 corteCronograma de evaluación I3MA2 corte
Cronograma de evaluación I3MA2 corte
 
Producto y cocientes notables
Producto y cocientes notablesProducto y cocientes notables
Producto y cocientes notables
 
4 corte 15
4 corte 154 corte 15
4 corte 15
 
modelos de exámenes para matemática I
modelos de exámenes para matemática Imodelos de exámenes para matemática I
modelos de exámenes para matemática I
 
3 parcial intensivo 9 am
3 parcial intensivo 9 am3 parcial intensivo 9 am
3 parcial intensivo 9 am
 
3 parcial intensivo 7 am
3 parcial intensivo 7 am3 parcial intensivo 7 am
3 parcial intensivo 7 am
 
4 corte 15 9 am
4 corte 15 9 am4 corte 15 9 am
4 corte 15 9 am
 
Modelo de examene i3 ma
Modelo de examene i3 maModelo de examene i3 ma
Modelo de examene i3 ma
 
Ejercicios de derivadas. matemática
Ejercicios de derivadas. matemática Ejercicios de derivadas. matemática
Ejercicios de derivadas. matemática
 
Calculo diferencial e integral schaum matemática
Calculo diferencial e integral   schaum matemática Calculo diferencial e integral   schaum matemática
Calculo diferencial e integral schaum matemática
 
Derivada tabla
Derivada tablaDerivada tabla
Derivada tabla
 
1 corte repaso x2md 20%
1 corte repaso x2md 20%1 corte repaso x2md 20%
1 corte repaso x2md 20%
 
Algebra de baldor
Algebra de baldorAlgebra de baldor
Algebra de baldor
 
Funciones ii corte2
Funciones ii corte2Funciones ii corte2
Funciones ii corte2
 
Funciones ii corte2
Funciones ii corte2Funciones ii corte2
Funciones ii corte2
 

Guia obj 1

  • 1. CALCULO PROPOSICIONAL Simbolización de proposiciones. Cada proposición tiene una forma lógica a la cual se le da un nombre. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposición se denomina simple cuando en ella no interviene ninguna conectiva lógica o término de enlace (y, o, no, si...entonces..., si y sólo si). Si se juntan una o varias proposiciones simples con un término de enlace, se forma una proposición compuesta. Los términos de enlace, "y", "o", "si... entonces...", "si y sólo si"; se usan para ligar dos proposiciones, en cambio el término de enlace "no" se agrega a una sola proposición. Proposiciones simples o Atómicas. Son aquellas que se pueden representar con una sola variable o letra (No tiene Conectivos). Ejemplos: a) p : Pamela tiene 20 años. b) q : 5 x 6 = 30 c) r : El mundial de futbol es en Sudáfrica. Proposiciones Compuestas o Moleculares Son aquellas que están constituidas por proposiciones simples enlazadas entre si por conectivos lógicos. El valor de la verdad de una proposición compuesta depende de los valores de la verdad de las proposiciones que lo forman y de la manera como están unidas.
  • 2. Conectivas lógicas Conectiva Notación Ejemplo de uso Análogo natural Ejemplo de uso en el lenguaje natural Negación no No está lloviendo. Conjunción y Está lloviendoy la calle está mojada. Disyunción o Está lloviendoo la calle está mojada. Condicional material si... entonces Si está lloviendo,entonces la calle está mojada. Bicondicional si y sólo si Está lloviendosi y sólo si la calle está mojada. Negación conjunta ni... ni Ni está lloviendo ni la calle está mojada. Disyunción excluyente o bien... o bien O bien está lloviendo, o bien la calle está mojada.
  • 3. Ejemplo: Hoy es jueves Hay clases de matemáticas Ambas proposiciones son simples. Con estas proposiciones se pueden construir proposiciones compuestas tales como: Hoy es jueves y hay clases de matemáticas. Hoy es jueves o hay clases de matemáticas. Si hoy es jueves entonces hay clases de matemáticas. Hoy no es jueves. La forma de las proposiciones compuestas depende del término de enlace utilizado, y no del contenido de la proposición o proposiciones simples. Es decir, si en una proposición compuesta se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma de la proposición compuesta se conserva. Ejemplo: Hoy es jueves y hay clase de matemáticas. Esta sería la forma de la proposición. En los cuadros pueden colocarse las proposiciones dadas u otras proposiciones. Para representar las proposiciones se utilizan letra latinas mayúsculas tales como P, Q, R, etc. Por ejemplo, sea: p: Hoy es jueves. q: Hay clase de matemáticas. Luego la proposición: Hoy es jueves y hay clase de matemáticas. Se simboliza así: p ^ q En el siguiente ejemplo se usa el término de enlace "o". Es tarde o está muy oscuro. Otro giro de "o" es: O es tarde o está muy oscuro. En este
  • 4. último caso las dos "o" son parte del mismo término de enlace y la forma de la proposición es: Es tarde = p Está muy oscuro = q p v q En proposiciones que tienen más de un término de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la colocación de ciertas palabras o mediante la puntuación. En lógica la agrupación se indica por medio de paréntesis o por su jerarquía Ejemplos: a) ~ p : No aprobé el curso de matemática. b) P Λ q : Hoy es sábado y mañana es domingo. c) P → q : Si 5 es primo, entonces 15 es número par d) r Λ s : Carlos es ingeniero y Luis tiene 10 años e) p Ѵ q : Ronaldo gano el partido o esta enfermo. Símbolo Lenguaje natural ~ No ^ Y v O → Si…entonces; implica ↔ Si y solo si
  • 5. Nota: para armar una tabla de la verdad y estar seguro que contamos con el número correcto de posibilidades o combinaciones Cn, aplicamos la siguiente formula cn = 2n , donde n representa el numero de variables y asi evitamos confusiones Ejemplo: Para 3 variables 2n =23 =8
  • 6. TABLAS DE LA VERDAD Negación ( NO) La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada. Conjunción (Y) La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdaderocuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas Disyunción (O) La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falsocuando ambas son falsas. Implicación o Condicional (Implica) El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso. Equivalencia, doble implicación o Bicondicional El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad,
  • 7. típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdadverdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente.
  • 8. EJERCICIOS RESUELTOS 1. Los deseos son caballos, a condición de que los caballos no vuelan. También, los mendigos no cabalgan, a condición de que los deseos no sean caballos. Si se da el caso de que los mendigos cabalgan y los deseos no sean equinos, entonces los caballos vuelan. Si la imposibilidad de los caballos para volar y la imposibilidad de los mendigos para cabalgar no son alternativas, entonces los mendigos no son ricos. Pero los mendigos cabalgan, ¿son ricos los mendigos? El primer paso es convertir las frases resaltantes o las premisas en variables tomándolas siempre como positivas o afirmativas, en caso que aparesca de forma negativa se emplea en conector ( ~ ) Q W = los deseos son caballos P Hf = los caballos vuelan R brd = los mendigos cabalgan S brch= los mendigos son ricos Luego de asignar las variables, separamos la proposición en oraciones y las representamos 1. Los deseos son caballos, a condición de que los caballos no vuelan. La condición a cumplir es los caballos no vuelan por lo tanto toma el ~p→q 2. También, los mendigos no cabalgan, a condición de que los deseos no sean caballos ~q→~r 3. Si se da el caso de que los mendigos cabalgan y los deseos no sean equinos, entonces los caballos vuelan
  • 9. Si se da el caso de que los mendigos cabalgan y los deseos no sean equinos r^~q entonces los caballos vuelan →p Si se da el caso de que los mendigos cabalgan y los deseos no sean equinos, entonces los caballos vuelan (r^~q )→p 4. Si la imposibilidad de los caballos para volar y la imposibilidad de los mendigos para cabalgar no son alternativas ~(~p v ~r) entonces los mendigos no son ricos →~s Si la imposibilidad de los caballos para volar y la imposibilidad de los mendigos para cabalgar no son alternativas, entonces los mendigos no son ricos ~(~p v ~r)→~s 5. Pero los mendigos cabalgan r
  • 10. 2. Arma la tabla de la verdad para los siguientes ejercicios: a) estás seguro y lo que dices es cierto o mientes como un bellaco. p = estar seguro. q = decir la verdad. r = mentir como un bellaco Cn=23=8 ( p ˄ q ) ˅ r cn p q r ( p ˄ q ) ( p ˄ q ) ˅ r 1 v v v v v 2 v v f v v 3 v f v f v 4 v f f f f 5 f v v f v 6 f v f f f 7 f f v f v 8 f f f f f
  • 11. EJERCICIOS PROPUESTOS I. Escriba la Simbolización de los siguientes enunciados: a) Las computadoras trabajan más rápido que los hombres. b) No tengo un auto azul. c) Marcela estudia en Quito y Pablo en Loja. d) Bailamos o tomamos café. e) Si cantamos entonces necesitamos viajar. f) Leeré este libro si solo si tiene pocas hojas. g) No es cierto que si no tomamos café implica que no es de día. h) La tierra gira alrededor del sol ó no se da que la luna es un planeta. i) Si trabajara los fines de semana y durmiera menos entonces no perdería el vuelo. j) 10. Es falso que vivo en Loja, pero visitaré a mi familia en Cuenca. k) No iremos al partido a menos que salga el sol. l) Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez. II. Formaliza la siguiente inferencia: Si Rosa participa en el municipio escolar entonces los estudiantes se enojan con ella, y si no participa en el municipio escolar, los profesores se enojan con ella. Pero, Rosa participa en el municipio escolar o no participa. Por lo tanto, los estudiantes o los profesores se enojan con ella. III Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una proposición empírica.
  • 12. 1. p ∧ q 2. (p ∧ q) ∧ r 3. ¬(p → ¬q) ∧ (p ∧ ¬q) 4. (p ∧ q) ∨ (p ∨ ¬q) 5. p ∧ q ∧ r 6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q) 7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q) 8. p ∨ q ∧ r 9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q) 10. p ∨ q ∧ ¬r 11. p ∧ q → r 12. p ∧ q → ¬r 13. p ↔ ¬ p 14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q) 15. ¬¬ p ∨ ¬¬ q 16. p ∨q 17. p ↔ q v r 18. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ] 19. (p ∨ ¬q) → ( ¬p → ¬q) 20. (p ↔ ¬q) v (p ∨ ¬q) 21. (¬p ∧ q) ∨ (¬p → q)
  • 13. 22. ¬q ∨ ¬p 23. (p → q ∧ r) ↔ ¬(¬q v r) v ¬r 24. (¬q ∧ r) → ¬(¬q v r) v ¬r 25. (p → q ) ∧ r Æ ¬(p v r) v ¬r 26. (p → q) ∧ (q → r) → (p ∧ ¬r) 27. ¬p ↔ (q ∧ r) ∨ ¬(¬q v r) 28. [ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p 29. [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p] 30. (p → q) ∧ (q → r) → (p ∧ r) 31. (p ∧ q → r) → (p v r ) 60. (¬p v q → p ∧ r) ↔ ¬(¬q ∧ ¬r) ∧ r 61. (p v q) ↔ (¬p →¬q v r) 62. p v q → (p ↔ q) 63. ¬p v (¬q ∧ r) → (¬r↔ p) 64. (p → ¬q) ∧ (r v ¬p ↔ ¬r) 65. ((p v ¬r Æ ¬p) ∧ ¬(¬q Æ r) ↔ ¬r
  • 14. 66. (p Æ q → r) → p ∧ r* 67. (p ↔ q ∧ ¬r ) ↔ ¬¬(¬q v ¬r) v(r v s) 68. (¬p ↔ q) ← (p v ¬p → ¬q v r) 69. (p v ¬q→ p ∧ r) ↔ [ ¬(¬q v ¬r) v (r→ ¬q) ]* 70. (p Æ q) ∧ (q Æ r) Æ(p Æ r) 71. (p ← q → p) → (q v r) ∧(¬q ∧ ¬r) 72. ¬(p ∧ ¬q → r) → ¬(q ↔ s v t) ∧ ¬(¬ p ∧ ¬ s) 73. ¬(p ∧ ¬q → r) → ¬(q ↔ ¬r v q) ∧ ¬(¬ p ∧ ¬ ¬¬p) 74. (¬q → r) v (¬r ∧ ¬p ↔ ¬¬r) →p ∧ ¬¬r IV Descubra si las siguientes expresiones son EQUIVALENTES, es decir, si tienen la misma tabla de verdad.
  • 15. 1.- (p ↔ q) v (p → q) (p v q) ∧ (¬p →¬q) 2.- p ∧ ¬q → ¬p (p ↔ ¬q) v q 3.- ¬p v q ↔ p p ∨ q V. Si p es V y q es F, determínese el valor de verdad de las siguientes fórmulas: 1.- ¬p ← q. 2.- ¬p v ¬p 3.- ¬¬p v ¬¬q 4.- ¬q → ¬p 5.- p →¬(p v¬q)
  • 16. 6.- p v q →q 7.- ¬(¬q→p) v (¬p →q) 8.- (¬p v ¬q) ↔ (¬p v ¬q → p) 9.- (p → q) v ¬q → ¬p 10.- ¬¬¬p → ¬p . Link de interés https://www.youtube.com/watch?v=pwJK-4Op438