Professional Documents
Culture Documents
ENUNCIADO
COMPUEST
O
NOMBRE
SIMBOLO
SIGNIFICADO
CONJUNCION
(p ^ q)
y,
aunque
DISYUNCION
INCLUSIVA
(p q)
o., y/o
DISYUNCION
EXCLUSIVA
(p w q)
O bien o bien
CONDICIONAL
(p
q)
Si entonces
BICONDICIONAL
(p
= q)
si y solo si
NEGACION
-p
No, no es cierto
que
Negacin:
Conjuncin:
ALGUNOS
SIMBOLOS
ALTERNATI
VOS
=>
<=>
Disyuncin inclusiva:
p
V
F
V
F
q
V
V
F
F
(p v q)
V
V
V
F
Disyuncin excluyente:
p
V
F
V
F
q
V
V
F
F
(p w q)
F
V
V
F
q
V
V
F
F
(p => q)
V
V
F
V
Condicional
p
V
F
V
F
Bicondicional:
p
V
F
V
F
q
V
V
F
F
(p <=> q)
V
F
F
V
Q
V
V
F
F
p.q
V
F
F
F
De estas cuatro filas la primera columna tendr los valores de verdad: V,F, y V,F, y la segunda columna
V,V,F y F. No todos los libros de lgica construyen igual las tablas de verdad ni como hemos visto utilizan
los mismos smbolos para representar las conectivas. Pero a no preocuparse, todos llegan a los mismos
resultados. Un ejemplo de esta forma distinta de presentar la tabla de verdad que muchos autores
empiezan por presentar la primera columna con V,V y F,F y la segunda columna como V,F,V,F.p
P
V
V
F
F
Q
V
F
V
F
p.q
V
F
F
F
(p.q) v r
P
V
F
V
F
V
F
V
F
Q
V
V
F
F
V
V
F
F
R
V
V
V
V
F
F
F
F
(p.q)
V
F
F
F
V
F
F
F
(p.q) v r
V
V
V
V
V
F
F
F
Como se puede observar en las primeras columnas se introducen los valores de verdad de las
proposiciones atmicas (P, q, r), luego se resuelven las proposiciones que aparecen entre parntesis y
finalmente se realiza la tabla de verdad de la proposicin molecular que se presenta en la consigna.
Si en vez de tres proposiciones, tuviramos un ejercicio con un nmero de cuatro proposiones, se
necesitan 16 filas de las cuales en las primeras.
En general:
El clculo de las filas necesarias es simple si seguimos una regla:
Para n proposiciones calculamos 2n filas.
Para dos proposiciones calculamos 22 = 4 filas.
Para tres proposiciones calculamos 23 = 8.
Para cuatro proposiciones necesitaremos 24 = 16 filas.
Como hemos dicho, Una vez que incorporamos las columnas de las proposiciones atmicas es necesario
construir el resto de las columnas:
Para guiarnos, construyamos la tabla de verdad para la proposicin compuesta: [(p v q) . r ]
Este el caso para tres proposiciones: p, q y r, en donde segn vimos anteriormente necesitamos ocho filas.
Para resolver esta conjuncin, lo primero que debemos hacer es resolver, como se hace en
matemtica, con lo que se encuentra entre parntesis. En este caso una disyuncin (Pvq).
El resultado de esta disyuncin que se encuentra entre parntesis, la ponemos colocamos en una tercera
columna.
A esta tabla de verdad que nos da como resultado del parntesis, le aplicamos la conjuncin con r y a ese
resultado lo colocamos en una cuarta columna.
Hasta aqu el esquema es el siguiente:
P
V
F
V
F
V
F
V
F
Q
V
V
F
F
V
V
F
F
R
V
V
V
V
F
F
F
F
Pvq
V
V
V
F
V
V
V
F
(pvq) .r
V
V
V
F
F
F
F
F
Hasta aqu hemos resuelto correctamente la proposicin molecular dada como ejemplo y hemos
encontrado la tabla de verdad de la misma, pero Qu pasara si lo complejizamos?
Resolvamos ahora este ejemplo:
[(p v q) . r ]=>(-q.p)
En primer lugar, debemos observar que la proposicin ofrecida como es un condicional, donde el
antecedente es [(p v q ^ r)] y el consecuente es (~q . p). Por tanto lo que nos interesa al final son los
valores de verdad de la condicional -->.
Esto nos indica que debemos, empezar por despejar el antecedente, es decir, debemos encontrar los
valores para la proposicin [(pvq) ^ r ], que ya lo hemos hecho anteriormente.
Ahora nos hace falta encontrar los valores de verdad de la proposicin ~q . p, la cual evidentemente se
trata de una conjuncin, para esto se necesita encontrar los valores de ~q los cuales se deducen de la
columna dos aplicando la ley de la negacin: si q es V entonces ~q es F, si q es F entonces ~q es V..etc..
A estos valores los colocamos en la columna nmero seis.
pvq
(pvq).r
-q
(-q.p)
[(pvq).r]=>(-q.p)
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
F
F
F
F
F
F
V
V
F
F
V
V
F
F
V
F
F
F
V
F
F
F
V
V
V
V
V
V
EJERCICIOS
1) Ejercicio de formalizacin:
a) Formalice las siguientes expresiones:
No participo de la emboscada ni del robo
No es cierto que el contrato de compraventa sea un acto gratuito y unilateral
2) Realice los siguientes ejercicios de tablas de Verdad y determinar si sus resultados son contingencias,
contradicciones o tautologas:
1) (p.q)=>r
2) [(p=>q).p]=>q
3) [(pvq).-p]=>q
4) -[(pvq).-p]=>q
5) [(p=>r).q] v (r.p)