TABLAS DE VERDAD

TABLAS DE VERDAD

IDENTIFICACIÓN DE SÍ MISMO EN EL CONTEXTO HUMANÍSTICO UNIDAD 1 R.A. 1..2 DR. JORGE PABLO HERNÁNDEZ ESCOBAR

TABLAS DE VERDDAD

OTROS SIMBOLOS

ESTRUCTURA

PARTICULAS LÓGICAS

DEFINICIÓN

TABLAS DE VERDAD Conjunción La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando ambas son verdaderas. Una tabla de verdad es un instrumento que nos permite analizar los valores de verdad que una proposición simple o compuesta puede asumir de acuerdo con determinada interpretación Disyunción La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. En términos más simples, será verdadera cuando por lo menos una de las proposiciones es verdadera de lo contrario será falsa. Condicional Es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso. Bicondicional Es una proposición que tiene una doble condicionalidad, fijada por las fórmulas que relaciona de manera binaria. En el lenguaje coloquial, la idea está asociada a la expresión “si y solo si”: el bicondicional es verdadero si los términos que relaciona comparten el valor de verdad (es decir, si las dos fórmulas son verdaderas o si las dos fórmulas son falsas). En cambio,cuando las fórmulas tienen diferente valor de verdad (ya que una es falsa y la otra verdadera), el bicondicional es falso.

LA CONJUNCION Está representada por el punto (.) algunos autores también utilizan este símbolo (/\); comúnmente, sin embargo, el punto está más extendido y representan las partículas gramaticales y, ni, e, porque ,aunque, etc. LA DISYUNCION Expresa la función lógica inclusiva de la O y se representa por el símbolo V. EL CONDICIONAL Expresa la función lógica del sí… Entonces , y es representada por la flecha ( ), aunque también se puede utilizar el símbolo de La Herradura. DOBLE CONDICIONAL Se le llama también equivalencia y empresa realiza la sección lógica de sí y sólo sí y se representa, ya sea por él l símbolo de equivalencia (= ) o una doble flecha ( ).

DEFINICION La lógica simbólica es un sistema formal que analiza los signos y lo que designan. El positivismo lógico entiende que el significado es la relación que existe entre las palabras y las cosas, y su estudio tiene un fundamenta empírico: puesto que el lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, la lógica simbólica usa una notación matemática para establecer lo que designan los signos, y lo hace de forma más precisa y clara que la lengua también constituye por sí misma un lenguaje, concretamente un metalenguaje (lenguaje técnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es objeto de un determinado estudio semántico.

OTROS SIMBOLOS EJEMPLO 1 P= números Q= números complejos R=números negativos La Negación: Su símbolo varía; según algunos autores, el símbolo utilizado es “N” , otros es este (~) ; y otros es una especie de (7) Se utilizan los paréntesis para unir enunciados con el propósito de relacionarlos con otros el resultado será un enunciado más complejo. EJEMPLO 2 P= dientes Q= incisivos R= caninos S= molares VALORES DE VERDAD: Una proposición o enunciado puede ser verdadero o falso y se representa por los símbolos V y F.

ESTRUCTURA Es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados. Para su estudio, se divide en lógica formal, lógica aplicada y lógica simbólica. Lógica formal: es la parte de la filosofía que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error. Lógica Aplicada: es la que estudia las formas o estructura del pensamiento adaptándose al objeto de estudio de las distintas ciencias. La Lógica Matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.