Negacin[editar]

La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el

valor contradictorio de la proposicin considerada.

La conjuncin
es un operador que acta 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
La tabla de verdad de la conjuncin es la siguiente:

a disyuncin es un operador que acta 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 falsocuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Implicacin o contingencia
El condicional material es un operador que acta sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso slo cuando la primera
proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Equivalencia o doble implicacin

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 son diferentes.
La tabla de verdad del bicondicional es la siguiente:

Tautologia
Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los
casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no
depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que
estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Bajo qu condiciones de p y q la proposicin

es falsa?
Sol: Este ejercicio se puede resolver de dos formas:
Primera forma, tabla de verdad.
En este caso, las proposiciones simples son dos, p y q. Luego, la tabla de verdad
tiene

filas.

Empezando por llenar las columnas de las proposiciones simples, la tabla queda de la forma

V V

F V

Luego, llenando la tercera columna, que es la negacin de la segunda, tenemos

V V

F V

La cuarta columna la llenamos usando el bicondicionante para las columnas uno y dos.
Tenemos

V V

F V

Llenamos la quinta columna usando la conjuncin para las columnas cuatro y tres. Tenemos

V V

F V

Para llenar la sexta columna usamos la conjuncin para las columnas uno y tres. Tenemos

V V

F V

Finalmente, para llenar la sptima y ltima columna de la tabla, usamos la condicionante para
las columnas quinta y sexta, tenindose que

V V

F V

De esta forma, vemos que para que la proposicin

compuesta

tenga valor de verdad falso, debe cumplirse

que cada proposicin simple, p y q, deben tener valor de verdad falso.

Segunda forma, descomposicin en proposiciones simples.

Vemos que en la proposicin compuesta
importante es el condicionante

el conectivo

Por la tabla asociada, vemos que la nica combinacin que hace al condicionante tener valor
de verdad falso, es cuando el antecedente tiene valor de verdad verdadero, y el consecuente
tiene valor de verdad falso.
Luego, se debe tener que

Del hecho que la proposicin compuesta

tiene valor de verdad verdadero,

se debe tener entonces que tanto la proposicin

como la proposicin

deben

tener valor de verdad verdadero.

As, como

, entonces tenemos que

Ahora, como

, se tiene que la proposicin simple

Luego, ambas proposiciones simples p y q deben tener valor de verdad falso.

Revisar la solucin del ejemplo dos en vdeo.

Volver al ejemplo uno.

Pasar al ejemplo tres.

Volver a Conectivos Lgicos y Tablas de Verdad

TABLAS DE VERDAD. EXPLICACIN Y EJERCICIOS.

Una vez que hemos simbolizado un razonamiento; es decir, que hemos
traducido el lenguaje natural al lenguaje formal, debemos comprobar
si dicho razonamiento es vlido o no. Para ello podemos servirnos de
las tablas de verdad y de las deducciones lgicas.
Ahora vamos a ocuparnos de las tablas de verdad.
1) Partimos de que cada variable proposicional puede ser verdadera o
falsa. V o F
2) Cuando tenemos ms de una variable, las combinaciones de valores
de verdad sern varias. Para saber cuntas combinaciones de valores
de verdad podemos obtener, elevamos 2 al nmero de variables
distintas que aparezcan. Colocamos dichos valores repartndolos por
la mitad en la primera variable, por la mitad de esta en la siguiente,
etc..

Ej [ ( p

-->

q)

q]

-->

3) Resolvemos las tablas de verdad de las frmulas no afectadas por

el conector dominante. Se llama conector dominante al que separa las
premisas de la conclusin.
Para ello tenemos que saber que:
a) El negador cambia el valor de verdad de la variable o frmula a la
que afecta. Si aplicamos esto a la frmula que estamos resolviendo,
tendramos:
[(p

-->

q)

q]

-->

b) El conjuntor solo es verdadero cuando son verdaderas las dos

variables o frmulas que enlaza.
c) El disyuntor solo es falso cuando son falsas las dos variables o
frmulas que enlaza.
d) El condicional slo es falso cuando el antecedente es verdadero y el
consecuente es falso.
e) El bicondicional es verdadero cuando antecedente y consecuente
tienen el mismo valor de verdad y falso cuando antecedente y
consecuente tienen distinto valor de verdad.
Ej. Si aplicamos estas reglas al ejemplo que tenemos entre manos,
tendremos:

[(p

-->

q)

q]

-->

Una vez resuelto el parntesis, hago la tabla de verdad de la frmula

que est entre corchetes. Y as:
[(p

-->

q)

q]

-->

4) Resolvemos la tabla de verdad de la frmula afectada por el

conector dominante. Y as:

[(p

-->

q)

q]

-->

Puede ocurrir que el resultado final sea siempre verdadero, como en

este ejemplo, y eso se llama una TAUTOLOGA;que el resultado final
sea a veces verdadero y a veces falso, y eso se llama
INDETERMINACIN; y, por ltimo, que todos los resultados sean falsos
y eso se llama una contradiccin.