Vous êtes sur la page 1sur 9

CALCULO DE ARGUMENTOS POR TABLAS DE VERDAD

CONSISTENCIA DE LAS PREMISAS POR LAS TABLAS DE VERDAD

Una tabla de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

TABLAS DE VERDAD

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, encontrndonos con los siguientes casos:

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:

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

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. (Columnas 1, 2, 3) Una columna (Columna 4) 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.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5)

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 forma en que estn establecidas las relaciones de unas con otras.

TAUTOLOGA
En lgica, una tautologa ("decir lo mismo") es una frmula bien formada de un sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas. La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no.

Las tautologas se constituyen como leyes lgicas o verdades formales y son la base sobre la que se construyen las reglas de inferencia en el razonamiento o clculo lgico.

PROPOSICIN ATMICA Y MOLECULAR


La posibilidad de un enunciado atmico o simple, simbolizada con una sola variable. Estas proposiciones se llaman atmicas. Si establecemos conexiones lgicas entre varias proposiciones segn unas reglas perfectamente establecidas en sus elementos simblicos y definidas como funciones de verdad, construiremos proposiciones moleculares o compuestas. As la proposicin Si llueve entonces el suelo est mojado, enlaza la proposicin llueve con la proposicin el suelo est mojado, bajo el aspecto de funcin de verdad si entonces...

EJEMPLO:
1. Clasifica las siguientes proposiciones en atmicas (A) o moleculares (M): El humo es molesto para los ojos o estudio o voy al baile la caracterstica mas importante del colombiano es su evidente sentido de patria la lluvia te moja sino tienes paraguas las brujas no existen Can y Abel eran hermanos

2. Simbolizar la proposicin:

Gabi no toca la batera si y solo si Luis no toca el clarinete y Nubia no toca el saxofn.

Gabi toca la batera Luis toca el clarinete Nubia toca el saxofn.