0% encontró este documento útil (0 votos)
38 vistas8 páginas

Resumen IPC

Este documento presenta información sobre conceptos básicos de lógica y argumentación como argumentos, enunciados, premisas, conclusiones, tipos de oraciones y argumentos, reglas de inferencia y sistemas axiomáticos. Explica cada concepto de manera detallada con ejemplos.

Cargado por

Lucia Arias
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
38 vistas8 páginas

Resumen IPC

Este documento presenta información sobre conceptos básicos de lógica y argumentación como argumentos, enunciados, premisas, conclusiones, tipos de oraciones y argumentos, reglas de inferencia y sistemas axiomáticos. Explica cada concepto de manera detallada con ejemplos.

Cargado por

Lucia Arias
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

PRIMER PARCIAL DE IPC

Reconocimiento de argumentos
Argumento
• Fragmento del lenguaje ya sea escrito u oral.
• Conjunto de enunciados donde algunos se ofrecen a favor de otros.
• Mantienen una estructura (premisas y conclusión).

Enunciado
• Aquello afirmado por la oración.
• Tiene sentido preguntarse por su verdad.

Proposiciones
• Son las expresiones, el significado de la oración.
• Pueden expresar dos proposiciones diferentes.
Ej. Los aportes de Bárbara fueron importantes para la genética, pero james fue quien recibió el
premio.
Los aportes de Bárbara fueron importantes para la genética y junto a james ganaron el premio.

Premisa
• Conjunto de enunciados que se ofrecen como razones.
• Sostienen, abonan o dan razones a favor de la conclusión.

Conclusión
• Es una oración a favor de la cual se argumenta.
• Puede aparecer en cualquier lado del texto.

Indicadores de premisas Indicadores de conclusión


Dado que - Puesto que - Porque - Luego - Por lo tanto - Por consiguiente -
Pues - En primer lugar - Además Concluyo que - Se sigue - Lo cual prueba
Debido a - Teniendo en cuenta Lo cual justifica - En consecuencia -
Atendiendo que - En efecto - Se puede Consecuentemente
inferir que

Tipos de enunciados
Expresiones lógicas (conectivas):
y, o, o bien, si...entonces, siempre y cuando, pero, etc.

Simples
• No tienen expresiones lógicas, ni se puede descomponer en otros enunciados.
Ej. Plutón es un planeta.

Complejos
• Combinan enunciados a través de expresiones lógicas.
Ej. Plutón y Marte son planetas. Por lo tanto, Plutón es un planeta.
Oraciones simples
Singulares (Uno)
• Un individuo en específico.
• Si lo que se afirma de ese individuo es verdadero, entonces el enunciado será verdadero.
Ej. Celina fue la primera medica Argentina.

Universales (Todos)
• Todos los miembros de un conjunto.
• Es verdadero cuando todos los miembros de ese conjunto cumplan con la propiedad, y es falso
cuando solo uno no la cumple.
Ej. Todos los planetas tienen satélite.

Existenciales (Algunos)
• Algunos miembros de un conjunto.
• Es verdadera cuando un solo individuo cumple con la propiedad y es falso cuando ninguno la
cumple.
Ej. Algunos planetas tienen satélite.

Probabilística (Porcentaje)
• Individuo/conjunto a la que se le pone una probabilidad de tener una propiedad.
Ej. El 60% de los alumnos aprobaron IPC.

Oraciones complejas
Conjunción
• Combinan dos oraciones simples y se afirma ambas.
• Expresión: Y
Ej. Los perros y los gatos son mamíferos.

A B AYB
V F F
F V F
V V V
F F F

Disyunción
• Combinan dos o más enunciados y por lo menos uno se afirma.
Inclusiva = O: No excluye el caso de que se den los dos enunciados, pero tampoco se compromete
con ello. Ej. Estela o Amalia vendrán.
Exclusiva= O bien: Afirma que uno de los disyuntos es el caso, pero excluye la posibilidad de que
ambos lo sean. Ej. El menú incluye o bien postre o bien café.

A B AoB O bien A o bien B


v v v f
v f v v
f v v v
f f f f
Condicionales
• Se combinan dos enunciados simples, pero no se afirman.
Suficiente: Si, entonces es suficiente o basta que.
Necesaria: Solo si, es necesario que.
Ej. Si mañana sale el sol, iremos al parque.

A B Si A ➡︎ B
v v v
v f f
f v v
f f v

Bicondicondiconales
• Relación que va en ambos sentidos, es tanto necesaria como suficiente.
A ➡︎⬅︎ B: Se condicionan, para que pase A tiene que pasar B y viceversa.
• Expresiones: solo si, si y solo si, siempre y cuando.
Ej. Saldrás si y solo si acabaste tu tarea.

A B AyB
f v f
v v v
v f f
f f V

Negaciones
• El valor de verdad depende de la ocasión que se está negando, si se niega algo verdadero este será
falso y viceversa.
• Expresiones: no, no es cierto que, es falso que, etc.
Ej. no es cierto que marte este habitado.

A A y no A
v f
f v

Contingencia
• Su verdad depende de su contenido y no de su forma o estructura.
Ej. A Diana le gusta el dulce de leche o el chocolate.
El oro es valioso en Europa o América.

Tautologías
• Son verdaderas en cualquier circunstancia, sin importar su contenido.
Ej. Llueve o no llueve.
Este perro es un perro.
Diana vendrá o no vendrá.
Contradicciones
• Siempre son falsas, sin importar su contenido.
Ej. Llueve y no llueve.
Este perro no es un perro.
Aprobé IPC y no aprobé IPC.

Tipos de argumentos
Solido
• Si todas las premisas son verdaderas, su conclusión también es verdadera.

Válido
• Las premisas pueden ser falsas o la inferencia puede ser errónea pero la conclusión será válida
siempre y cuando se siga de las premisas.

Deductivos
• Sus premisas ofrecen razones concluyentes a favor de la conclusión.
Estructura: A y B ➡︎ A
Ej. Simón es un perro y mueve la cola.
Simón es un perro.
Validez: Si las premisas son verdaderas, la conclusión es necesariamente verdadera. Además, se
sigue necesariamente de la conclusión de las premisas.

Argumente inductivo
Cuando las premisas apoyan en mayor o menor grado a la conclusión.
Ej. Simón es un perro y mueve la cola.
Lola es una perra y mueve la cola.
Todos los perros mueven la cola.

Inválidos
• Es posible que las premisas sean verdaderas y la conclusión falsa.
• Si A ➡︎ B = B ➡︎ Falacia de afirmación del consecuente.
Ej. Si llueve, llevo el paraguas conmigo.
Llevo el paraguas conmigo, así que lloverá.

Reglas de inferencia
Modus ponens
• Afirmamos la verdad del antecedente A, donde el consecuente B debe de ser verdadero también.
• Estructura y ejemplo:

Si A ➡︎ B Si tengo dinero me compro una bicicleta.


A Tengo dinero.
B Me compro una bicicleta.
Modus tollens
• Negamos la verdad del consecuente, resulta que el antecedente a debe de ser falso también.
• Estructura y ejemplo:

Si A ➡︎ B Si apruebo entonces hago una fiesta.


No B No hice una fiesta.
No A No aprobé.

Silogismo hipotético
• Concluimos un condicional a base de otro condicional, el consecuente del primero es el
antecedente del segundo.
• Estructura y ejemplo:

Si A ➡︎ B Si estudio mucho, apruebo.


Si A ➡︎ C Si apruebo, hago una fiesta.
A ➡︎ C Si estudio mucho, hago una fiesta.

Simplificación
• Es una conjunción donde ambos son verdaderos, podemos inferir A como también B.
• Estructura y ejemplo:

AyB Camila aprobó ICSE e IPC


(A o B) Camila aprobó IPC

Adjunción
• Si tengo dos enunciados puedo inferir la conjunción entre ellos.
• Estructura y ejemplo:

A Juan es cocinero
B Pedro es policía
AyB Juan es cocinero y Pedro es policía.

Silogismo disyuntivo
• Si uno de los disyuntos es falso, el otro no lo es.
• Estructura y ejemplo:

AoB Miramos Netflix o vamos al cine


No (A o B) Miramos Netflix / vamos al cine
(A o B) No vamos al cine / no miramos Netflix

Instanciación universal
• Por regla del argumento universal, es verdadero cuando todos cumplen con la propiedad.
• Estructura y ejemplo:

Todos los R son P Todas las estrellas tienen luz propia.


X es R El sol es una estrella.
X es P El sol tiene luz propia.
Argumentos inductivos
Analogía
• Se compara dos o más casos y a partir de la constatación de que son similares en ciertos aspectos,
se concluye que lo son también en otros.
• Evaluación: Las características usadas deben de ser relevantes para llegar a la conclusión, mientras
allá más cantidad de similitud más fuerte será el argumento.
• Estructura y ejemplo:

X1 es F, G,..Z El melón es una fruta, contiene potasio y vitaminas


X2 es F,G,..Z La naranja es una fruta contiene potasio y vitaminas
X3 es F,G,..Z La frutilla es una fruta y contiene vitaminas
Xn también es z La frutilla contiene potasio

Enumeración incompleta
• Partimos de varios casos observados y se generaliza dicha propiedad.
• Evaluación: Tener en cuenta si es representativa, la cantidad de casos listados y la cantidad de
elementos que tienen esa característica.
• Estructura y ejemplo:

X1 es Z Las abejas son insectos y tienen antenas


X2 es Z Los escarabajos son insectos y tienen antenas.
X3 es Z Las hormigas son insectos y tienen antenas.
Todos los X son Z Todos los insectos tienen antenas.

Silogismo inductivo
• Presenta una generalización estadística, puede ser una probabilidad exacta (porcentaje), o la
mayoría, muchos.
• Evaluación: Cuanto mayor sea el porcentaje, mayor será la fuerza de ese argumento.
• Estructura y ejemplo:

La mayoría (%) de los F son G El 90% estudia IPC y aprueba


X es F Juan estudia IPC
X es G Juan aprueba IPC

Sistemas axiomáticos
Origen de los primeros conocimientos geométricos
Los documentos encontrados en la Mesopotamia y Egipto no tenían conocimientos bien articulados,
si no aislados.

Geometría griega
• A partir del silgo VII a.C se comienza a desarrollar una forma de pensamiento para explicar
fenómenos naturales.
• Se intentaba explicar fenómenos naturales sin apelar a mitos o elementos sobrenaturales.
• Los conocimientos prácticos debían poder explicarse a partir de nociones teóricas.
• Conocimientos concretos, singulares y sin articulación pasaron a ser abstractos y de un grado
mayor de generalización.
• Surgen pensadores como Anaximandro y Anaxímenes.
• Nace el término CIENCIA.
Tales de Mileto
• Primeros matemáticos y astrónomos griegos, primeros en utilizar métodos deductivos en la
geometría.
• Principal contribución fue el tratamiento general de problemas geométricos (formular y aplicar
propiedades de carácter general).
Método deductivo: Permite justificar un enunciado a partir de otros ya conocidos.

Euclides y la geometría
• Sistematizó los conocimientos matemáticos/geométricos.
• Su obra más importante: ELEMENTOS
• Distingue 3 principios:
1. Postulados/axiomas: se refieren a una ciencia particular.
2. Nociones comunes: cuestiones generales que pueden aplicarse en la geometría, la ciencia o la vida
cotidiana.
3. Definiciones: Euclides define a los términos con los que trabaja, como punto o recta.
• A partir de postulados y nociones comunes, se obtienen deductivamente una serie de enunciados
llamados TEOREMAS o proposiciones.
Sistematizar: es presentar enunciados articulados, ordenados entre sí (mostrar cómo van
infiriéndose unos de otros).

Geometrías no euclideanas
• Gauss: vio la posibilidad de construir una geometría distinta en base al 5to postulado de Euclides.
• Bol-yai: exploró la hipótesis de la existencia de infinitas paralelas.
• Lobachevski – Geometría hiperbólica: desarrolló un sistema geométrico con los primeros 4
postulados de Euclides.
• Riemann – Geometría elíptica: expuso las consecuencias de negar el 5to postulado suponiendo la
inexistencia de rectas paralelas.
• Un sistema es consistente cuando no presenta ninguna contradicción:
- Sistemas formales: no hacen referencia a ninguna entidad concreta.

Geometría Cant. de paralelas Suma de los ángulos Recta


Euclides 1 180 infinita
Hiperbólica - Lobachevski infinitas -180 infinita
Elíptica - Riemman ninguna +180 cerrada

Sistemas axiomáticos contemporáneos

• Existen dos tipos de enunciados: axiomas y teoremas


Axiomas: Enunciados que se aceptan sin demostración; constituyen la base de las demostraciones.
Se aceptan como punto de partida de un sistema.
Teoremas: Enunciados que se demuestran. Se obtienen mediante reglas de inferencia.
• Reglas de inferencias:
Demostraciones: parten de axiomas o teoremas ya demostrados previamente
Enunciados: compuestos por expresiones: Lógicas - No lógicas (hay 2 tipos)
- Primitivos: se aceptan y emplean sin definición.
- Definidos: se definen a partir de los primitivos.
• Los sistemas axiomáticos actuales: reglas de formación- indican cómo construir sintácticamente los
enunciados.

Selección de axiomas:
• Regresión al infinito: si no tomamos un punto de partida, seguiríamos con ese proceso
indefinidamente.
• Circulo vicioso:

Propiedades de los sistemas axiomaticos


• Independencia: para que un sistema sea independiente todos sus axiomas deben serlo. Un
enunciado es independiente cuando no puede demostrarse a partir de los demás.
• Consistencia: un enunciado y su negación no pueden ser probados simultáneamente.
• Completitud: demuestra todo lo que pretende demostrar. Un sistema es completo cuando ninguna
verdad queda fuera.

También podría gustarte