TABLAS DE VERDAD

TABLAS DE VERDAD

Negación de una proposición “p” es la proposición “∼ p” (no p), obtenida anteponiendo el adverbio “no” a la primera. Su tabla de verdad es:
p
∼p
V
F
F
V

Disyunción de lasproposiciones p y q, es la proposición compuesta “p ⋁ q” que se obtiene uniéndolas en el orden dado, mediante el conectivo “o” en sentido incluyente. Ejemplo: Dadas las proposiciones: p: “Juan canta” q: “Juanbaila” La disyunción de ambas es. p ⋁ q: “Juan canta o baila” El sentido lógico establece que p ⋁ q, es verdadera cuando por lo menos una de las proposiciones es verdadera. Su tabla de verdad es:

pq
p ⋁ q
V
V
V
V
F
V
F
V
V
F
F
F


Conjunción de las proposiciones p y q, es la proposición compuesta “p ⋀ q” que se obtiene uniéndolas, en el orden dado, mediante el conectivo “y”. Ejemplo dadas lasproposiciones: p: “Juan canta” q: “Juan baila” La conjunción de ambas es: p ⋀ q: “Juan canta y baila” Considerando el razonamiento lógico se deduce que p ⋀ q es verdadera sólo cuando ambasproposiciones son verdaderas. Su tabla de verdad es:

p
q
p ⋀ q
V
V
V
V
F
F
F
V
F
F
F
F


Condicional o Implicación de las proposiciones p y q es la proposición compuesta “p ⇒ q”, anteponiendo a la primeraproposición la palabra “Si”, y uniendo ambas mediante la palabra “entonces”. En este caso las proposiciones p y q reciben el nombre de antecedente y consecuente respectivamente.

Dadas lasproposiciones: p: “a y b son números pares” q: “la suma entre a y b es un número par” La implicación entre ambas es: p ⇒ q: “Si a y b son números pares, entonces la suma entre a y b es un número par”. La tabla deverdad correspondiente para esta proposición, tiene la siguiente estructura: 

p
q
p ⇒ q
V
V
V
V
F
F
F
V
V
F
F
V

Bicondicional o Equivalencia de las proposiciones p y q, es la proposición compuesta“p ⇔ q”, obtenida uniéndolas mediante el conectivo “equivalente”, que corresponde a la doble implicación o bicondicional [(p ⇒ q) ⋀ (q ⇒ p)]. Su tabla de verdad tiene la siguiente estructura:

p
q...