Asignacin de

valores y rboles
de verdad
Lgica 2 (2013-2)
Mtro. Cristian Gutirrez
Asignacin de valores

El mtodo de asignacin de alores es un

mtodo sem!ntico "ara ealuar la alidez o
inalidez lgica de un argumento.

La idea es recu"erar las de#iniciones

sem!nticas de las conectias lgicas $
a"licarlas a las #rmulas de un argumento
(tanto a "remisas como a conclusiones).
El mtodo

En "rimer lugar de%emos su"oner &ue

nuestro argumento es in!lido' es decir'
&ue "or lo menos en una inter"retacin las
"remisas son erdaderas $ la conclusin es
#alsa.

Esto nos "ermite tener una asignacin de

alores de erdad &ue (ace erdaderas a
las "remisas $ #alsa a la conclusin.
El mtodo (2)

Como el alor de erdad de las #rmulas

est! determinado "or el alor de erdad de
sus com"onentes ("rinci"io de
com"osicionalidad)' "odemos asignar
alores de erdad a los com"onentes de
las #rmulas.

)or e*em"lo' si tenemos &ue la conclusin

del argumento es la dis$uncin ) + $
su"usimos &ue es #alsa' entonces "odemos
in#erir &ue ) $ + am%as son #alsas (esto lo
(acemos utilizando el signi#icado de la
dis$uncin).
El mtodo (3)

,na ez &ue sa%emos el alor de erdad

de una letra "ro"osicional "odemos "asarlo
a todas las a"ariciones de esa letra
"ro"osicional en cual&uier otra #rmula del
argumento.

Este "rocedimiento lo re"etimos (asta &ue

aca%emos de analizar todas las #rmulas
del argumento o (asta &ue encontremos
una contradiccin.
Cmo interpretar los resultados del
mtodo.

-enemos dos o"ciones. 1) encontramos una

contradiccin o 2) analizamos todas las #rmulas del
argumento $ no encontramos ninguna contradiccin.

/i encontramos una contradiccin' entonces el

argumento es !lido (esto #unciona como una "rue%a
"or reduccin al a%surdo)

/0 no encontramos una contradiccin' entonces el

argumento es in!lido ($ la asignacin de alores nos
muestra un e*em"lo en donde "odemos tener
"remisas erdaderas $ conclusin #alsa' nos da un
contrae*em"lo)
Ejemplo
1. ) +
1 ) +

/u"oniendo &ue el argumento es in!lido'

tendr2amos &ue ) + es erdadero $ )
+ es #also.

Como ) + es #also' tanto ) como + son

#alsos' "ero entonces ) + es #also' lo
&ue contradice lo &ue su"usimos.

)or lo tanto el argumento es !lido.

!na "orma de poner esto es

1. ) + 3
4 4 4
1 ) + 4
4 4
!na presentacin ms rigurosa

)ara una "resentacin m!s rigurosa

usamos la siguiente notacin ()53 "ara
decir &ue la #rmula es erdadera $
()54 "ara decir &ue la #rmula es #alsa.

6s2 nuestro argumento &uedar2a como

sigue.
Ejemplo
/ea el siguiente argumento
1. ) +
1 ) +
/u"ongamos &ue es in!lido' entonces
e7iste una asignacin de alores tal &ue
()+)53 $ ()+)54' entonces ())53 $
(+)53. Lo &ue im"lica &ue ()+)53' lo
&ue contradice el su"uesto.
#eglas semnticas para la
negacin

(8)5 3 si $ slo si (sii) ()5 4

(8)5 4 si $ slo si (sii) ()5 3

#eglas semnticas para la
conjuncin

()5 3 sii ()= V y v()5 3

()54 sii ()= F v()5 4

#eglas semnticas para la
disyuncin inclusiva

()5 3 sii ()= V v()5 3

()54 sii ()= F y v()5 4

#eglas semnticas para el
condicional material

()5 3 sii ()= F v()5 3

()54 sii ()= V y v()5 4

#eglas semnticas para el
bicondicional material

()5 3 sii ()=v()

()54 sii ()v()

#egla semntica para la
contradiccin
()5 4
$o siempre %ay un slo camino
para %acer la asignacin de valores

/i' "or e*em"lo' nuestra conclusin es una

con*uncin' entonces e7isten tres #ormas de
&ue sea #alsa' es decir' sera #alsa en los
siguientes caso. 1) cuando am%os con$untos
sean #alsos' 2) cuando el "rimero sea #also $
el segundo erdadero $ 3) cuando el "rimero
sea erdadero $ el segundo #also.

Cada una de las o"ciones nos llea a una

asignacin alores di#erente $ "or ello
de%emos analizar cada una de ellas.
A clasi"icar

Como imos con el e*em"lo e7isten

#rmulas &ue no nos coniene analizar
cuando son erdaderas o cuando son
#alsas "ues nos generan un gran cantidad
de casos "osi%les. Esto nos llea a dar la
siguientes clasi#icaciones de #rmulas "ara
(acer un an!lisis m!s sencillo.
&a pirmide de la verdad

Cuando las #rmulas son erdaderas nos

coniene realizar el an!lisis en este orden.
l.".


&a antipirmide de la "alsedad

Cuando las #rmulas a analizar son #alsas

nos coniene seguir este orden.
l."


'(u pasa con la negacin)

Como se "uede er #!cilmente la negacin no

a"arece en nuestras "ir!mides. )ero entonces &u
(acemos con ella.

)rimero notemos &ue la negacin inierte los alores

de erdad' as2 la res"uesta es la siguiente.
1. 4i*ate &ue ti"o de #rmula es la &ue est! siendo
negada.
2. /i tu negacin es erdadera' analiza la #rmula sin
negacin en la en la anti"ir!mide de la negacin.
3. /i tu negacin es #alsa' analiza la #rmula sin
negacin en la "ir!mide de la erdad.
*rboles de verdad

La idea a la %ase de los !r%oles de erdad

es la misma &ue la de la asignacin de
alores.

Lo &ue &ueremos e7"lotar son las

"ro"iedades sem!nticas de nuestras
conectias lgicas.

)ara cada conectia lgica' e7ce"to "ara

negacin $ la contradiccin (a%r! dos
reglas' una &ue llamaremos "ara la erdad
$ otra "ara la #alsedad.
#eglas para la conjuncin

)ara la con*uncin erdadera.

#eglas para la conjuncin

)ara la con*uncin #alsa.

8()

#eglas para la disyuncin

)ara la dis$uncin erdadera.

#eglas para la disyuncin

)ara dis$uncin #alsa.

8()


#eglas para el condicional material

)ara el condicional material erdadero.

#eglas para el condicional material

)ara el condicional material #also

()


#eglas para el bicondicional
material

)ara el %icondicional material

#eglas para el bicondicional
material

)ara el %icondicional material #also

()


+oble negacin

/e inclu$e la regla de do%le negacin "ara

eliminar las negaciones so%rantes.

,ntroduccin de la

La regla de loa introduccin de la

contradiccin es de muc(a releancia' "ues
es la &ue nos "ermite indicar &ue una rama
del !r%ol se (a cerrado.

Cmo utili-ar el mtodo

En "rimer lugar "onemos todas las "remisas en la

misma rama e incluimos la negacin de la conclusin.

9es"us' a"licamos las reglas "ara analizar todas

las #rmulas' cuando en una rama e7ista una
contradiccin se inclu$e el s2m%olo de contradiccin $
se cierra.

/i al #inal todas las ramas est!n cerradas el

argumento es !lido.

/i al #inal (a$ ramas a%iertas' el argumento es

in!lido $ nos da la asignacin de alores de erdad
&ue muestran la inalidez.
Ejemplos
1. ) +
2. 8+
1 ) ) +
8+
8)
) +

Este argumento es vlido, pues todas las ramas
del rbol se cerraron.
Ejemplos
1. ) +
2. 8+
1 ) ) +
8+
8)
) 8)
+ 8+

Este argumento es invlido, pues una rama del
rbol no est cerrada.
'Cmo dar el contraejemplo .ue
muestra la invalide- del argumento)

Los contrae*em"los &ue muestran &ue el

argumento es in!lido son las asignaciones
de alores de erdad &ue (acen &ue las
"remisas sean erdaderas $ la conclusin
#alsa.

Cuando usamos el mtodo de los !r%oles

de erdad' si una rama &ueda a%ierta'
"odemos usarla "ara dar un contrae*em"lo
"ara el argumento.
'Cmo dar el contraejemplo .ue
muestra la invalide- del argumento) (2)

El mtodo consiste en %uscar las a"ariciones de

letras "ro"osicionales &ue se encuentran solas o
negadas en la rama a%ierta.

/i una letra "ro"osicional ) se encuentra sola le

asignamos el alor de erdad 3erdadero' es decir'
())53.

/i una letra "ro"osicional ) se encuentra negada le

asignamos el alor de erdad 4also' es decir' ())54.

Cuando aca%amos el an!lisis de todas las letras

"ro"osicionales &ue a"arecen en la rama tenemos
una asignacin de alores de erdad &ue (ace a las
"remisas erdaderas $ a la conclusin #alsa.
Ejemplo

Consideremos el e*em"lo de argumento in!lido dado m!s

atr!s.
1. ) + ) +
2. 8+ 8+
1 ) 8)

) 8)
+ 8+

Como en la rama a%ierta encontramos 8) $ 8+' les

asignaremos a am%as letras "ro"osicionales el alor de
erdad 46L/:' es decir' ())54 $ (+)54.
Ejemplo(2)

)odemos er &ue esa asignacin de

alores (ace a las "remisas erdaderas $ a
la conclusin #alsa.

)ues como ())54 $ (+)54' entonces ()

+)53' "ues am%os lados tienen el mismo
alor de erdad.

Como (+)54' entonces (8+)53.

)ero' ())54

Esto muestra &ue el argumento es in!lido.

GRACIAS
GRACIAS