1. ¿Cómo evaluar la validez
de los argumentos?
Tema 3
3ro medio
diferenciado
2. Objetivos:
• Adquirir herramientas lógicas básicas para construir y
evaluar argumentos que busquen dar respuesta a las
preguntas filosóficas
• Evaluar y contrastar métodos de razonamiento para
abordar un concepto o problema filosófico
3. ¿Qué haremos?
Conoceremos herramientas lógicas para evaluar
estratégicamente la validez de los argumentos que se usa
para responder las preguntas filosóficas
1. Definiciones Lógicas
3. Reglas de Inferencias 4. Ejercitación
2. Conectores Lógicos y
Tablas de Verdad
4. ¿Qué es una Proposición?
Es una oración a la que se le puede asignar un valor de
verdad (V / F)
Ejemplos:
2 es un número primo
Las vacas son mamíferos y los ornitorrincos también lo
son
5. Tipos de Proposiciones
Las proposiciones compuestas están formadas por proposiciones simples,
pero su valor de verdad no es necesariamente el mismo
a. Simples (atómicas) son proposiciones sin conectivos lógicos
se suelen es escribir como p, q, r, etc.
Ejemplo: Las vacas vuelan (p)
b. Compuestas (moleculares) son proposiciones con conectores lógicos
se suelen escribir como ~ ˄ ˅ ̸ → ↔ w ↓
Ejemplo: Las vacas no vuelan (~p)
6. Carácter de una Proposición
Tautología
La proposición es
Verdadera para todas
la evaluaciones
Contradicción
La proposición es
Falsa para todas las
evaluaciones
Contingencia
El valor de verdad
puede ser Verdadera
o Falsa
7. ¿Cómo formalizar?
1. Identificar las proposiciones simples
2. Identificar los conectivos
3. Reemplazar p, q, etc., en la proposición original
4. Reemplazar los símbolos de los conectivos
Ejemplo: “Si no desayuno y no duermo, ando de mal humor”
1. p: desayuno
q: duermo
r: ando de mal humor
2. Si, entonces, y, no
3. Si no p y no q, entonces r
4. (~p˄~q)r
8. Conectivos lógicos
- Son operadores entre proposiciones
- La proposición final tiene su propio valor de verdad
- Conectivos:
a. No (~)
b. Y (˄)
c. O (˅)
d. Si, entonces (→)
e. Si y sólo si (↔)
f. O...o (w)
g. Ni…ni (↓)
h. Incompatible (/)
9. Valores de verdad de conectivos
p q ~p ~q p˄q p˅q p→q p↔q pwq p↓q p/q
V V F F V V V V F F F
V F F V F V F F V F V
F V V F F V V F V F V
F F V V F F V V F V V