1

Teorema de la Interpolacin para P

Teorema: Si P AB y A y B tienen al menos un smbolo proposicional en comn, entonces existe una frmula C de P tal que todos sus smbolos proposicionales aparecen en A y en B y tal que P AC y P CB. Prueba informal: 1. Supongamos que cada smbolo proposicional que aparece en A tambin aparece en B. En ese caso basta con suponer que C es A misma, puesto que obviamente si P AB, entonces P AA y P AB. 2. Ahora supongamos que hay n smbolos proposicionales que aparecen en A pero que no aparecen en B. Representemos uno de stos mediante la letra p. Dado que por hiptesis AB es lgicamente vlida, AB toma el valor de verdad V cuando p es falso y tambin cuando p es verdadero. Sea q cualquier smbolo proposicional que aparezca tanto en A como en B, y sean (i) A1 la frmula que resulta de la substitucin de cada ocurrencia de p en A por una ocurrencia de (q q); y (ii) A2 la frmula que resulta de la substitucin de cada ocurrencia de p en A por una ocurrencia de ~(q q). Entonces A1B y A2B son lgicamente vlidas. (A1 es simplemente el resultado de substituir todas las ocurrencias de p en A por V; y A2 es simplemente el resultado de substituir todas las ocurrencias de p en A por F. Dado que AB es una frmula vlida de P, entonces la tabla de verdad A1B (o de A2B) es equivalente a la tabla de verdad de AB en la cual se omiten todos los renglones en que p es falso (o verdadero). Pero dado que AB toma el valor de verdad V cuando p es verdadero (o cuando p es falso), pues AB es una frmula lgicamente vlida, entonces A1B (A2B) tomar el valor V). Un razonamiento por medio de tablas de verdad estndar muestra que, dadas las definiciones de A1 y A2, A(A1A2) es una tautologa, y por tanto, dado que tanto A1B y A2B son tautologa de P, (A1A2)B es tambin una tautologa de P. Sin embargo, no es una conectiva de P; pero sabemos que para cualquier par de frmulas A y B de P, (AB)(~AB). As pues, podemos reescribir: Si P AB, entonces P A(~A1A2) y P (~A1A2)B. Por consiguiente, tenemos una frmula C1, a saber (~A1A2), tal que P AC1 y P C1B, y tal que C1 tiene solamente (n1) smbolos proposicionales que aparecen en A pero no en B. Ahora, si repetimos el argumento para P C1B (en lugar de P AB) obtendremos que P C1C2, P C2B, donde C2 posee solamente (n2) smbolos proposicionales que aparecen en A pero no en B. Si repetimos el argumento (n2) veces y recogemos todos los resultados, tendremos: P AC1, P C1C2, P C2C3,, P Cn1Cn, P CnB. A partir de esto puede ser establecido, gracias a la tabla de verdad de , que P ACn y P CnB, donde Cn no posee ningn smbolo que aparece en A pero no en B. Tal Cn es la C requerida.

(Una prueba rigurosa de este teorema va induccin matemtica ser abordada ms adelante.)

Ejemplo (para un lenguaje formal P* que contiene todos los smbolos de P ms los smbolos &, definidos de la manera usual y cuyas fbfs se definen tambin de la manera recursiva usual): Sea la frmula lgicamente vlida P* (p&p) ~(~(pp)). Noten que, en nuestro ejemplo, A=(p&p) y B=~(~(pp)). Noten, adems, que slo hay un smbolo proposicional de P* que aparece en A pero no aparece en B (a saber, p; por tanto, la p del Teorema es aqu el smbolo proposicional p). Dado que el objetivo es construir una frmula C tal que todos sus smbolos aparezcan en A y en B, entonces C no puede contener a p. El smbolo proposicional de A y B comparten (la q del Teorema) es, en nuestro caso, el smbolo proposicional p. Por tanto, y en la medida en que C debe contener solamente el material que es tanto de A como de B, p deber ser el nico smbolo proposicional que figure en C. La dificultad consiste en substituir el smbolo proposicional que A y B no comparten (es decir, p) por algo que s compartan: el smbolo p. La idea entonces es la siguiente: a. Substituir en A cada ocurrencia de p por una ocurrencia de (pp) (llmese a la frmula que resulta de tal substitucin A1): A1 = (p & (pp)) b. Substituir en A cada ocurrencia de p por una ocurrencia de ~(pp) (llmese a la frmula que resulta de tal substitucin A2): A2 = (p & ~(pp))

El punto importante de ver aqu es que es una verdad lgica de P* que A1 y A2 implican materialmente a B, es decir, que P* (p & (pp)) ~(~(pp)) y P* (p & ~(pp)) ~(~(pp)). Por qu? Porque si AB es lgicamente vlida en P*, entonces la implicacin ser verdadera en todas las asignaciones de valores de verdad a los smbolos proposicionales de A y de B. En particular, todas las interpretaciones que le asignan el valor V a p son interpretaciones que le asignan a (p&p) ~(~(pp)) el valor V; y todas las interpretaciones que le asignan el valor F a p son interpretaciones que le asignan el valor V a (p&p) ~(~(pp)). En la medida en que (pp) es una frmula vlida de P*, substituir p en A por (pp) es equivalente a asignarle a p el valor constante V. Alternativamente, substituir p en A por ~(pp) es equivalente a asignarle a p el valor constante F. Sabemos que el valor de verdad de AB es V sin importar cul sea el valor de verdad de p; por tanto, el resultado (A1) de substituir p en A por (pp) seguir

3 implicando materialmente a B en todas las interpretaciones de P*, al igual que el resultado (A2) de substituir p en A por ~(pp). As pues, P* A1B y P* A2B. Es fcil probar que dado que P* A1B y P* A2B, entonces P* (A1A2)B. (Supongan que no es as; entonces o bien P* A1B o bien P* A2B. Contradiccin.) Lo que ahora tenemos que mostrar es que P* A(A1 A2). Pero esto es sencillo, pues sabemos (por construccin) que A1 es V en todas las interpretaciones de P* que hacen verdadera a A. (Slo hay una: cuando p y p son V, pues A=(p&p); esta nica interpretacin hace verdadera a A, pues A=(p & (pp))). Por consiguiente, P* AA1, y a partir de esto es fcil probar que P* A(A1A2). Pero entonces ya tenemos lo que buscbamos, a saber: una frmula C=(p & (pp)) (p & ~(pp)) tal que, si P* AB [P* (p&p) ~(~(pp))] y A y B tienen al menos un smbolo proposicional en comn [p], entonces P* AC [P* (p&p) (p & (pp)) (p & ~(pp))] y P* CB [P* (p & (pp)) (p & ~(pp)) ~(~(pp))]. QED