Tablas de verdad.

MOMENTO INTERMEDIO PASO 2

USO DE LAS TABLAS DE VERDAD

VICTOR CARDENAS RODRIGUEZ

CÓDIGO: 1085315239

GRUPO: 383

TUTORA:

MARIA JOSE CHARFUELAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LÓGICO Y MATEMÁTICO

CEAD PASTO

24 DE OCTUBRE DEL 2016

OBJETIVOS

-Generar la Lógica Proposicional, así como establecer una clasificación de todas las proposiciones y las características que estas conllevan.

-Distinguir todos los conectores lógicos y las representaciones en las tablas de verdad. -Analizar los enunciados de una problemica del mundo actual Representando a través del álgebra proposicional y así establecer el valor de verdad, Y por último clasificar en tautología, contradicción o contingencia según lo amerite el caso.

-Idealizar todas las proposiciones categóricas ya sean enunciados los cuales representan un evento. -Representar a través de un gráfico los Diagramas de Venn un enunciado llamado silogismo.

INTRODUCCIÓN

En este trabajo se busca conceptualizar, analizar, y argumentar de una manera adecuada aquellos procedimientos que van desde la lógica proposicional utilizados para así poder demostrar la veracidad y validez de situaciones que ocurren día a día. Verificando así, si la tabla de verdad generada es una tautología, Contradicción o contingencia. Al igual que demostrando pro medio de una gráfica de venn el desarrollo de una premisa.

1.Conceptualizacion:

Las cuatro Tablas de verdad: conjunción, disyunción, implicación y bicondicional.

Las tablas de verdad son una estrategia de la lógica simple la cual permite establecer la validez de varias propuestas con respecto a cualquier situación, es decir, esta determina las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo así clasificarlos en tautológicos, contradictorias o contingentes.

Esta permite diferentes aspectos de un enunciado, ya sea como las condiciones que lo hacen verdadero y cuáles son sus conclusiones lógicas, es decir, si el enunciado que se propone es verdadero o falso.

El señor Charles Sander Peirce fue el precursor de esta tabla en 1880 pero la más utilizada es el modelo actualizado en 1921 por Luidwin Wittgenstein.

Existen 5 tablas de verdad:

-La tabla del ‘’Y’’ o conjunción:

La conjunción opera sobre dos valores de verdad, comúnmente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando ambas proposiciones son verdaderas y falso en cualquier otro caso.

-La tabla del ‘’V’’ o disyunción:

La conjunción opera sobre dos valores de verdad, comúnmente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando una de las proposiciones es verdadera o cuando ambas lo son y falso cuando ambas son falsas.

-La tabla del entonces o condicional:

Opera sobre dos valores de verdad, los valores de verdad de dos proposiciones, devolviendo asi el valor de verdad falso solo cuando la primera proposición es verdadera y la segunda falsa.

-La tabla de la equivalencia o bicondicional:

Funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando las dos proposiciones tienen el mismo valor de verdad, y falso cuando sus valores difieren.

-La tabla de la negación:

Esta ópera sobre un único valor de verdad, ya que devuelve el valor contradictorio de la proposición considerada.

Ejemplos:

1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.

Juan Japón: p
María Venecia: q
Rosa Luxemburgo: r

((q -> p) & (r v ¬p)) & (¬q v ¬r) -> ¬q

...