Requisitos Del Sistema Software

Asignatura de L´gica: Pr´cticas
o
a
Departamento de Tecnolog´ y Sistemas de Informaci´n
ıas
o
Universidad de Castilla–La Mancha.

Primera versi´n: Oto˜o de 2008
o
n
Primera revisi´n: Primavera de 2010
o
Segunda versi´n: Oto˜o de 2011
o
n

´
Indice general
1. BOOLE: conceptos sem´nticos
a
1.1. Introducci´n. . . . . . . . . .
o
1.2. Objetivos. . . . . . . . . . . .
1.3.Descripcion. . . . . . . . . . .

en
..
..
..

la l´gica proposicional.
o
..................
..................
..................

2. EL MUNDO DE TARSKI: conceptos
de predicados.
2.1. Introducci´n. . . . . . . . . . . . . . .
o
2.2. Lenguajes de primer orden y el mundo
2.3. Objetivos. . . . . . . . . . . . . . . . .
2.4. Descripcion. . . . . . . . . . . . . . . .

......
deTarski.
......
......

3. PROLOG: la l´gica de predicados
o
ci´n.
o
3.1. Introducci´n. . . . . . . . . . . . .
o
3.2. El lenguaje PROLOG. . . . . . . .
3.2.1. Sintaxis. . . . . . . . . . . .
3.2.2. Sem´ntica. . . . . . . . . .
a
3.2.3. Modo de operaci´n. . . . .
o
3.3. Objetivos. . . . . . . . . . . . . . .
3.4. Descripcion. . . . . . . . . . . . . .

.
.
.
.
.
.
.

3

55
5
6

sem´nticos en la l´gica
a
o
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

17
17
18
20
20

como lenguaje programa.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

..
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

37
37
38
38
39
42
43
44

4

Cap´
ıtulo 1

BOOLE: conceptos
sem´nticos en la l´gica
a
o
proposicional.
1.1.

Introducci´n.
o

Esta pr´ctica tiene como objetivo general afianzar conceptossem´nticos de
a
a
gran importancia relativos a la l´gica proposicional as´ como adquirir habilidad
o
ı
en la representaci´n formal de enunciados. Con tales fines se utiliza el software
o
de aplicaci´n BOOLE [1], que facilita la construcci´n de tablas de verdad. La
o
o
construcci´n de tablas de verdad en esta aplicaci´n se realiza en tres pasos:
o
o
escribir la forma enunciativa (o las formasenunciativas) que se desea analizar;
construir las columnas iniciales (columnas de referencia); rellenar la tabla con los
valores de verdad. Una vez que se ha completado una tabla de verdad se puede
utilizar para realizar un anal´ (assessment) de las propiedades sem´nticas de
ısis
a
la forma enunciativa (o las formas enunciativas).

1.2.

Objetivos.

Esta pr´ctica persigue lossiguientes objetivos concretos:
a
1. Conocer el entorno de trabajo de la aplicaci´n BOOLE.
o
2. Familiarizar al alumno en la escritura de formas enunciativas. Saber distinguir c´al es la conectiva principal de una forma enunciativa.
u
3. Que el alumno adquiera habilidad en la construcci´n de tablas de verdad.
o
4. Que el alumno sea capaz de utilizar las tablas de verdad para clasificar
enunciadoso determinar si existen relaciones de equivalencia l´gica o cono
secuencia l´gica entre los mismos.
o
5

5. Saber como aplicar el m´todo de las tablas de verdad y c´ando puede
e
u
resultar util.
´
6. Introducir al alumno en las t´cnicas de representaci´n del conocimiento
e
o
mediante el empleo del lenguaje formal de la l´gica.
o

1.3.

Descripcion.

Para la correctarealizaci´n de esta pr´ctica se aconseja la lectura previa de
o
a
los apartados relativos a la sem´ntica de la l´gica de proposiciones que aparecen
a
o
en alguno de los libros recomendados como bibliograf´ b´sica: [4, 5, 8]. El gui´n
ıa a
o
propuesto es el siguiente:

Parte I.
Ejercicio 1.1 Mediante la documentaci´n y las explicaciones facilitadas por
o
el profesor ejecutar y probar el...