UNIVERSIDAD DE SAN CARLOS DE GUATEMALA ESCUELA DE DISEO GRAFICO Licda.

ANA MARA SAAVEDRA LPEZ

Tabla de verdad

Jos Rolando Reyes Ceballos Carne: 200910601 Seccin: C Guatemala 12 de Marzo del ao 2013

Tabla de verdad
Una tabla de verdad es una tabla que muestra la los valores de una proposicin compuesta, estas proposiciones deben se hacen en funcin de construir un sistema que haga posible la formacin de argumentos: Razonamientos deductivos lgicos Construccin de un sistema matemtico puro Aplicacin lgica en un circuito de conmutacin.

Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposiciones que la integran. En la tablas de vedad son muy importantes los conectivos lgicos. Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada conectiva lgica puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la conectiva para cada combinacin de valores de verdad. A continuacin hay una tabla con las conectivas ms usuales y su definicin mediante tablas de verdad:

Ilustracin 1: conectivos lgicos. Tabla tomada de www.wikipedia.org

Cuantificadores.
En lgica, teora de conjuntos y matemticas en general, los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, entre los ms utilizados estn:

Cuantificador universal Para todo x, y...

Cuantificador existencial

Existe al menos un x, y...

Cuantificador existencial nico

Existe exactamente un x, y...

Negacin del cuantificador existencial

No existe ningn x, y... Notaciones: Verdadero: El valor verdadero se representa con la letra V; si se emplea notacin numrica se expresa con un uno: 1. Falso: El valor falso se representa con la letra F; si se emplea notacin numrica se expresa con un cero: 0. Variable: Para una variable lgica A, B, C,... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen as:

Negacin: La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

Conjuncin: La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente 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. La tabla de verdad de la conjuncin es la siguiente:

Disyuncin: La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente 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. La tabla de verdad de la disyuncin es la siguiente:

Implicacin o condicional: El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional material es la siguiente:

Equivalencia o bicondicional: El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente. La tabla de verdad del bicondicional es la siguiente:

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: . Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. Una columna en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas. Una columna en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A y valores de la columna , que representarn los valores de la proposicin completa de los valores de A, B, y C que consideremos. , cuyo valor de verdad es V o F segn la fila es V y cundo

Donde podemos comprobar cundo y por qu la proposicin es F.

Contradiccin
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la formaen que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, la conjuncin de ambas da falso en todos los casos.

Tautologas
Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la formaen que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos.

Trabajos citados
Ecelan. (15 de 10 de 2006). enciclopedia web multilinge, 65. Recuperado el 20 de 10 de 2012, de Wikpedia: http://es.wikipedia.org/wiki/Feminicidio Piaget, J. (1993). Estudios sobre lgica y psicologa (1 ed., Vol. 25). (J. Jdar, Ed.) Barcelona, Espaa: Atalaya. Reyes, E. (22 de 01 de 2012). Cuales son los conectivos lgicos. En famialia. (R. Jos, Entrevistador, & R. Jos, Editor) Guatemala, Guatemala: JRRCEBALLOS. Runes, D. D. (1998). Diccionario de Filosofa (Decimoquinta ed.). (A. Domnec, S. Estrada, J. Garca, & S. Manuel., Trads.) D.F., Mxico: Grijalbo, S.A.