Ejercicios 2.

6
1. Using truth tables. Prove the identities of Section 2.1 .2.
2. A new operator. . Or exclusive-or. may be defined by the following truth
table:
X Y PQ
T T F
T F T
F T T
F F F
Create a propositional calculus expression using only ^, v, and that is equivalent
to P Q.
Prove their equivalence using truth tables.
3. The logical operator "" is read "if and only" if." PQ is defined as being
equivalent to (PQ) ^ (0P). Based on this definition, shew that PQ is
logically equivalent to (P v Q) (P ^ Q):
a. By using truth tables.
b. By a series of substitutions using the identities on page 51.
4. Prove that implication is transitive in the propositional calculus, that is, that
((PQ) ^ (QR)) (PR).

5. a. Probar que "modus ponens" es el sonido para el clculo proposicional.
Sugerencia: use las tablas de verdad para enumerar todas las interpretaciones
posibles.
b. La Abduction es una regla de inferencia que infiere P de P Q y Q.
Demostrar que Abduction no es slida (vase el captulo 8).
c. Mostrar que modus tollcns ((P Q) ^ Q) P es solida.

6. intente unificar los siguientes pares de expresiones. O mostrar sus unificadores
ms generales o explicar por qu no se pueden unificar.
a. p(X,Y) and p(a,Z)
b. p(X,X) and p(a,b)
c. ancestor(X,Y) and ancestor(bill,father(bill))
d. ancestor(X,/ather(X)) and ancestor(david,george)
e. q(X) and ~ q(a)
7. a. Componer los conjuntos de sustitucin [a/X, VIZ} and {X/W, b/Y}.
b. Demostrar que la composicin de los conjuntos de sustitucin es asociativa.
c. Construya un ejemplo para mostrar que la composicin no es conmutativa.
8. Implementar el algoritmo de "unificar" de la Seccin 2.3.2 en el lenguaje de
programacin de su eleccin.
9. D dos interpretaciones alternativas para la "blocks world description" de la
Figura 2.3.
10. Jane Doc tiene cuatro dependientes. un ingreso estable de S30,000, y $ 15.000
en su cuenta de ahorros. Aadir los predicados apropiados que describen su
situacin al asesor de inversiones general del ejemplo en la seccin 2.4 y realice
las unificaciones e inferencias necesarias para determinar su inversin
sugerida.
11. Escriba un conjunto de predicados lgicos que realizarn los diagnsticos de
automviles simples (ej. Si el motor no se enciende una y las luces no se
enciende, entonces la batera est mal). No trates de ser demasiado elaborado,
pero cubrir los casos de mala batera. Fuera de gas, bujas malas, y motor de
arranque malo.
12. La siguiente historia es de N. Wirth (1976) Algoritmos + estructuras de datos =
programas.] Se cas con una viuda (llammosla \ V) que tiene una hija mayor
de edad (llamarla D). Mi padre (F), que nos visit con bastante frecuencia. se
enamor de mi hijastra y se cas con ella. De ah mi padre se convirti en mi
hijo-en-ley y mi 'hijastra se convirti en mi madre. Algunos meses ms tarde.
Mi esposa dio a luz a un hijo (81), quien se convirti en el hermano-en-ley de
mi padre, tambin! Como mi to. La esposa de mi padre. Es decir, mi hijastra
tambin tuvo un hijo (82).

Usando el clculo de predicados, crear un conjunto de expresiones que
representan la situacin en la historia anterior. Aadir las expresiones que
definen las relaciones bsicas de la familia, tales como la definicin de suegro y
usar nmeros de control modus en este sistema para demostrar la conclusin
de que "1 soy mi propio abuelo."