Lógica
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
Segunda revisi´n: Oto˜o de 2012
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. . . . . . . . . . . . . . . .
. . . . . .
de Tarski.
. . . . . .
. . . . . .
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
5
5
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
oproposicional.
1.1.
Introducci´n.
o
Esta pr´ctica tiene como objetivo general afianzar conceptos sem´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 detablas de verdad en esta aplicaci´n se realiza en tres pasos:
o
o
escribir la forma enunciativa (o las formas enunciativas) 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
ala forma enunciativa (o las formas enunciativas).
1.2.
Objetivos.
Esta pr´ctica persigue los siguientes 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 detablas de verdad.
o
4. Que el alumno sea capaz de utilizar las tablas de verdad para clasificar
enunciados o 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
omediante el empleo del lenguaje formal de la l´gica.
o
1.3.
Descripcion.
Para la correcta realizaci´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...
Regístrate para leer el documento completo.