Clase 8, 9 y 10 Ejercicio N°3

Otro tipo de razonamientos… Razonamientos Proposicionales

Proposición → simples/atómicas
→ complejas/moleculares (dos afirmaciones en una premisa)

¿Qué determina si un razonamiento proposicional es válido o inválido?

→ el significado de las expresiones conectivas (en premisa y conclusión)
→ la ubicación de las proposiciones simples

Razonamiento proposicional a diferencia de los silogismos...

→ pueden tener cualquier número de premisas
→ las premisas y la conclusión pueden tener estructuras mucho más numerosas (silogismos A, E, I, O)

Lógica proposicional: el sistema lógico que permite poner de manifiesto el esquema de estos razonamientos
Para explicitar sus componentes usamos ↲
Lenguaje formal
- Incluye un vocabulario (símbolos)
- y reglas sintácticas, que nos dicen cómo combinar los símbolos
Vocabulario:
- Las proposiciones simples, serán representadas por letras proposicionales, letras minúsculas de imprenta,
comenzando por la “p”
→ éstas serán las variables lógicas, de la lógica proposicional. Porque su significado es variable
- Por lo tanto hay que explicitarlo en un diccionario
- Las expresiones usadas para unir proposiciones simples serán simbolizadas por conectivas
↓
son las constantes lógicas de la lógica proposicional. Xq su significado es siempre el mismo en la tabla de verdad

Constantes lógicas: ￢, ＾, v, →, ↔
Variables lógicas: p, q, r, s, etc.
Signos auxiliares: los paréntesis (que se usan cuando hay más de una conectiva, para indicar cual es la principal,
la que tiene mayor alcance)

Dentro de todas las expresiones que pueden conectar proposiciones, la lógica proposicional sólo toma las
conectivas veritativo-funcionales
↳son todas aquellas que dan lugar a proposiciones cuyo valor de verdad depende sólo del valor de
verdad de las proposiciones conectadas. Por lo tanto, a partir del valor de verdad de las
proposiciones atómicas, podemos saber el valor de verdad de las moleculares.
Negación ￢ no es cierto que, es falso que, nunca, des-...
Conjunción ＾ (armar una proposición mas compleja que será verdadera, si ambas partes unidas son verdaderas)
y, tanto, como, pero, aunque
Disyunción v (todas aquellas que armen una proposición más compleja, que únicamente sea falsa si las partes
unidas son ambas falsas) … o ….
Condicional → “implicación material”. Si… entonces…, es suficiente que, basta que.
Antecedente → Consecuente
condición suficiente ↲ ↳ condición necesaria

Antecedente Consecuente

Si A, entonces B A → B A solo si B A → B
A, si B B → A Solo si A, B B → A
Basta que se dé A, para que se dé B A → B A es condición necesaria para B B → A
Para que se de A, basta que se dé B B → A Para que se de A, es condición necesaria que se de B
A es condición suficiente de B A → B A→B
Para que se dé A, es condición suficiente que se de B
B→A

Bicondicional: ↔ “equivalencia material”. Si y sólo si.., siempre y cuando, es condición necesaria y suficiente,
equivale a…
Tabla de Verdad 1= verdadero 0= falso

￢ A A ＾ B A v B A → B A ↔ B

0 1 0 0 0 0 0 0 0 1 0 0 1 0

1 0 1 0 0 1 1 0 1 0 0 1 0 0

0 0 1 0 1 1 0 1 1 0 0 1

1 1 1 1 1 1 1 1 1 1 1 1

“Fórmula molecular” falsa o verdadera según el valor de la conectiva

Para negar A ￢A (proposición atómica)

Para negar A v B ￢(A v B) (proposición molecular)

Paso a paso de una simbolización…

1° Buscar indicadores de premisas y conclusión
2° Premisa 1:---------
Premisa 2:----------
Conclusión: --------
3° Identificar las conectivas
4° Asignarles una letra a las proposiciones atómicas (diccionario)
5° Simbolización de cada premisa y conclusión (p → q)
6° Esquema
ej: p → q
s→r
q＾s
---------
p＾r

Método para determinar si un razonamiento proposicional es válido o no

→ Método indirecto de asignación de valores de verdad

Partiremos de suponer que el razonamiento es invalido (premisas verdaderas y conclusión falsa): esa será nuestra
hipótesis inicial. Si luego resulta que esa hipótesis nos lleva a una contradicción, nos veremos obligados a negar
nuestra hipótesis por imposible y concluimos que el razonamiento era, en realidad, válido.
Así habremos probado su validez de manera indirecta: mostrando que es imposible que sea invalido.

→Para asignarles valor a cada premisa y a la conclusión:

- si alguna de ellas es una proposición simple, la simbolizamos con una letra proposicional y pondremos su
valor de verdad debajo de esa letra (las premisas siempre 1 y conclusión 0)
- Si alguna es una proposición compuesta, pondremos su valor de verdad debajo de su conectiva principal.
- se separan las premisas con (;) y la conclusión con (⊨)

ej: p→q;s→r;q＾s⊨ p＾r

1 1 1 0
1 1
1 1 1 1
0 0 invalido

3. Si está empadronado pero no tiene DNI, no puede votar. En consecuencia puede votar, puesto que tiene DNI y
está empadronado.
… conectivas
… indicadores de premisa/conclusión
Diccionario:
p: está empadronado
q: tiene DNI
r: puede votar

(p ^ ￢q) → ￢r ; q ^ p = r
1 1 0
1 1
1 0 1
0
1 invalido

Para premisa condicional

Falacia: forma de razonamiento que parece correcta, pero que resulta no serlo cuando se la analiza
cuidadosamente. Copi.

Esquemas válidos de razonamientos proposicionales:

Error de conversión Error de inversión

(o falacia de afirmación del consecuente) Cualquier
razonamiento que tenga como una de sus premisas a
una proposición condicional (A→ B), como otra premisa
al consecuente de ese condicional (B) y como
conclusión el antecedente (A), será inválido
(o falacia de negación del antecedente) Cualquier
razonamiento que tenga como una de sus premisas a
una proposición condicional, como otra premisa a la
negación del antecedente (￢A), y como conclusión a la
negación de su consecuente (￢B), será inválido

Esquemas válidos de razonamiento:

Modus Ponens Modus Tollens

cualquier razonamiento que tenga de premisa será válido cualquier razonamiento con premisa
condicional (A→ B), otra premisa su antecedente (A), y condicional, otra premisa con negación del
como conclusión su consecuente (B), será válido. consecuente (￢B), y con conclusión con negación del
antecedente (￢A)

❌ BA → B ￢p → q
q
✅AA → B ￢p → q
￢p
❌￢AA → B ✅￢BA → B
--------- ---------- --------- ----------- ----------- ----------
A ￢p B q ￢B ￢A

A y B son metavariables. A siempre es antecedente (pero puede que quien ocupe el lugar de A sea ￢p por
ejemplo)
B siempre es consecuente (pero puede que quien ocupe ese lugar sea q por ejemplo)