Lgica -

Eduardo Villanueva

U D
S LC
.

Reglas para Construir rboles Semnticos en LC

Todas las reglas para construir rboles semnticos en LP no-valuados siguen vigentes. Slo necesitamos agregar
tres reglas para construir rboles semnticos en LC. Ninguna de estas reglas se bifurca:
. CN

xx
x x

xx
x x

. IE

xx
a

(marca a)

a tiene que ser nueva en la rama

. IU

xx
a

i.
ii.

.
. .

donde a es:
cualquier constante que ocurre previamente en la rama
(siempre que a no haya sido usada previamente para instanciar esa frmula) o
una nueva constante (siempre que en esa rama no ocurra previamente alguna constante)

Aplicacin de las Reglas

Ejemplo

Supongamos que queremos determinar si el siguiente argumento es vlido:

x ( Fx Gx ), x ( Tx Gx ) / x ( Tx Fx )
Para hacerlo, generamos el siguiente rbol semntico:
. x ( Fx Gx ) (Pr.)
. x ( Tx Gx ) (Pr.) 3
. x ( Tx Fx ) (Neg. Concl.) 3
. x ( Tx Gx ) (CN )
. x ( Tx Fx ) (CN ) 3
. ( Ta Fa) (IE , marca a) 3
. Fa Ga (IU ) 3
. ( Ta Ga) (IU ) 3
. Ta ( )
. Fa ( )
. Fa ( )
7

. Ga ( )
. Ta ( )
7

. Ga ( )
7

Lgica -

. . .

Eduardo Villanueva

Observaciones

. Lnea ( ): Observa que hemos aplicado IE antes que IU. Esto se debe a que IE tiene restricciones
mientras que IU no. De haber aplicado IU primero, IE nos hubiera obligado a usar una constante
nueva.
. Lneas ( ) y ( ): Al aplicar de IU, no hemos puesto un 3 a la derecha de la fbf.
. Como todas las ramas se cerraron, no existe ninguna interpretacin que asigne V a todas las premisas
y F a la conclusin. Por lo tanto, concluimos que el argumento es V.

. .

Ejemplo

Veamos si el siguiente argumento es vlido:

x (( Fx Gx ) Ax ), x ( Fx Bx ) / x ( Bx Ax )
Contrumos el siguiente rbol semntico:
. x (( Fx Gx ) Ax ) (Pr.)
. x ( Fx Bx ) (Pr.) 3
. x ( Bx Ax ) (Neg. Concl.) 3
. x ( Bx Ax ) (CN ) 3
. Fa Ba (IE , marca a) 3
. ( Bb Ab) (IE , marca b) 3
. Fa ( )
. Ba ( )
. Bb ( )
. Ab ( )
. ( Fa Ga) Aa (IU ) 3

. ( Fa Ga) ( ) 3
. Fa ( )
7

. Aa ( )
. ( Fb Gb) Ab (IU ) 3
. ( Fb Gb) ( ) 3
. Fb ( )
. Gb ( )

. . .

. Ab ( )
7

Observaciones

. Lnea ( ): Observa que instanciamos ( ) usando la constante b ya que en la lnea previa hemos usado
a y la regla IE exige que usemos una nueva constante (restriccin de marcado).
. Lnea ( ): Nota que hemos aplicado IU a ( ) por segunda vez. Como ya hemos instanciado con a
en ( ) y b ocurre previamente en la rama, tenemos que instanciar con b en ( ). Podramos aplicar
IU por tercera vez debajo de ( )?
. Lnea ( ): Observa que la rama NO se cierra. Eso signi ca que hay por lo menos una interpretacin
que asigna V a las premisas y F a la conclusin. Por lo tanto, el argumento es I.

Lgica -

. . .

Eduardo Villanueva

Sugerencias

. Sigue las mismas sugerencias para construir rboles semnticos no-valuados en LP:
a) Siempre que puedas, aplica primero las reglas que no se bifurcan y luego aplica las que se bifurcan.
b) Cuando hayas aplicado la regla apropiada a una fbf, por un 3 a la derecha de la fbf [salvo
cuando apliques IU].
c) Intenta cerrar ramas lo ms pronto que puedas.
. Elimina las negaciones tan pronto como puedas aplicando CN.
. En general, conviene aplicar IE antes que IU.
. Una vez que termines el rbol, no te olvides de declarar vlido o invlido segn corresponda.
. . .

Generando un Contraejemplo

Para generar un contraejemplo, simplemente registra los valores de verdad que tienen las frmulas simples
en la rama abierta y usa el mtodo de construccin de contraejemplos puramente formales (ver la unidad previa).
Construyamos un contraejemplo para el argumento anterior:

x (( Fx Gx ) Ax ), x ( Fx Bx ) / x ( Bx Ax )
. De nimos el dominio usando las constantes que ocurren en la rama abierta:
D = { a, b}
. Reformulamos las frmulas universales como conjunciones de sus instancias y las existenciales como
disyunciones de sus instancias.
. Asignamos a las oraciones singulares simples los valores de verdad que obtenemos en la rama abierta de
la siguiente manera:
a) las oraciones no-negadas sern verdaderas (Fa, Ba, Bb, Aa)
b) como las oraciones negadas ( Ab, Fb, Gb) tambin sern verdaderas, las subfrmulas nonegadas (Ab, Fb, Gb) sern falsas

(( Fa
V

Ga)

( Fa
V

Ba)
V

( Fb

V

F

Aa)
V

(( Fb

F
V

Bb)
V

Gb)
F

Ab),
F

( Ba
V

Aa)
V

 ( Bb
F
V

Ab)
F

Ejercicios

( )

x ( Fx Hx ), x ( Gx Hx ) / x ( Fx Gx )

( )

x (( Ax Bx ) Cx ), x ( Ax Bx ), x (Cx (Sx Tx )) / x ( Ax Tx )

( )

xFx xGx, x ( Gx Hx ) / x ( Fx Hx )

( )

x ( Fx Gx ), x ( Gx Hx ) / xFx xHx

( )

x ( Tx ( Fx Dx )), x ( Tx Bx ) / x ( Dx Bx )

( )

x (( Bx Wx ) (( Ax Fx ) Sx )) / x (( Bx Fx ) Sx )

( )

x ( Fx Gx ), x ( Hx Gx ) / x ( Fx Hx )

( )

( xFx xGx ), x ( Hx Fx ), ( x Hx xSx ) xGx / x Sx