TABLAS DE LA VERDAD

Qu son las tablas de la verdad

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y
conocidos de la lgica formal, pero al mismo tiempo tambin uno de los ms
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lgica formal misma.
Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas
propiedades lgicas y semnticas de enunciados del lenguaje natural o de
frmulas del lenguaje del clculo proposicional:
1. Sin son tautolgicas, contradictorias o contingentes
2. Cules son sus condiciones de verdad
3. Cul es su rol inferencial, es decir, cules son sus conclusiones lgicas y de qu
otras proposiciones se siguen lgicamente.
Las tablas de la verdad
Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos
como: no, o, y, sientonces, s y slo s. La interpretacin corresponde al sentido
que estas operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la
deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen
un mtodo de decisin para chequear si una proposicin es o no un teorema.

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.

Tabla de verdad de la disyuncin

p v q (se lee: p o q)

EJEMPLOS:
1.
p = El numero 2 es par
q = la suma de 2 + 2 es 4
Entonces
pvq: El numero 2 es par o la suma de 2 + 2 es 4
2.
p = La raz cuadrada del 4 es 2
q = El numero 3 es par
Entonces
pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

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.

Tabla de verdad de la conjuncin

p ^ q (se lee: p y q)
EJEMPLOS:
1.
p = El numero 4 es par
q =Siempre el residuo de los nmeros pares es 2
Entonces
p^q: El numero 4 es par y Siempre el residuo de los nmeros pares
es 2
2.
p = El nmero ms grande es el 34
q =El tringulo tiene 3 lados
Entonces
p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

IMPLICACION

La implicacin 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.
Es una proposicin compuesta por proposiciones simples unidas mediante el
conectivo lgico:
Si entonces que se simboliza =>. p=>q
p se denomina antecedente y q se llama consecuente.
La proposicin p => q es falsa nicamente si el antecedente es verdadero y el
consecuente es falso. En los dems casos es verdadera.

Tabla de la verdad implicacin

EJEMPLOS:
1.
p: llueve
q: hay nubes
pq: si llueve entonces hay nubes
2.
p: Hoy es mircoles
q: Maana ser jueves
pq: Si Hoy es mircoles entonces Maana ser jueves

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 difieren.

Tabla de Verdad Bicondicional

EJEMPLOS:
1.
p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo
2.
p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8

REFERENCIAS
http://www.ecured.cu/Tablas_de_la_verdad
https://matedisunidad3.wordpress.com/2011/10/18/proposicionescompuestas-disyuncion-conjuncion-negacion-condicional-bicondicional/
https://ericmat.wordpress.com/2010/06/17/proposiciones-conjuncionesdisyunciones-implicaciones/