Lógica formal e informal

LA

LÓGICA

FORMAL

e informal

ÍNDICE

Reglas de la argumentación

¿Qué es la lógica proposicional?

2ª Misión

El lenguaje de la lógica proposicional

Las falacias

Las tablas de verdad

3ª Misión

1ª Misión

¿Qué es la lógica proposicional?

La lógica es la ciencia que tiene por objeto las reglas de validez formal (corrección o no corrección) de los argumentos. Un razonamiento es un conjunto de proposiciones relacionadas de tal manera que de ellas se deriva necesariamente una proposición distinta (la conclusión). Las premisas de las que partimos se llaman premisas. La lógica proposicional, para evaluar si los argumentos son correctos, utiliza un lenguaje concreto. De esta manera, podemos traducir a ese lenguaje las expresiones y argumentos del lenguaje natural y comprobar si realmente la conclusión se sigue de las premisas.

El lenguaje de la Lógica proposicional

Pon el cursor sobre las imágenes para saber más y empezar a practicar

SÍMBOLOSAUXILIARES

VARIABLES PROPOSICIONALES

CONECTORES

PRACTICAMOS!!

1. Sueño que vuelo y que viajo por el mundo, pero siempre acabo despertando. 2. Si nos visitaran unos extraterrestres no sería para exterminarnos. Vendrían a conocernos. 3. Sólo si se mantiene la filosofía podemos aprender a pensar críticamente y a ser más creativos. O el gobierno la mantiene o tendremos una sociedad de borregos. 4. Me sube la bilirrubina cuando la miro y no me mira. 5. No es verdad que las mujeres sean débiles y los hombres no puedan llorar.

TABLAS DE VERDAD

Toda proposición puede ser verdadera (V) o falsa (F). Las tablas de verdad son un método para saber si una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F)

Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante una contradicción

Pulsa en el símbolo que encontrarás debajo de este texto para aprender más sobre cómo hacer tablas de verdad.

TABLAS DE VERDAD

Conjunción

Disyunción

Negación

Imaginemos que tenemos un enunciado como: "No voy a ir a entrenar hoy" Podemos expresarlo en lógica proposicional así: ¿Cuál es su tabla de verdad?

Ahora tenemos este otro enunciado: " Voy a entrenar y luego voy a cenar" Lo expresamos así: Y su tabla de verdad sería la siguiente:

Veamos la disyunción, formalizamos este enunciado "iré a la piscina o me quedaré leyendo en casa" Fijáos en su tabla de verdad:

p v q

p & q

¬p

¿Qué os llama la atención?¿Por qué creéis que es así?

TABLADEL CONDICIONAL

TABLA DEL BICONDICIONAL

pincha AQUÍ para practicar

1ª MISIÓN

LA ARGUMENTACIÓN

2ª MISIÓN

FALACIAS DE PERTINENCIA

Ad Hominem

Ad Verecundiam

Ad Populum

Ad Baculum

Ad Ignorantiam

Ad Antiquitatem

TEXTOS E IMÁGENES SACADOS DE:http://falacias.escepticos.es/

OTRAS FALACIAS

Generalizaciónapresurada

Afirmación del consecuente

TEXTOS E IMÁGENES SACADOS DE:http://falacias.escepticos.es/

Falsa causa

3ª MISIÓN