Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1 Lgica
proposicional
1.1 El
lenguaje
de
la
lgica
proposicional
1.1.1 Proposiciones
atmicas
y
proposiciones
moleculares
La
lgica
proposicional
trata
sobre
la
verdad
o
la
falsedad
de
las
proposiciones
y
de
cmo
la
verdad
se
transmite
de
unas
proposiciones
(premisas)
a
otras
(conclusin).
Una
proposicin
es
la
unidad
mnima
de
significado
susceptible
de
ser
verdadera
o
falsa.
Una
palabra
aislada,
por
s
misma,
no
nos
dice
nada.
La
palabra
perro
tiene
una
referencia,
pero
no
nos
da
ninguna
informacin
si
no
es
en
el
contexto
de
una
proposicin
como
El
perro
est
haciendo
cosas
raras.
Por
ello
una
erizos
aves
slo
es
verdadera
si
las
dos
proposiciones
atmicas
que
la
componen
son
ambas
verdaderas,
y
ser
falsa
en
caso
de
que,
al
menos
una
de
ellas,
sea
falsa.
Como
sabemos
que
los
erizos
no
son
aves,
podemos
concluir
que
la
proposicin
Las
flores
son
plantas
y
los
erizos
aves
es
falsa.
Probemos
a
cambiar
la
conectiva
lgica
del
ejemplo,
y
conectemos
las
dos
proposiciones
atmicas
del
siguiente
modo:
Las flores son plantas o los erizos son aves
Esta
forma
de
conectar
dos
proposiciones
nos
indica
que
una
de
ellas
es
la
condicin
de
la
otra
y
por
eso
la
conectiva
correspondiente
se
llama
condicional
o
implicador.
La
primera
proposicin
(Las
flores
son
plantas)
es
la
condicin
que
se
ha
de
cumplir,
y
nos
referiremos
a
ella
como
antecedente;
la
segunda
proposicin
(los
erizos
son
aves)
es
lo
condicionado,
y
nos
referiremos
a
este
elemento
del
condicional
como
consecuente.
En
cuarto
lugar
tenemos
la
negacin
que,
aplicada
a
una
proposicin
atmica,
simplemente
invierte
su
valor
de
verdad,
de
modo
que
si
la
proposicin
atmica
Los erizos son aves
Por
su
parte,
a
cada
conectiva
lgica
le
corresponde
un
smbolo,
como
queda
resumido
en
la
siguiente
tabla:
Conectiva
Smbolo
Lenguaje
natural
Pepe
es
bombero
y
Mara
es
camarera
Conjuncin
Pepe
es
bombero
o
Mara
es
camarera
Diyuncin
Si
Pepe
es
bombero,
entonces
Mara
es
camarera
Implicacin
Pepe
no
es
bombero
Negacin
Formalizacin
p
q
p
q
p
q
p
La
oracin
del
ejemplo
est
mal
formada
porque
no
hay
la
concordancia
debida
entre
el
nmero
del
sujeto
(plural)
y
el
nmero
del
verbo
(singular).
Tambin
en
matemticas
hay
unas
reglas
que
nos
indican
qu
combinaciones
de
smbolos
podemos
hacer,
de
modo
que
si
nos
presentaran
lo
siguiente:
%=4+(78-)
No
es
difcil
descubrir
intuitivamente,
a
partir
de
ejemplos,
qu
frmulas
estn
bien
formadas
en
lgicas
y
cules
no,
pero
no
est
de
ms
ofrecer
las
siguientes
reglas
para
la
formacin
de
frmulas
bien
formadas
(fbf):
Regla
1:
Toda
proposicin
atmica
es
una
fbf
Regla
2:
Si
A
es
una
fbf,
entonces
A
tambin
es
una
fbf
Regla
3:
Si
A
y
B
son
fbf,
entonces
(AB),
(AB)
y
(AB)
tambin
son
fbf
10
El
smbolo
sirve
para
indicar
esta
doble
direccin
del
condicional
y
se
llama
bicondicional.
Tambin
podra
formalizarse
con
ayuda
del
bicondicional
la
proposicin
Si estudias y slo si estudias, aprobars.
11
12
13
14
15
q
1
0
1
0
p
q
1
0
0
0
Como
vemos
en
la
tabla,
la
frmula
(p
q)
slo
es
verdadera
cuando
p
es
verdadera
y
q
es
verdadera,
siendo
falsa
en
todos
los
dems
casos.
Podemos
confeccionar
una
tabla
semejante
para
todas
las
conectivas
lgicas:
16
q
1
0
1
0
p
q
1
1
1
0
Como
vemos,
la
disyuncin
slo
es
falsa
en
caso
de
que
sus
dos
trminos
lo
sean,
y
es
verdadera
en
todos
los
dems
supuestos.
Tabla
de
verdad
del
condicional
p
1
1
0
0
q
1
0
1
0
p
q
1
0
1
1
La
tabla
de
verdad
del
condicional
siempre
causa
cierta
inquietud
y,
de
hecho,
ha
sido
objeto
de
crtica
por
parte
de
muchos
lgicos.
Nosotros
no
entraremos
en
tales
disquisiciones
y
nos
conformaremos
con
comprenderla,
lo
que
ya
es
bastante.
Lo
primero
que
observamos
en
la
tabla
del
condicional
es
que
slo
es
falso
en
un
caso:
cuando
el
antecedente
es
verdadero
y
el
consecuencia
falso.
En
efecto,
supongamos
que
a
principio
de
curso
un
profesor
dice
a
sus
alumnos:
Si vens a clase entonces aprobaris
17
El
tercer
caso
en
el
que
el
condicional
es
verdadero
no
carece
tampoco
de
inters.
Si
tanto
el
antecedente
como
el
consecuente
son
falsos,
el
condicional
es
verdadero.
Hay
que
recordar
que
un
condicional
no
est
describiendo
un
hecho
actualmente
existente
del
mundo,
sino
que
establece
una
condicin
y
dice
que,
en
el
caso
de
que
se
cumpliera,
ocurrira
tal
o
cual
cosa.
Que
el
antecedente
y
el
consecuente
sean
falsos
no
excluye
que
si
el
antecedente
hubiera
sido
verdadero
tambin
lo
hubiera
sido
el
consecuente.
Si
yo
no
estudio
y
no
apruebo,
no
por
eso
es
falso
que
si
estudio,
entonces
apruebo.
Tabla
de
verdad
de
la
negacin
Como
hemos
visto
en
apartados
anteriores,
la
negacin
invierte
el
valor
de
verdad
de
la
proposicin
negada,
tal
y
como
se
establece
en
la
siguiente
tabla:
p
p
1
0
0
1
Es
decir,
que
cuando
p
es
verdadera,
p
es
falsa,
y
cuando
p
es
falsa,
p
es
verdadera.
18
p q
En
cualquier
caso,
observamos
que
la
historia
formacional
de
la
frmula
p
q
consta
de
tres
elementos:
las
dos
proposiciones
atmicas
p
y
q,
y
la
propia
frmula
p
q.
De
manera
anloga,
la
historia
formacional
de
p
q
es
{
p,
q,
p
q},
y
la
de
p
q
es
{p,
q,
p
q}.
Por
su
parte,
la
historia
formacional
de
una
frmula
como
p
ser
{p,
p},
segn
el
siguiente
esquema:
19
Ntese
que
cada
una
de
las
ramas
del
rbol
puede
ser,
a
su
vez,
una
frmula
compleja,
en
cuyo
caso
se
volvera
a
ramificar
tantas
veces
fuera
necesario
hasta
llegar
a
las
frmulas
atmicas.
As,
por
ejemplo
en
el
caso
de
la
fmula
(p
q)
(r
q),
la
historia
formacional
quedara
representada
por
el
esquema:
(p
q)
(r
q)
(p q)
(r q)
Segn
este
esquema,
la
historia
formacional
de
(p
q)
(r
q),
ser
el
conjunto
{p,
q,
r,
q,
pq,
rq,
(pq)(rq)}
formado
por
7
elementos.
Ntese
que
aunque
la
frmula
atmica
q
se
repite
dos
veces
en
la
frmula,
a
efectos
de
su
historia
formacional
slo
se
cuenta
una
vez.
Una
vez
hemos
determinado
la
historia
formacional
de
una
frmula,
podemos
continuar
con
la
confeccin
de
su
tabla
de
verdad,
que
tendr
tantas
columnas
como
elementos
tenga
la
historia
formacional
de
la
frmula,
y
a
cada
columna
le
corresponder
uno
de
esos
elementos,
desde
los
ms
simples
hasta
los
ms
complejos.
As,
la
tabla
de
verdad
de
la
frmula
anterior
(pq)
(rq)
tendr
7
columnas.
Determinar
el
nmero
de
filas
de
la
tabla
es
fcil,
pues
slo
debemos
aplicar
la
siguiente
frmula:
Nmero de filas de la tabla = 2
20
pq
rq
(pq)(rq)
Ahora
viene
un
momento
peliagudo
de
la
elaboracin
de
la
tabla,
pues
es
hora
de
completarla.
En
primer
lugar,
tendremos
que
completar
las
columnas
correspondientes
a
las
proposiciones
atmicas,
pues
el
valor
del
resto
de
celdas
de
la
tabla
depender
de
los
valores
de
las
proposiciones
atmicas.
Olvidmonos,
de
momento,
de
las
columnas
correspondientes
a
frmulas
moleculares
y
fijmonos
slo
en
las
columnas
de
las
frmulas
atmicas:
p
En
primer
lugar,
lo
que
haremos
es
dividir
la
primera
columna
en
dos
partes
iguales
y
completar
la
primera
de
esas
partes
con
1
y
la
segunda
con
0.
En
este
caso
tenemos
8
filas,
de
modo
que
las
4
primeras
filas
de
la
columna
correspondiente
a
p
se
completarn
con
1
y
las
cuatro
siguientes
con
0.
Si
en
vez
de
8
filas
tuviramos
16,
la
operacin
sera
semejante,
aunque
en
vez
de
dos
grupos
de
4,
tendramos
dos
grupos
de
8,
uno
con
1
y
el
otro
con
0.
En
nuestro
caso
la
tabla
quedar
as:
p
1
1
1
1
0
0
0
0
21
q
1
1
0
0
1
1
0
0
Dividida
la
primera
columna
en
2
partes
y
la
segunda
columna
en
4,
dividiremos
la
tercera
en
8
partes
y
las
completaremos
con
1
y
0
alternativamente
(ntese
que
las
columnas
han
sido
divididas,
respectivamente
por
21,
22
y
23,
de
modo
que
si
hubiera
una
cuarta
columna
correspondiente
a
una
cuarta
frmula
atmica,
sera
dividida
por
24,
y
as
sucesivamente).
Al
final
tendremos:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
Como
podemos
observar,
mediante
este
procedimiento
hemos
obtenido
todas
las
combinaciones
posibles
de
valores
de
verdad
de
las
frmulas
atmicas
de
nuestra
tabla,
que
ahora
tendr
este
aspecto:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
pq
rq
(pq)(rq)
22
Queda
ahora
por
completar
las
columnas
correspondientes
a
las
frmulas
moleculares.
Como
sabemos,
el
valor
de
verdad
de
estas
frmulas
depender
del
valor
de
verdad
de
las
frmulas
atmicas
que
las
integran.
Comencemos
por
la
columna
correspondiente
a
q.
Sabemos,
por
la
tabla
de
verdad
de
la
negacin,
que
cuando
q
es
1,
q
es
0,
y
viceversa.
En
consecuencia,
asignaremos
a
cada
celda
de
la
columna
q
un
valor
en
relacin
con
el
valor
que
para
esa
fila
tenga
la
columna
q.
La
tabla
quedar
como
sigue:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
q
0
0
1
1
0
0
1
1
pq
rq
(pq)(rq)
Como
vemos,
cuando
q
vale
1,
asignamos
un
0
a
q,
y
al
revs,
cuando
q
vale
0,
asignamos
un
1
a
q.
Para
completar
la
columna
correspondiente
a
pq,
debemos
aplicar
la
tabla
de
verdad
de
la
conjuncin
a
cada
par
de
valores
de
las
columnas
correspondientes
a
p
y
a
q
de
modo
que
obtenemos
la
siguiente
distribucin
de
valores
de
verdad:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
q
0
0
1
1
0
0
1
1
pq
1
1
0
0
0
0
0
0
rq
(pq)(rq)
Como
vemos,
slo
asignamos
el
valor
1
a
pq
cuando
p
vale
1
y
q
tambin
vale
1.
En
los
dems
casos
asignamos
a
(pq)
el
valor
0.
A
continuacin
hay
que
completar
la
columna
correspondiente
a
la
frmula
rq.
En
primer
lugar
observamos
que
la
frmula
es
una
disyuncin,
por
lo
que
tendremos
que
aplicar
la
tabla
de
verdad
de
la
disyuncin
que,
si
la
recordamos,
viene
a
decir
que
una
disyuncin
slo
tiene
el
valor
de
verdad
0
si
sus
dos
trminos
tienen
ambos
el
valor
de
verdad
0,
siendo
1
en
el
resto
de
casos.
El
primer
trmino
de
la
disyuncin
es
r,
por
lo
tanto
deberemos
atender
a
23
los
valores
de
la
columna
r
para
establecer
los
de
(rq).
Pero
como
vemos,
el
segundo
trmino
que
hay
que
tener
en
cuenta
es
q,
esto
significa
que
tenemos
que
basarnos
en
los
valores
de
la
columna
q
y
no
en
los
de
la
columna
q.
Siguiendo
la
tabla
de
verdad
de
la
disyuncin,
quedar
como
sigue:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
q
0
0
1
1
0
0
1
1
pq
1
1
0
0
0
0
0
0
rq
1
0
1
1
1
0
1
1
(pq)(rq)
Como
era
de
esperar,
slo
asignamos
el
valor
0
a
la
columna
(rq)
cuando
las
columnas
correspondientes
a
r
y
a
q
coinciden
en
el
valor
0,
asignando
1
en
caso
contrario.
Para
completar
la
ltima
columna,
correspondiente
a
la
frmula
entera,
aplicaremos
la
tabla
de
verdad
del
condicional,
tomando
como
referencia
las
columnas
correspondientes
a
(pq)
y
a
(rq)
de
modo
que
obtenemos:
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
q
0
0
1
1
0
0
1
1
pq
1
1
0
0
0
0
0
0
rq
1
0
1
1
1
0
1
1
(pq)(rq)
1
0
1
1
1
1
1
1
Si
recordamos
la
tabla
de
verdad
del
condicional,
sabremos
que
slo
se
asigna
el
valor
de
verdad
0
a
un
condicional
cuando
el
antecedente
es
1
y
el
consecuente
0.
Esta
es
la
razn
de
que
en
nuestra
tabla,
la
frmula
(pq)(rq)
slo
tenga
el
valor
de
verdad
0
en
la
segunda
fila,
pues
es
la
nica
en
la
que
el
antecedente
pq
es
1
y
el
consecuente
(rq)
es
0,
en
el
resto
de
casos,
de
acuerdo
con
la
tabla
de
verdad
del
condicional,
la
frmula
es
verdadera.
Si
estudiamos
detenidamente
la
tabla
de
verdad
que
hemos
obtenido,
podemos
extraer
conclusiones
interesantes
acerca
de
nuestra
frmula.
En
primer
lugar,
sabemos
que
la
frmula
puede
ser
verdadera
o
falsa,
y
que
slo
es
falsa
en
un
caso.
Lo
que
la
tabla
nos
dice
es
qu
es
lo
que
tiene
que
ocurrir
para
que
la
frmula
sea
falsa.
Para
ello
debemos
fijarnos
en
los
valores
de
las
celdas
correspondientes
a
las
frmulas
atmicas
de
la
fila
2
de
la
tabla,
que
es
la
que
24
q
1
0
1
0
p
q
1
0
1
1
p
1
0
p
p
p
0
1
1
1
p
1
0
p
p
p
0
0
1
0
De
las
tres
frmulas
analizadas,
slo
podemos
afirmar
con
absoluta
certeza
la
verdad
de
(pp),
pues,
como
observamos,
sea
cual
sea
el
valor
de
sus
componentes,
la
frmula
resulta
ser
siempre
verdadera.
A
este
tipo
de
frmulas
las
llamamos
tautologas,
y
son
consideradas
verdades
lgicas.
Se
trata
de
proposiciones
cuya
verdad
es
completamente
independiente
de
lo
que
ocurra
en
el
mundo,
y
por
lo
tanto,
no
nos
dan
ninguna
informacin
sobre
la
realidad
emprica.
Las
tautologas,
ms
bien,
tienen
el
valor
de
funcionar
como
principios
lgicos,
es
decir,
como
condiciones
que
han
de
ser
cumplidas
por
nuestro
discurso
si
es
que
ha
de
ser
consistente.
La
frmula
analizada
aqu
es,
concretamente,
el
principio
de
tercio
excluso,
y
afirma
que
una
proposicin
o
bien
es
verdadera
o
bien
es
falsa,
y
que
no
cabe
una
tercera
posibilidad.
Por
otra
parte,
la
frmula
(pp)
es
el
caso
opuesto
a
la
anterior,
pues
para
todos
los
valores
de
sus
subfrmulas,
resulta
ser
falsa.
A
estas
frmulas
las
llamamos
contradicciones.
En
efecto,
diga
p
lo
que
diga,
si
afirmo
(pp)
me
estoy
contradiciendo
y
por
lo
tanto
mi
afirmacin
tiene
que
ser
necesariamente
falsa.
Obsrvese
que
la
negacin
de
una
contradiccin
ser
siempre
una
tautologa,
y
viceversa,
la
negacin
de
una
tautologa
ser
una
contradiccin.
En
este
caso,
la
negacin
de
(pp)
es
(pp),
que
es
una
tautologa
que
dice
que
una
contradiccin
no
puede
ser
nunca
verdadera.
ste
es
el
famoso
principio
de
no
contradiccin.
El
tercer
tipo
de
frmulas
son
aqullas
cuya
verdad
o
falsedad
no
puede
decidirse
simplemente
por
medios
lgicos,
como
la
tabla
de
verdad,
sino
que
es
necesario
el
recurso
a
la
observacin.
Es
el
caso
de
la
frmula
(pq).
Sabemos
que
la
frmula
pp
es
siempre
verdadera,
signifique
p
lo
que
signifique,
y
tambin
sabemos
que
pp
es
siempre
falsa,
valga
p
lo
que
valga;
y
esto
lo
sabemos
nicamente
mediante
el
mtodo
lgico
de
la
tabla
de
verdad.
Pero
la
tabla
de
verdad
de
pq
nos
dice
que
la
frmula
puede
ser
verdadera
o
puede
ser
falsa,
y
nos
indica
en
qu
casos
es
verdadera
y
en
qu
casos
es
falsa,
pero
no
nos
resuelve
el
problema
de
si
es
efectivamente
verdadera
o
falsa.
Este
tipo
de
frmulas
son
contingencias
porque
no
son
ni
necesariamente
verdaderas
ni
25
1.5 Argumentos
1.5.1 Argumentos
vlidos
Argumentar
consiste
en
deducir
una
conclusin
a
partir
de
unas
premisa
que
se
tienen
por
verdaderas.
Un
argumento,
por
lo
tanto,
estar
compuesto
de
unas
premisas
y
de
una
conclusin.
Un
argumento
puede
ser
vlido
o
no
serlo.
El
siguiente
argumento,
por
ejemplo,
no
es
vlido:
Premisa 2) No he estudiado
Conclusin: No aprobar.
Este
argumento
es
vlido
porque
si
las
premisas
son
verdaderas,
y
suponemos
que
lo
son,
entonces,
necesariamente,
la
conclusin
debe
ser
verdadera.
La
nica
forma
de
que
Alicia
no
sea
castigada
es
que,
o
bien
la
premisa
1)
sea
falsa,
o
lo
sea
la
premisa
2);
pero
si
ambas
premisas
son
verdaderas,
la
conclusin
tambin
lo
ser.
De
lo
dicho
podemos
concluir
la
siguiente
definicin
de
argumento
vlido:
26
Premisa 2) No he estudiado
Conclusin: No aprobar.
Lo
primero
que
debemos
hacer
para
evaluar
o
decidir
si
el
argumento
es
vlido
o
no,
es
formalizarlo:
Formalizacin
de
la
premisa
1):
p
q
(si
estudio
entonces
aprobar)
Formalizacin
de
la
premisa
2):
p
(no
estudio)
Formalizacin
de
la
concusin:
q
(no
apruebo)
En
segundo
lugar,
tenemos
que
convertir
el
argumento
en
un
condicional.
Como
hemos
visto,
el
antecedente
del
condicional
estar
formado
por
la
27
q
1
0
1
0
p
0
0
1
1
pq
1
0
1
1
(pq)p
0
0
1
1
[(pq)p]q
1
1
1
0
Como
vemos,
la
tabla
de
verdad
nos
revela
que
el
condicional
analizado
es
una
contingencia,
lo
que
significa
que
puede
ser
verdadero
o
no,
es
decir,
que
es
posible
que
sus
premisas
sean
verdaderas
y
su
conclusin
falsa.
Por
lo
tanto
el
argumento
correspondiente
no
ser
vlido,
como
dedujimos
intuitivamente
en
el
apartado
anterior.
Procedamos
del
mismo
modo
con
el
otro
argumento
propuesto:
Evaluando
el
segundo
ejemplo:
Como
en
el
caso
anterior,
obtenemos
el
condicional
que
le
corresponde
al
argumento
que
vamos
a
evaluar,
que,
tras
formalizar
cada
una
de
las
premisas
y
la
conclusin,
quedar
como
sigue:
[(pq)p]q
p
1
1
0
0
q
1
0
1
0
pq
1
0
1
1
(pq)p
1
0
0
0
[(pq)p]q
1
1
1
1
La
tabla
de
verdad
nos
indica
que
la
frmula
evaluada
es
una
tautologa,
por
lo
tanto,
podemos
concluir
que
el
argumento
correspondiente
es
vlido,
y
la
tabla
de
verdad
correspondiente
es
la
prueba
de
su
validez.
28