Logo Studenta

MatCS T3 SOR

¡Este material tiene más páginas!

Vista previa del material en texto

Profesor tutor: Santiago de la Osa Rodríguez
TUTORIA 3.Matemáticas aplicadas a 
las Ciencias Sociales
Profesor tutor: Santiago de la Osa Rodríguez
sdelaosa@eivissa.uned.es
Resumen del último día
Se denomina razonamiento a la afirmación de
que cierta proposición, que se dice conclusión,
se sigue de otras proposiciones previas
denominadas premisas.denominadas premisas.
p
q premisas
r
…
⸫s conclusión
REGLAS DE INFERENCIA
Las reglas de inferencia son unas reglas que facilitan la
comprobación de que un razonamiento es válido.
Modus Ponendo Ponens
ModusTollendoTollens
ModusTollendo Ponens
Silogismo Hipotético
Modus Ponendo Ponens
p→q
p .
⸫
Ejemplo:
Si pienso, entonces existo. Pienso. Luego existo
p:pienso
q: existo
p→q
p .
⸫q
Modus TollendoTollens
p→q
¬q .
⸫
Ejemplo:
Si el pueblo está lejos, entonces tardamos más de 
una hora en llegar. No tardamos más de una hora 
en llegar. Conclusión, el pueblo no está lejos.
p: el pueblo está lejosp: el pueblo está lejos
q: tardamos más de una hora en llegar
p→q
¬q .
⸫¬p
Modus Tollendo Ponens
pvq pvq
¬p . ¬q .
⸫ ⸫
Ejemplo:
Es muy trabajador o tiene mucha suerte. No es muy 
trabajador. Entonces tiene mucha suerte
p:Es muy trabajador
q: Tiene mucha suerteq: Tiene mucha suerte
pvq
¬p . 
⸫ q
Silogismo hipotético
p→q
q →r.
⸫
Ejemplo:
Si el próximo domingo hace buen tiempo entonces iré al
campo. Si el próximo domingo voy al campo entonces
podaré los rosales. En definitiva, si el próximo domingo
hace buen tiempo entonces podaré los rosales.
p:el domingo hace buen tiempop:el domingo hace buen tiempo
q: iré al campo
r:podaré los rosales
p→q
q →r.
⸫ p→r
Demostración
Una demostración es el proceso que partiendo 
de las premisas, llegamos a la conclusión a traves
de una serie de proposiciones intermedias 
obtenidas sucesivamente mediante la aplicación 
de reglas de inferenciade reglas de inferencia
Ejemplo 
Si José ganó la carrera entonces Pedro fue el segundo o
Ramón fue el segundo. Si Pedro fue el segundo, entonces
José no ganó la carrera. Si Carlos fue el segundo
entonces Ramón no fue el segundo. José ganó la carrera.
Luego Carlos no fue el segundo.
p: José gano la carrera
q: Pedro fue el segundo
r: Ramón fue el segundo
s: Carlos fue el segundo
La traducción del texto sería:
1. p→(qvr)
2. q →¬p
3. s →¬r 
4. p .
⸫ ¬s
Modus Ponendo Ponens Modus Tollendo Ponens
p→q pvq
p . ¬p .
⸫ q ⸫q
Modus TollendoTollens Silogismo hipotéticoModus TollendoTollens Silogismo hipotético
p→q p→q
¬q . q →r.
⸫ ¬p ⸫ p→r
Ejemplo 2:
Si Juan es más alto que Pedro, entonces María es más baja que
Alicia; María no es más baja que Alicia; Si Juan y Luis tienen
la misma estatura, entonces Juan es más alto que Pedro;
luego Juan y Luis no tienen la misma estatura.
p:Juan es más alto que Pedrop:Juan es más alto que Pedro
q:María es más baja que Alicia
r:Juan y Luis tienen la misma estatura
La traducción del texto sería:
1. p→q
2. ¬q
3. r→p 
⸫¬r
Modus Ponendo Ponens Modus Tollendo Ponens
p→q pvq
p . ¬p .
⸫ q ⸫q
Modus TollendoTollens Silogismo hipotéticoModus TollendoTollens Silogismo hipotético
p→q p→q
¬q . q →r.
⸫ ¬p ⸫ p→r
1.2 CONJUNTOS
CONCEPTOS BÁSICOS:
Los conjuntos son colecciones de objetos, cosas. . .
 LOS CONJUNTOS SE REPRESENTAN CON LETRAS 
MAYÚSCULAS: A,B,C,…MAYÚSCULAS: A,B,C,…
 LOS ELEMENTOS SE REPRESENTAN CON LETRAS 
MINÚSCULAS: a,b,x,t…
Relación entre elementos y conjuntos
Relación entre conjuntos
Propiedades
Conjuntos especiales
OPERACIONES DE CONJUNTOS
EJEMPLOS:
A={a,b,c}
B={a,c,e,f}
A B=
Definición:
UNIÓN DE CONJUNTOS
EJEMPLO:
A={a,b,c}
B={a,c,e,f}
A B=
COMPLEMENTARIO DE UN CONJUNTO
EJEMPLO:
U={a,b,c,d,e,f}
A={a,c,e,f}
Calcula:
DIFERENCIA DE CONJUNTOS 
Definimos el conjunto A-B como un conjunto formado por los 
elementos de A pero que no son de B.
Ejercicio:
Sea A={1,2,3,5,7}y B={2,3}Calcula A-B
Sea A={a,b,c,d,e}y B={b,c,f}Calcula A-B y B-ASea A={a,b,c,d,e}y B={b,c,f}Calcula A-B y B-A
Ejercicio:
Demostrar que A-B=AꓵBʼ

Continuar navegando

Materiales relacionados

60 pag.
MatCS T3 SOR (2)

User badge image

Luisito Valdez

46 pag.
MatCS T7 SOR

User badge image

Luisito Valdez

71 pag.
MatCS T1 SOR (2)

User badge image

Luisito Valdez