TABLAS DE VERDAD

Tablas de Verdad

Las tablas de verdad se utilizan en lógica simbólica para establecer la validez de las proposiciones. La construcción de tablas de verdad simplifica la tarea de determinar la verdad o falsedad de una proposición.

Tabla de verdad de la conjunción

La conjunción de dos proposiciones simples p^q (se lee ”p y q”),sólo es verdadera si ambas proposiciones son verdaderas. La conjunción (^), es una conectiva lógica que se denomina el operador lógica AND y representa el producto lógico.

Tabla de verdad de la disyunción

La disyunción de la proposiciones simples pvq (se lee: “p o q”) es falsa si ambas son falsas. El operados lógico disyunción también se denomina OR y representa la suma lógica.

Tabla de verdad de la negación

Para negar una proposición simple se emplea el símbolo ¬. Se lee “no p”, y donde si p es verdadera (1), si es falsa (0) y viceversa. El operador de negación también se denomina NOT por razones obvias.

Tabla de verdad del condicional material (implicación)

En la implicación el primer termino se denomina antecedente o hipótesis y el segundo consecuente o tesis. La implicación es falsa si el antecedente es verdadero y el consecuente es falso. La implicación no tiene denominación especial como los casos anteriores pero puede expresarse en función de estos. La implicación es una conectiva lógica que se denotara con una flecha —>. p —> q, se lee: p implica q, si p, entonces q, p es suficiente para q, o también, q es necesario para p.

Tabla de verdad del bicondicional (equivalencia)

La equivalencia es una conectiva lógica. pq, se lee: p equivalente con q; p si y solo si q; p es necesario y suficiente para q. La equivalencia es verdadera si ambas proposiciones son verdaderas o si ambas son falsas.

Argumento: Durante la clase vimos un tema que muchas veces puede ser confuso, "Tablas de verdad", dichas tablas se utilizan para establecer la validez de las proposiciones, a diario sin que nos demos cuenta aplicamos muchas proposiciones,  ya que si pensamos, cuando nos levantamos y miramos el reloj si es temprano para ir a trabajar o a la universidad, colegio, etc. A  donde tengamos que ir (si tenemos que hacerlo), entonces lógicamente sabemos que es lo que se puede hacer en el tiempo que tenemos, si nos da tiempo para desayunar, preparar algo para el trabajo, universidad, colegio,  etc. También estimamos el dinero que vamos a necesitar para llevar a donde tengamos que ir, hasta volver a casa, si nos alcanza o no? , cuando viene un auto y queremos cruzar la calle, estimamos ¿Si viene rápido, a que distancia?  y si se nos presenta un problema, vemos la manera mas lógica de resolverlo.