Académique Documents
Professionnel Documents
Culture Documents
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:
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 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:
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.