Resumen Pensamiento Critico y Comunicación

Lógica Formal
La lógica formal o deductiva es estudia los razonamientos desde el punto de vista sintáctico, es decir, de su estructura o forma.

Tipos de lenguajes:
 Naturales: se adquieren involuntariamente, términos vagos (‘mucho’) y ambiguos (‘gato’). Ej: español, ingles.
 Artificiales: fueron creados para una finalidad específica, a veces, científica. Se adquieren voluntariamente. Hay mayor
precisión de los términos.

Proposiciones
Proposición: oración a la que tiene sentido atribuirle verdad o falsedad.
La proposición es la unidad mínima de análisis de la lógica.
Una proposición es verdadera si se corresponde con el hecho que describe y es falsa si no se corresponde con él.

Tipos:
 Una proposición simple (o atómica) es aquella que no incluye dentro de sí otra proposición. Ej: El gato es un felino.
 Una proposición compuesta (o molecular) es la que contiene dentro de sí otra proposición. Su valor de verdad está
determinado por el valor de verdad de las proposiciones que la componen. Ej: El gato es un felino y es muy ágil.

Clasificación lógica de los términos

 Términos descriptivos: hacen referencia a algún tipo de entidad. Ej: Rio de la Plata, Caballo, estudioso.
 Términos lógicos: cumplen una función sintáctica. Tienen significado cuando se combinan con otras expresiones. Ej: y,
aunque, o bien, todos.

Conectivos lógicos

 Si solo si para que ocurra esto se tiene que dar esto, pero también a la inversa
 Inmoral, infértil, introvertido: es negación si hay otra negación es doble negación. --
 Excluyente: o pasa esto, o pasa lo otro, descarto una posibilidad, una es verdad si o si. O bien o bien
 Incluyente: o pasa esto o pasa lo otro las dos pueden ser verdad
 Si no es cierto que, -()
 No es verdad que –()
 Si se conectan dos enunciados colocando la palabra “si” antes de la condición – llamada antecedente - y después de la
palabra “entonces” o la coma , el consecuente; la proposición compuesta resultante se llama un condicional,
proposición hipotética o implicación.
1
 Pedro y Lautaro son colegas. Es solo p
Es necesario que: invierten el condicional.

Conectivas y el lenguaje Natural

 Condicionales: Por ser Formal, no interesa su contenido, sino la forma de razonamiento; por eso no es necesario que
tenga correspondencia con el mundo.
 Antecedente: La condición. Generalmente siempre va primero. Si, siempre que, es condición suficiente.
 Consecuente: Es la proposición que se afirma bajo la condición, es decir, lo que sucedería si el antecedente se cumple.
Va primero cuando dice “es condición necesaria., únicamente si, solo si, entonces, .”

Por ejemplo: "Si apruebo Pensamiento Científico, me voy de vacaciones"

                                    Antecedente                            Consecuente
Recordar: El punto separa las premisas.

Tablas de verdad
La cantidad de posibilidades se establece como 2 X, donde x es la cantidad de proposiciones.
Iniciar el análisis con la menor conectiva
Ej:
[(p  q )  ( q  r ) ]  ( p  r )
1 3 2 5 4
[(  q  (q  r)]  (p  r)
p )
V V V V V V V V V V V
F V V V V V V V F V V
V F F F F V V V V V V
F V F V F V V V F V V
V V V F V F F V V F F
F V V V V F F V F V F
V F F F F V F V V F F
F V F V F V F V F V F
TAUTOLOGÍA

Cuando el resultado de la tabla de verdad da todo verdadero es una tautología. Las premisas implican lógicamente a la
conclusión. Son necesariamente verdaderas.

2
Cuando el resultado mezcla de verdaderos y falsos es una contingencia.
Cuando el resultado es todo falso es una contradicción. Son necesariamente falsas.

Tablas

Negación F V F
-p
F V Disyunción Incluyente
V F p  q
V V V
Conjunción F V V
p  q V V F
V V V F F F
F F V
V F F
F F F Disyunción Excluyente
p  q
Condicional V F V
p  q F V V
V V V V V F
F V V F F F
V F F
F V F

Bicondicional
p  q
V V V
F F V
V F F

Relaciones Lógicas
MIRAR RESULTADOS UNO A UNO EN CADA RENGLON
 IMPLICACIÓN LÓGICA: si y sólo si, cuando en la tabla de verdad A es verdadera y B no es falsa. Una formula A implica
lógicamente a una formula B, siempre, salvo cuando ocurre el caso en que A es verdadera y B es falsa. Si hay
implicación hay deducción, pueden ser ambas falsas. Renglon a renglón si en un renglón no pasa lo anterior ya no hay
implicación completa.
 DEDUCIBILIDAD: B se deduce de A, si y sólo si cuando A es verdadera en un renglón B no es falsa en un renglón. Una
formula B se deduce de una formula A siempre, salvo cuando ocurre el caso en que A es verdadera y B es falsa.
Siempre hay implicación lógica también. Cuando dice se deduce de X se deduce de Y Y es A y X es B Con que en un
renglón no pase ya la formula es falsa total.
 EQUIVALENCIA LÓGICA: si ambas tablas de verdad tienen el mismo resultado. Hay implicación y deducibilidad mutuas.
 CONTRARIEDAD: cuando no son ambas fórmulas son verdaderas en el mismo renglón de la tabla.
 SUBCONTRARIEDAD: cuando no resultan ambas falsas en el mismo renglón.
 CONTRADICTORIEDAD: cuando no resultan ambas verdaderas y ambas falsas en el mismo renglón.

Tipos de razonamiento
Conjunto de enunciados o proposiciones (dos o más) que deben estar vinculadas de manera tal que una de ellas (la
conclusión) se afirme sobre la base de la/las otras (premisas).
Tiene el propósito de fundar unas afirmaciones en otras. De extraer unos conocimientos a partir de otros

Simbolización de razonamientos
Expresiones derivativas

3
  Premisa: porque, dado que, debido a que, puesto que, ya que, pues, a causa de que, etc. Indican razones, el
fundamento. Antes de ésta esta la conclusión.
 Conclusión: por lo tanto, por lo cual, con lo cual, por ende, por consiguiente, en consecuencia, de ahí que, luego, etc.
 Premisas: Conjunto de enunciados que se ofrecen como razones → Las premisas sostienen, abonan,
establecen o dan razones a favor de la conclusión.
 Conclusión: Es una oración a favor de la cual se argumenta y es única → Puede aparecer en cualquier lado
del argumento.

Cuando pongo p, q etc, es lo especifico y A y B son las formas abstractas. Punto y seguido y también el pues cambia la premisa,
las separa.

Validez
La validez es la encargada de transmitir la verdad, asegura que si la forma de razonamiento es válida, la conclusión va a ser
verdadera.
Es importante mencionar que la validez de un razonamiento no depende de los valores veritativos de las proposiciones que lo
componen. Las premisas implican lógicamente a la conclusión (Tautología)

- Razonamiento válido + conclusión falsa = Por lo menos una de las premisas es falsa.

Formas válidas e inválidas 

La validez de los razonamientos depende de su forma. Si la forma es válida y las premisas son verdaderas, la conclusión
necesariamente también será verdadera.

Ej: V/V: premisas verdaderas y conclusión falsa.

4
Formas Validas
Reglas Lógicas

8. ADICIÓN

5
Leyes Logicas

Ley de De Morgan
La ley de Morgan sería algo así como la distributiva de la negación. Tiene dos formas en las que se puede aplicar la ley. A partir
de una proposición en conjunción negada, se puede obtener la negación de cada uno de los conjuntivos, pero cambiando el
conectivo a disyunción, pero cambiando el conectivo a conjunción.

─ ( p  q )  (─p v ─q )

─(pvq)(─p─q)

Ley de Definición del Condicional

También se la llama Ley de Implicación Material. Esta ley permite cambiar el conectivo principal de la proposición
“condicional” por “disyunción”, pero negando el antecedente, o bien por la negación de la conjunción del antecedente y el
consecuente negado
(AB)(─AvB)

(p  q )  ( ─ p v q )

(pq)─(p─q)

Ley de Doble Negación

Una proposición doblemente negada es igual a su afirmación y viceversa.
p─(─p)
──pp

Ley Conmutativa
Esta ley puede aplicarse con conjunción, disyunción y bicondicional. Con el único conectivo que no puede aplicarse es con el
condicional. Cambia el orden de las proposiciones sin modificar el conectivo.
( p  q )  ( q  p)

6
( p v q )  ( q v p)

Ley de Transposición del Condicional

La trasposición de una preposición condicional es una proposición con el mismo conectivo condicional cambiando las
preposiciones antecedente y consecuente y negándolas respectivamente
(p  q)  (─q  ─p)

Técnica del Condicional Asociado (TCA)

Se abstrae la forma lógica de un razonamiento.
Se forma un condicional (llamado condicional asociado a dicho razonamientos) que tenga como antecedente la conjunción de
sus premisas y como consecuente su conclusión.
Se realiza la tabla de verdad. Si el resultado de la tabla es una TAUTOLOGÍA se trata de un razonamiento válido. De lo contrario
(contradicción o contingencia), será inválido.

7
Método de la Demostración (mas de 3 premisas)
Cuando los razonamientos contienen varias proposiciones atómicas diferentes como componentes, se hace difícil y tedioso
utilizar tablas de verdad para probar su validez.
Un método más conveniente es DEDUCIR las conclusiones de sus premisas por una secuencia de razonamientos más cortos y
más elementales que ya se conocen que son validos y aceptados como reglas de inferencia, que es todo esquema valido de
razonamiento independientemente de la interpretación de las proposiciones compuestas.
Lo primero que hay que hacer es enumerar cada una de las premisas y colocarlas en columna. Numeramos cada una de las
premisas. A la conclusión se le coloca el signo / y se coloca la conclusión, ya que es el teorema a demostrar.

El procedimiento del método demostrativo consiste en dejar de lado la conclusión, pues es a donde se deberá llegar al finalizar
la operación de prueba, y de este modo se demostrará la conclusión, y por ello que el razonamiento es válido. Hay que operar
en las premisas aplicando las reglas lógicas (cuadro de la página siguiente). Las nuevas formas proposicionales que vayamos
obteniendo, se colocan encolumnadas y numeradas debajo de la última premisa, e indicando al lado en qué premisa o entre
cuáles aplicamos alguna regla lógica y qué regla aplicamos (poner abreviaturas). Si se logra llegar a la conclusión, partiendo de
las premisas y efectuando transformaciones legítimas por las reglas lógicas; el razonamiento es válido. Pero si por la aplicación
reiterada de las reglas lógicas no se puede llegar a la conclusión, habrá una gran posibilidad de que el razonamiento no sea
válido.

8
Argumentos Inválidos

Lógica Cuantificacional

propociciones categóricas en los universales tanto afirmativo como negativo los predicados se conectan con un condicional.
En la existencial se conectan con conjunción.