Las tablas de verdad

Para hacer las tablas de verdad lo primero que debemos hacer es fijarnos en el numero de proposiciones o letras diferentes que tiene nuestra oración. Después haremos un calculo elevando el numero dos a la "n" siendo en el numero de letras diferentes que hay en la oración.ejemplo 2 elevado a la 2 seria cuatro entonces colocaríamos dos verdadera y dos falsas en la 1º columna y en la 2º columna una verdadera y una falsa hasta completar los 4 huecos.

P Q
v v
v f
f v
f f

Tabla del negador

P Ø P
v f
f v




Al igual que en la anterior contaríamos las proposiciones y haríamos el calculo. En este caso 2 elevado a la 1 es 2 y colocamos la mitad verdaderas y la mitad falsas. Para la negación debemos poner lo contrario de lo que aparezca en en la columna anterior.


Tabla del conjuntor

p q p^q
v f v
v v f
f f f
f v f

para que una conjuncion sea verdadera su dos miembros deben ser verdaderos sino será falsa.

Tabla de la disyuncion

p q pvq
v v v
v f v
f v v
f f f

Para que la disyuncion sea verdadera al menos un termino lo ha de ser de lo contrario sera falsa.

Tabla del condicional

p q p--->q
v v v
v f f
f v v
f f v

Un condicional solo es falso cuando el antecedente es verdadero y el consecuente falso

Tabla del bicondicional

p q p<-->q
v v v
v f f
f v f
f f v

Para que un bicondicional sea verdadero sus dos miembros deben ser verdaderos o falsos.

Interpretación de una tabla de verdad


Tautología: todos sus valores ultimos seran verdaderos.
Contradiccion: sus resultados ultimos seran todos falsos.
Indeterminación:sus ultimos resultados seran verdaderos y falsos.

La logica proposicional

Enunciado: es toda proposicion con sentido completo y puede ser verdadera o falsa

Variables: son las letras con las cuales se remplazan los enunciados suelen utilizarse:p, q, r, s

Las conectivas:

-La conjuncion: sería la letra "y"simbolizada con "^"
-La disyunción: corresponde a la lertra o del lenguaje normal y se simboloiza con "v"
-El condicional: vndria a ser la palabra entonces en nuestro lengua je pero precedida por la palabra si ejemplo: si llueve me mojare. Esto viene simbolizado con una flecha hacia la derecha -->
-El bicondicional: se utiliza en las frases del tipo siguiente: si y solo si (antecedente) . . . entonces (consecuente). Para representarlo usariamos <-->
-Parentesis y corchetes:son los signos de puntuación utilizados paraseñalar la agrupacion de los componentes, indicar el conector principal, evitar la ambigüedad y reconocer la forma de un enunciado.

La verdad formal

Las afirmaciones en la lógica, no son verdaderas o falsas, sino correctas o incorrectas.

- La L. prescinde del significado semantico.
- Averigua la valided o invalided del orden, estructura y coherencia.
- La verdad solo se aplica a los hechos reales (V.material).
- Solo se mueve en las ideas, no dice si es verdad o no, solo lo correcto. VERDAD FORMAL.

Texto: Voldemorth
Fuente: Libro de Filosofía 1ºBachiller.

¿Qué es razonar?

Tenemos que diferenciar dos conceptos:

-Razonamiento: conjunto de enunciados que presenta una serie de afirmaciones o juicios, de forma estructurada.

-Razonar: es deducir una conclusión a partir de premisas.

"Esto depende de su coherencia puede ser concreto o incorrecto"

Conceptos:
a)Premisas: datos fijos que tenemos para el punto de partida y no se cuestionan.
b) Deducción: acto de la razón mediante el cual, a partir de datos, obtengo resultados.
c) Conclusión: resultado y finalidad del razonamiento.

Para hallar una conclusión mediante las premisas se usan reglas.

Ej.:
Falacia del consecuente: es un argumento que parece verdad, pero que en realidad no lo es.

Texto: Voldemorth
Fuente: libro de filosofía 1ºBachiller.

¿Qué es la lógica?

Se trata del segimiento del "pensamiento racional" en Grecia; aparecio la necesidad de estudiar y analizar el pensamiento.














Lógica: ciencia que estudia las formas generales de nuestro pensamiento, es decir, el RAZONAMIENTO CORRECTO, que posee orden en nuestros pensamientos y en las palabras que expresan.

Texto: Voldemorth
Foto: Internet
Fuente: libro de filosofía 1ºBachiller.

La lógica simbólica ( 2º parte )

- El lenguaje formal:

El lenguaje formal es el que se ha construido para evitar los errores del lenguaje natural; de esta forma se han construido lenguajes artificiales como el de las matemáticas o la lógica, sus caracteristicas son:

1. Usa unicamente simbolos.
2. Estos simbolos se enlaza mediante operadores.
3. Poseen unas reglas que sirven para utilizar y operar corectamente con los simbolos.
4. Prescinden del significado semantico, solo importa que el razonamiento este bien construido.

De esta manera evitamos la ambiguedad, la introduccion de elementos no cuantificables y se puede usar en varios contextos.