Scribd
Cargar
31 vistas

Ejercicio 4.3.1

Este documento presenta nueve ejercicios en los que se pide identificar el alcance de los cuantificadores y determinar si las variables son libres o ligadas. En cada ejercicio, se define el alcance de los cuantificadores como la subfórmula a la que están ligadas las variables, y se identifica si las variables son libres, ligadas, o ambas dentro y fuera del alcance.

Cargado por

Alexandro Batistuta
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
31 vistas

Ejercicio 4.3.1

Este documento presenta nueve ejercicios en los que se pide identificar el alcance de los cuantificadores y determinar si las variables son libres o ligadas. En cada ejercicio, se define el alcance de los cuantificadores como la subfórmula a la que están ligadas las variables, y se identifica si las variables son libres, ligadas, o ambas dentro y fuera del alcance.

Cargado por

Alexandro Batistuta
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 2

Ejercicio 4.3.

1
En los siguientes ejercicios delimite el alcance de cada cuantificador; y para cada
variable diga si es libre, ligada o ambas cosas.

1). ( ∀ x)( Ax Bx )
El alcance de este cuantificador es: ( Ax Bx ) , la ocurrencia de la variable x en A y B es
ligada.

2). (∃ x )(∀ y)( Ax By )


El alcance de este cuantificador es: ( Ax By ) ,la ocurrencia de “x” en A, usa la variable del ∃ x
, por tal hecho, es ligada y la ocurrencia de “y” en B utiliza la variable del ( ∀ y) y también
es ligada. Además “x” es libre para ( ∀ y), asi como “y” es libre para (∃ x ) “x e y” son libres
y ligadas.

El alcance de este cuantificador lo define la variable que está ligada.

3). ¬( ∀ x)(∃ y )( Ax By )→ Hxy

(∃ x )(∀ y)( Ax By )→ Hxy

El alcance es ( Ax By ) , la ocurrencia de x en A, usa la variable del(∃ x ), por tal hecho es


ligada y la ocurrencia de y en B utiliza la variable del ( ∀ y)y también es ligada. Además x
es libre para ∀ y, así como y es libre para ¿). Ahora la ocurrencia de la variable x e y en H
es libre.

4). ¬( ∀ x)(∃ y ) ¿)

(∃ x )(∀ y)¿)

El alcance de este cuantificador es ¿), la ocurrencia de “x” en A usa la variable del (∃ x ),


por lo tanto es ligada, la ocurrencia de “y” en B, utiliza la variable ( ∀ y), también es ligada
y la ocurrencia de x e y en H en ( ∃ x ) y (∀ y) es ligada.

5). (∃ x )(∀ y)( Ax v By)→(∀ z )(Mz)

El alcance de este cuantificador es ( Ax v By), la ocurrencia de “x” en A usa la variable del


(∃ x ), por lo tanto es ligada, la ocurrencia de “y” en B, utiliza la variable del ( ∀ y) y
también es ligada. Ahora M, no está bajo del alcance del cuantificador anterior y a la vez no
usa la variable definida por el cuantificador entonces M es libre para esos cuantificadores.

Por otra parte para el alcance del cuantificador de ( ∀ z )( Mz ) , es ( Mz ), y ( Mz ) , seria ligada.

6). (∃ x )( Ax , y v By)→Cx , y
El alcance del cuantificador es: ( Ax , y), la primera incidencia de “y”, es libre, el
cuantificador universal en este caso, solo liga la primera incidencia de “x”, pero By es libre
no usa la variable definida del cuantificador (∃ x ), y Cx , y ,no está bajo el alcance del
cuantificador anterior, lo cual también es libre.

7). (∃ x )( Ax , y v Bx , y → Cx , y)

El alcance del cuantificador es:( Ax , y v Bx , y →Cx , y ), la primera incidencia de “y”, es


libre, el cuantificador universal en este caso, solo liga la primera incidencia de “x” , la
segunda incidencia es decir Bx , y en “y” es libre y “x” ligada, al igual que la tercera
incidencia es decir Cx , y , “y” es libre y “x” es ligada.

8). Ax → ( ∃ x ) ( Ax → Bx )

El alcance de este cuantificador es ( Ax → Bx ) , la ocurrencia de x en A usa la variable ∃(x),


por lo tanto es ligada, pero también en B, la cual es ligada.

Pero también la ocurrencia de x en A, no está bajo el alcance de ∃ ( x ), en la primera parte


entonces esta seria libre.

9). ( ∀ x)( Ax ⊻ By v Cx) Dx , y

El alcance de este cuantificador es ( Ax v Cx), la ocurrencia de x en A usa la variable del


( ∀ x), por lo tanto es ligada, al igual de x en C para ( ∀ x).
Note que D( x , z ) , no está bajo el alcance del cuantificador anterior, la cual es libre, pero
B ( y ), no usa la variable definida por el cuantificador, entonces seria libre.

También podría gustarte