Confeccindetablasde

verdad
UBA XXI

Proposicionesatmicas
El sauce perdi sus hojas.

Hoy es jueves

Todos los perros son mamferos

He visto la luna.

Las proposiciones que no pueden ser divididas en partes que sean

tambin proposiciones, se denominan proposiciones atmicas. A cada una
de ellas se la traduce, reescribe o formaliza asignndoles una letra.

Valoresdeverdad
p
q
r
s

verdadero
F

also

Haydosvaloresdeverdad:verdaderoyfalso

Valoresdeverdadparauna
proposicinatmica

Verdadero
F

also

Si consideramos slo una proposicin atmica hay dos posibilidades:

que sea verdadera o que sea falsa.

Tabladeverdad

p
V
F
Una tabla de verdad representa posibilidades. Para una proposicin atmica
hay dos posibilidades. Cada posibilidad ocupa una lnea de la tabla.

Tabladeverdad

Posibilidad 1
Posibilidad 2

p
V
F

Una tabla de Verdad representa posibilidades. Para una proposicin atmica

hay dos posibilidades. Cada posibilidad ocupa una lnea de la tabla.

Tabladeverdad
Para tablas de verdad de proposiciones complejas formadas por ms de una
proposicin el primer paso es la asignacin de valores de verdad.

Asignacindevaloresdeverdad:
dosproposiciones.

Posibilidad 1
Posibilidad 2
Posibilidad 3
Posibilidad 4
Considerando dos proposiciones, las posibilidades son cuatro.

Asignacindevaloresdeverdad:
dosproposiciones.

Posibilidad 1
Posibilidad 2
Posibilidad 3
Posibilidad 4

p
V
F
V
F

V
V
F
F

Considerando dos proposiciones, las posibilidades son cuatro. Las dos

posibilidades antes consideradas, siendo la segunda proposicin verdadera.
Y esas mismas dos posibilidades siendo la segunda proposicin falsa.

Asignacindevaloresdeverdad:
tresproposiciones.

Posib. 1
Posib. 2
Posib. 3
Posib. 4
Posib. 5
Posib. 6
Posib. 7
Posib. 8
Considerando tres proposiciones, las posibilidades son ocho.

Asignacindevaloresdeverdad:
tresproposiciones.

p
Posib. 1
Posib. 2
Posib. 3
Posib. 4
Posib. 5
Posib. 6
Posib. 7
Posib. 8

V
F
V
F
V
F
V
F

r
V
V
F
F
V
V
F
F

V
V
V
V
F
F
F
F

Considerando tres proposiciones, las posibilidades son ocho. Las cuatro

posibilidades antes consideradas siendo la tercer proposicin verdadera y
esas mismas posibilidades siendo falsa la tercer proposicin.

Asignacindevaloresdeverdad:
msdetresproposiciones.
Considerandounaproposicin,lasposibilidadesson

Considerandodosproposiciones,lasposibilidadesson

Considerandotresproposiciones,lasposibilidadesson

Considerandocuatroproposiciones,lasposibilidadesson

16

ConsiderandounnmeroNdeproposiciones,lasposibilidadesson:2x2nveces

Esdecir

El nmero de posibilidades y, en consecuencia, el nmero de filas de la tabla

de verdad que las representa, es funcin de la cantidad de valores de verdad
(que son dos, V y F) y del nmero de proposiciones considerado (que puede
ser cualquier nmero n que elijamos).

Tablasdeverdaddelasconectivas
p

~p

p.q

pvq

p q

pq

Para solucionar las tablas de verdad deben recordar las tablas de verdad de
las conectivas.

Resolucindeunatabladeverdadde
dosproposiciones
(p

q)

~p

El primer paso para resolver una tabla de verdad consiste, como decamos,
en asignar los valores de verdad de acuerdo al nmero de proposiciones.

Resolucindeunatabladeverdadde
dosproposiciones
p

(p

q)

~p

En este caso tenemos dos proposiciones, con lo cual la tabla de verdad

tendr 4 filas.

Resolucindeunatabladeverdadde
dosproposiciones
p

(p

q)

~p

Ahora comenzamos a resolver la tabla, apelando a las tablas de las

conectivas. Empezamos por lo que se encuentra dentro de los parntesis y
las proposiciones negadas.

Resolucindeunatabladeverdadde
dosproposiciones
(p

q)

~p

Ahora comenzamos a resolver la tabla, apelando a las tablas de los

conectivos, empezando por lo que se encuentra dentro de los parntesis y
las proposiciones negadas.

Resolucindeunatabladeverdadde
dosproposiciones
(p

q)

~p

Ahora comenzamos a resolver la tabla, apelando a las tablas de los

conectivos, empezando por lo que se encuentra dentro de los parntesis y
las proposiciones negadas.

Resolucindeunatabladeverdadde
dosproposiciones
(p

q)

~p

Una vez hecho esto, debemos solucionar la disyuncin final, que es la

conectiva principal de la proposicin. Para esto comparamos los valores de
verdad de las proposiciones complejas: la conjuncin por una parte y la
negacin de p por otra (marcadas con azul).

Resolucindeunatabladeverdadde
dosproposiciones
v

~p

(p

q)

Una vez hecho esto, debemos solucionar la disyuncin final, que es la

conectiva principal de la proposicin. Para esto comparamos los valores de
verdad de las proposiciones complejas: la conjuncin por una parte y la
negacin de p por otra (marcadas con azul).

Resolucindeunatabladeverdadde
dosproposiciones
v

~p

(p

q)

El resultado de la tabla de verdad (marcado en rojo) se encuentra debajo de

la conectiva principal de la proposicin, que en este caso es una disyuncin.
Como el resultado tiene los dos tipos de valores de verdad, esta forma de
proposicin es una contingencia.

Resolucindeunatabladeverdadde
tresproposiciones
[(~p

q)

r]

La mecnica para resolver una tabla de tres proposiciones es la misma.

Primero, entonces, asignamos los valores de verdad a las diferentes
proposiciones. En este caso sern 8 filas.

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

Se distribuyen los valores segn vimos antes en esta presentacin.

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

Luego ponemos los valores de verdad en las proposiciones simples negadas

(en rojo). Pueden copiar los valores asignados debajo de cada proposicin si
les parece ms facil (en azul).

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

Ahora solucionamos lo que se encuentra dentro del parntesis apelando, en

este caso, a la tabla del condicional (en azul).

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

Ahora debemos solucionar la conectiva principal de la proposicin entre

corchetes, comparando los valores de verdad de la disyuncin (en azul). Para
no confundirse, pueden ir tachando lo que ya utilizaron.

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

La solucin de la disyuncin se encuentra en rojo.

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

Ahora debemos solucionar el valor de verdad de la conectiva principal de la

proposicin, que en este caso es un condicional. Para eso debemos comparar
los valores en azul.

Resolucindeunatabladeverdadde
tresproposiciones
p

[(~p

q)

r]

El resultado de la tabla se encuentra en rojo. Como puede verse, tambin se

trata de una contingencia. Si en el resultado fuesen todos verdaderos, sera
una tautologa, si fuesen todos falsos, una contradiccin.

Importante!
~p

(p

q)

Es importante distinguir entre estas proposiciones. En la primera, la negacin

afecta solo a p, mientras que en la segunda se niega toda la conjuncin.
Realicemos las tablas de verdad.

Importante!
p

~p

Primero asignamos los valores.

(p

q)

Importante!
p

~p

(p

q)

Resolvamos primero la primera proposicin. Empezamos resolviendo las

proposiciones atmicas negadas (en azul).

Importante!
p

~p

(p

q)

Ahora resolvemos la conjuncin. El resultado de la tabla es una contingencia

(en rojo). Pasemos a resolver la segunda tabla.

Importante!
p

~p

(p

q)

Noten que en este caso no hay ninguna proposicin simple negada. Lo

primero que hay que resolver en este caso es la conjuncin (en rojo).

Importante!
p

~p

(p

q)

Recin ahora podemos resolver la negacin. Luego de tachar lo que ya

usamos, aplicamos la negacin al resultado de lo que se niega, en este caso,
lo negado es una conjuncin (en azul).

Importante!
p

~p

(p

q)

Como se puede ver, aunque ambas proposiciones son contingencias, la tabla

es distinta y se resuelve de manera diferente. En la confeccin de una tabla,
siempre hay que prestar atencin al alcance de la negacin.