Escolar Documentos
Profissional Documentos
Cultura Documentos
(i) Llamaremos falso a todo juicio, acerca de algún enunciado, que no es verdadero.
(ii) Una paradoja o contradicción (también llamada antinomia) es una expresión, en algún
lenguaje, que en su significado es verdadera y falsa a la vez.
(iii) Un Enunciado Autorreferente es una expresión, en algún lenguaje, que en
su significado se refiere a sí mismo (en otras palabras, el sujeto de quien
―habla‖ el enunciado es, precisamente, el enunciado mismo).
(iv) Llamaremos proposición a toda extensión o enunciado, no autorreferente,
que en su significado puede ser verdadero o falso, pero no ambos a la vez.
(v) A las proposiciones las denotaremos por las letras P, Q, R, S, T, U, V, W,
X, Y, Z, P’, P’’,..., Q’, Q’’,... que se conocerán como variables
proposicionales, que se antepondrán a las mismas seguidas del símbolo
―:‖, que se lee: es abreviatura de...
(vi) Usaremos p, q, r, s, p’, p’’,..., q’, q’’,... como metavariables
proposicionales que toman valores a partir de las variables
proposicionales.
—Definición II (Conectivos Proposicionales):
(i) Dadas dos proposiciones cualesquiera pueden ser conectadas o ligadas, a
fin de obtener otra proposición llamada proposición compuesta, a partir
de:
a. La Conjunción, ―y”, que simbolizaremos por ;
b. La Disyunción Inclusiva, “o..., o bien..., o ambas” (o simplemente “o”), que simbolizaremos por
;
c. La Implicación Material, “si... entonces...” (“implica que...” o “implica a...”), que
simbolizaremos por , o simplemente por: y
d. La Equivalencia, “...si y sólo si...” o bien “equivale a...”, que simbolizaremos por , o
simplemente por: yque se colocan entre las dos proposiciones o bien entre las variables
proposicionales (o entre las metavariables proposicionales) que las representan y de las cuales
son abreviatura;
e. Y dada cualquier proposición es posible obtener otra a partir de La Negación, “No es
cierto que...” o bien “No”, que simbolizaremos por , que se colocará sobre la variable
proposicional (o metavariable proposicional) de la cual es abreviatura.
(ii) A los símbolos , , , , y a cualquier otro que tenga la
propiedad de que al enlazar o conectar dos proposiciones cualesquiera (o
al menos una, como en el caso de ) usando dichos símbolos, uno a la vez,
se obtiene nuevamente otra proposición, se les llama Conectivos Lógicos o
Conectivos Proposicionales.
—Definición III (Valores de Verdad de una Variable Proposicional): Los
valores de una variable proposicional (y por consiguiente de una metavariable
proposicional) –verdadero y falso–, llamados Valores de Verdad de la variable
proposicional (o de la metavariable proposicional), los simbolizaremos por v (o
bien por 1) para” verdadero” y f (o bien 0) para “falso”.
De modo que hay 2n 2 2 ... 2 (n-veces) casos posibles en cada tabla, siendo n es el
número de proposiciones disponibles.
p q p q
v v v
v f f
f v f
f f f
—Postulado II (Regla para la Construcción de la Tabla de Valores de
Verdad de la Disyunción Inclusiva, ):
p q pq
v v v
v f v
f v v
f f f
—Definición IV: En la
implicación material (condicionalidad), que se indica por pq (que se lee:
―si p entonces q‖ o bien, ―p implica q‖) o bien porPQ es habitual llamar
a la primera proposición (p o bien P) antecedente, premisa o hipótesis y a la
segunda (q o bien Q) consecuente, conclusión o tesis.
—Postulado III (Regla para la Construcción de la Tabla de Valores de
Verdad de la Implicación, ):
2
p q pq
v v v
v f f
f v v
f f v
—Postulado IV (Regla para la Construcción de la Tabla de Valores de
Verdad de la Equivalencia, ):
p q pq
v v v
v f f
f v f
f f v
3
las proposiciones–símbolo correspondientes: aquellas que se
construyen sustituyendo cada metavariable proposicional de la fórmula
bien formada en cuestión por variables proposicionales, dejando los
conectivos lógicos inalterables.
—Definición VII (Signos de Agrupación o Símbolos Auxiliares):
(i) Cualquiera de las fórmulas proposicionales que componen a una
fórmula proposicional dada la llamaremos subfórmula proposicional.
(ii) Toda fórmula proposicional (proposición-símbolo) se escribe entre los
símbolos (, ) (paréntesis) o bien entre [, ] (corchetes) indistintamente11,
en el orden citado, a menos que tal fórmula proposicional
(proposición-símbolo) sea una metavariable proposicional (o una
proposición-símbolo que no está conectada o ligada a otra variable
proposicional o a alguna otra proposición-símbolo (o bien, a ella
misma)), o bien, la aparición de tales símbolos auxiliares (paréntesis y
corchetes) dentro de la fórmula bien formada (proposición-símbolo) en
cuestión sea indiferente: es decir, todos los posibles valores de verdad
de la fórmula proposicional (proposición-símbolo) no cambian si los
símbolos auxiliares encierran indistintamente a cualquiera de las
subfórmulas proposicionales (proposiciones-símbolo que la
conforman) de la fórmula proposicional (proposición-símbolo)
original.
(iii) A los símbolos (,), [,] los llamaremos símbolos auxiliares o símbolos
de agrupación.
—Definición VIII (Disyunción Exclusiva): La disyunción exclusiva es un
conectivo lógico que se denota con el símbolo y se lee “o... o bien..., pero
no ambos (ambas)”.
—Postulado VI (Regla para la Construcción de la Tabla de Valores de
Verdad de la Disyunción Exclusiva, ):
p q p q
v v f
v f v
f v v
f f f
—Definición IX (Tautología):
(i) Se llama tautología a toda fórmula proposicional cuyo valor de verdad
es v (es decir, siempre es verdadera), independientemente de los
valores de verdad de las fórmulas proposicionales que la forman.
(ii) A toda tautología se le denota con el símbolo ⊢ , que se antepone a la
fórmula proposicional en cuestión (la cual se encierra entre corchetes,
), y se lee “es tautología...”.
—Definición X:
(i) Se llama antilogía a toda fórmula proposicional cuyo valor de verdad
es f (es decir, siempre es falsa), independientemente de los valores de
verdad de las fórmulas proposicionales que la forman.
(ii) Se llama contingencia a cualquier fórmula proposicional que no es
tautología ni antilogía.
4
(iii)A cualquier antilogía o contingencia se le denota con el símbolo ⊬ ,
que se antepone a la fórmula en cuestión (la cual se encierra entre
corchetes, ), y se lee “no es tautología...”.
—Definición XI:
(i) El símbolo de Halmos, ▌, se utiliza para indicar en dónde concluye
una demostración o prueba de un teorema, y se lee “y con ello queda
demostrado”, “aquí concluye la prueba” o bien, “esto concluye la
demostración del teorema”. Este símbolo se coloca justamente
seguido después de la última proposición (o fórmula proposicional)
que sea parte de la demostración del teorema en cuestión.
(ii) El símbolo ∴ se lee “por lo tanto”, “por consiguiente”, “se sigue
que...”, “de tal forma que”, “...se obtiene lo siguiente:”, o bien “de
esto último se sigue que‖. Este símbolo se coloca justo antes de
cualquier fórmula proposicional o proposición-símbolo que sirva como
conclusión (tesis) de alguna otra que haga las veces de hipótesis.
(iii) El símbolo ∵ se lee “como...”, “ya que...”, “puesto que...” o bien
“dado que...”. Este símbolo se coloca justo antes de cualquier fórmula
proposicional o proposición-símbolo que haga las veces de hipótesis o
bien que sirva de cita o recordatorio a fin de alcanzar alguna
conclusión (tesis) importante dentro de la demostración de un teorema.
—Definición XII (convenio):
(i) Si un enunciado se refiere a otro enunciado y éste a su vez se refiere al
primero, decimos que ambos enunciados forman un bucle de dos
niveles.
(ii) Si en un listado de n enunciados (donde n puede ser dos, tres, etc.), el
primero hace referencia al segundo, el segundo al tercero,... y el último
al primero o a algún otro de la lista, se dice que la lista completa forma
un bucle de n–niveles.
(iii) Cualquier enunciado, no autorreferente, que en su extensión pueda
considerarse verdadero o falso (pero no ambos) y que se refiera a
proposiciones–símbolo (o a fórmulas proposicionales) que no se
refieran, a su vez, al enunciado en cuestión o a algunos de los
enunciados de alguna lista formando un bucle de n–niveles, lo
llamaremos proposición en el sentido más amplio o, simplemente,
proposición.
(iv) Una proposición que se refiera a proposiciones–símbolo la llamaremos
metaproposición.
(v) Una proposición que se refiera a fórmulas proposicionales la
llamaremos meta–metaproposición.
(vi) Toda variable proposicional puede tomar valores a partir de cualquier
proposición en el sentido más amplio, si y sólo si dicha variable no
aparece en el enunciado de la proposición.
(vii) Al proceso de cambiar una variable proposicional (metavariable
proposicional) por otra variable proposicional (metavariable
proposicional), en una metaproposición (meta–metaproposición), lo
llamaremos generalizar la metaproposición (generalizar la meta–
metaproposición), o simplemente, generalizar la proposición.
5
(viii) A toda fórmula proposicional construida a partir de meta meta–
metaproposiciones o de alguna generalización de las mismas se le
conoce como fórmulas proposicionales en el sentido más amplio o
simplemente, fórmulas proposicionales.
—Teorema I (Regla de Separación o Modus Ponens): Si P y PQ
entonces Q.
—Definición XIII (Convenio):
(i) Las siguientes proposiciones son equivalentes (en el sentido del
postulado IV):
―si y entonces ‖,
―de y se deduce ‖,
―de y se obtiene ‖,
―suponiendo válidas y se sigue (o se obtiene) (como
válida)‖.
Las cuales simbolizaremos simplemente por: ⊢
(que se lee usualmente como ―de se deduce ‖, expresión que debe
entenderse en el siguiente sentido: de y se deduce )
(ii) Cualquier argumento, en una demostración, de la forma ―si
entonces
‖ deberá sobreentenderse como: ⊢ (es decir, ―suponiendo válidas
y se sigue (o se obtiene) (como válida).
(iii) ⊢ se lee: ―de se deduce ‖, expresión que se debe entender en el siguiente
sentido: de y de se obtiene (en el entendido que los valores de verdad
de y son v).
—Definición XIV:
(i) La ocurrencia de una subfórmula proposicional, , en una fórmula
proposicional , es la aparición de en , la cual se denota por (),
que se lee: ocurre en , o simplemente, de .
(ii) Al proceso de cambiar una metavariable proposicional (variable
proposicional), que ocurra en alguna fórmula proposicional
(proposición–símbolo), por una fórmula proposicional (proposición–
símbolo) cualquiera, en cada una de las ocurrencias de dicha
metavariable proposicional (variable proposicional) en la fórmula
proposicional (proposición–símbolo) inicial en cuestión, lo
llamaremos sustitución de una metavariable proposicional (variable
proposicional) por la fórmula proposicional (proposición–símbolo)
dada. En este sentido cualquier conjugación de la forma sustituyo,
sustituyes, sustituye, sustituimos, sustituís, sustituyen o sustituyendo,
puede usarse en lugar de sustitución.
(iii) Si es una fórmula proposicional en el sentido más amplio entonces
x se lee: se sustituye en lugar de x en , o bien, sustituyendo
en lugar de x en la fórmula .
6
(iv) La ocurrencia de una proposición–símbolo, , en una proposición–
símbolo, , es la aparición de en , la cual se denota por (), que
se lee: ocurre en , o simplemente, de .
(v) Si es una proposición–símbolo en el sentido más amplio entonces
p se lee: se sustituye en lugar de x en , o bien, sustituyendo
en lugar de x en la fórmula .
—Teorema II (Regla de Sustitución):Sea una tautología en donde ocurra la
metavariable x, esto es, ⊢(x). Si sustituimos x por una fórmula proposicional cualquiera, ,
se obtiene siempre otra tautología, esto es, ⊢(). En términos más sencillos, si ⊢(x)
entonces ⊢().
—Corolario I.II (Regla de Sustitución): Sea una tautología en donde
ocurra la metavariable x, esto es, ⊢ (x). Si (x) toma valores a partir de
(P), donde P toma el valor de x, entonces: si sustituimos P por una
proposición–símbolo cualquiera, , se obtiene siempre otra proposición–
símbolo de la forma (), cuyo valor de verdad es v y que corresponde a la
fórmula proposicional (), donde toma valores a partir de . En términos
más sencillos, si (P) entonces (), donde x, y toman sus valores a
partir de P, y , respectivamente.
—Teorema III (Regla de Separación o Modus Ponens):
⊢p(pq)q.
—Corolario I.III (Regla de Separación o Modus Ponens):
⊢().
—Corolario II.III (Regla de Separación o Modus Ponens):
(i) P(PQ)Q.
(ii) ().
—Corolario III.III (Regla de Separación o Modus Ponens a Nivel de
Fórmulas Proposicionales): De y se deduce .
—Corolario IV.III (Regla de Separación o Modus Ponens a Nivel de
Fórmulas Proposicionales): De y se deduce .
—Definición XV (Fórmulas Proposicionales y Proposiciones-Símbolo
Lógicamente Equivalentes):
(i) Dos fórmulas proposicionales, y , se dice que son lógicamente
equivalentes si y sólo si ⊢ .
(ii) Dos proposiciones–símbolo son lógicamente equivalentes si y sólo si
ambas tienen el mismo valor de verdad.
(iii) Una equivalencia lógica es cualquier fórmula proposicional de la
forma , tal que ⊢ [], para algunas y dadas.
(iv) Al proceso de cambiar una fórmula proposicional, , que ocurra en
alguna otra fórmula proposicional, (), por otra fórmula
proposicional cualquiera (incluyendo a ella misma), , en cada una de
las ocurrencias de dicha fórmula proposicional dentro de la fórmula
proposicional en cuestión, (), lo llamaremos reemplazo de una
7
fórmula proposicional por otra fórmula proposicional dada. En este
sentido cualquier conjugación de la forma: reemplazo, reemplazas,
reemplaza, reemplazamos, reemplazáis o reemplazan (reemplazando),
puede usarse en lugar de reemplazo.
(v) Si (’) y es de la forma ’’’, siendo ⊢ [’’’], entonces
'' ' se lee: ’’ se reemplaza en lugar de ’ en , a partir de , o
bien, reemplazando ’’ en lugar de ’ en , según .
(vi) Al proceso de cambiar una proposición–símbolo, , que ocurra en
alguna otra proposición–símbolo, (), por otra proposición–símbolo
cualquiera (incluyendo a ella misma), , en cada una de las
ocurrencias de dicha proposición–símbolo dentro de la proposición–
símbolo en cuestión, (), lo llamaremos reemplazo de una
proposición–símbolo por otra proposición–símbolo dada. En este
sentido cualquier conjugación de la forma: reemplazo, reemplazas,
reemplaza, reemplazamos, reemplazáis o reemplazan (reemplazando),
puede usarse en lugar de reemplazo.
(vii) Si (‘) y es de la forma ‘‖, cuyo valor de verdad es v,
entonces '' ' se lee: ‖ se reemplaza en lugar de ‘en , a partir de
18
(iv) ( ~ ~
)
—Corolario III.XXI (Reglas de D’Morgan):
(i) ⊢ ~ ~
(ii) ~ ,~ ⊢
(iii) ⊢ ~ ~
(iv) ~ ~ ⊢
—Corolario IV.XXI (Reglas de de D’Morgan):
~ ~
(i) ⊢
~ ~
(ii) , ⊢
~ ~
(iii) ⊢
~ ~
(iv) ⊢
—Teorema XXII (Disyunción Exclusiva):
(i) ⊢ (p .
(ii) ⊢ (p q)( ~p q).
(iii)⊢(p q)(p q~ ).
—Corolario I.XXII (Disyunción Exclusiva):
(i) ⊢ ( ) .
(ii) ⊢ ( )( ~ ).
(iii)⊢( )(~ ).
—Corolario II.XXII (Disyunción Exclusiva):
(i) ( ) .
~
(ii) ( )( ).
~
(iii)( )( ).
—Corolario III.XXII (Disyunción Exclusiva):
(i) ⊢
(ii) ⊢
(iii) ⊢ ~
(iv) ~ ⊢
(v) ⊢~
(vi) ~ ⊢
—Corolario IV.XXII (Disyunción Exclusiva):
19
—Teorema XXIII (Simetría de la Equivalencia): ⊢ (pq)(qp)
—Corolario I.XXIII (Simetría de la Equivalencia): ⊢()().
—Corolario II.XXIII (Simetría de la Equivalencia): ()().
—Corolario III.XXIII (Regla de la Simetría de la Equivalencia):
(i) ⊢
(ii) ⊢
—Teorema XXIV:
(i) ⊢ ( ~ ).
(ii) ⊢ (~).
(iii)⊢( ~ )(~ ).
—Corolario I.XXIV:
(i) ( ~ ).
~
(ii) ( ).
~ ~
(iii)( )( ).
—Corolario II.XXIV:
(i) ⊢ ~
(ii) ~ ⊢
(iii) ⊢~
(iv) ~ ⊢
(v) ~ ⊢~
(vi) ~ ⊢ ~
—Corolario III.XXIV:
~
(i) ⊢
~
(ii) ⊢
~
(iii) ⊢
20
~
(iv) ⊢
~ ~
(v) ⊢
~ ~
(vi) ⊢
—Teorema XXV (Transitividad de la Equivalencia):
⊢(pq)(qr)(qr)
—Corolario I.XXV (Transitividad de la Equivalencia):
⊢ ()()()
21
(i) ‘‘, ‖‖, ‘‖⊢‘‖
(ii) ‘‘, ‖‖, ‘‖⊢‘‖
23
(i) ⊢()()().
(ii) ⊢()()().
—Corolario II.XXXII (Distributividad):
(i) ()()()
(ii) ()()()
24
—Teorema XXXIV (Simplificación Conjuntiva):
—Teorema XXXV:
(i) ⊢ (pq)( ~
p q~ )
(ii) ⊢ (p)p, si
⊢
—Corolario I.XXXV:
(i) ⊢ ()( ~ ~ )
(ii) ⊢ (), si
⊢
—Corolario II.XXXV:
~ ~
(i) ( )( )
(ii) (), si
—Corolario III.XXXV:
(i) ⊢ ~ ~
(iii) ~ ~ ⊢
(iv) Si entonces ⊢
25
(v) Si entonces ⊢
—Corolario IV.XXXV:
~ ~
(i) ⊢
~ ~
(ii) ⊢
(i) Si entonces ⊢
(ii) Si entonces ⊢
—Teorema XXXVII:
(i) ⊢ (pq)(rs)(pr)(qs).
(ii) ⊢ (pq)(rs)(pr)(qs).
26
—Corolario I.XXXVII:
(i) ⊢ ()(‘ ‘)(‘)( ‘).
(ii) ⊢ ()(‘ ‘) (‘)( ‘).
—Corolario II.XXXVII:
(i) ⊢ ()(‘‘)(‘)(‘).
(ii) ⊢ ()(‘‘)(‘)(‘).
—Corolario III.XXXVII:
(i) , ‘ ‘⊢ (‘)( ‘)
(ii) , ‘ ‘⊢ (‘)( ‘)
—Corolario IV.XXXVII:
(i) , ‘‘⊢ (‘)(‘)
(ii) , ‘‘⊢ (‘)(‘)
—Teorema XXXVIII:
(i) ⊢ (pq)(rs)(pr)(qs).
(ii) ⊢ (pq)(rs)(pr)(qs).
—Corolario I.XXXVIII:
(i) ⊢ ()(‘ ‘)(‘)( ‘).
(ii) ⊢ ()(‘ ‘) (‘)( ‘).
—Corolario II.XXXVIII:
(i) ⊢ ()(‘‘)(‘)(‘).
(ii) ⊢ ()(‘‘)(‘)(‘).
—Corolario III.XXXVIII:
(i) , ‘ ‘⊢ (‘)( ‘)
(ii) , ‘ ‘⊢ (‘)( ‘)
—Corolario IV.XXXVIII:
(i) , ‘‘⊢ (‘)(‘)
(ii) , ‘‘⊢ (‘)(‘)
—Teorema XXXIX:
(i) ⊢ (pq)( ~
p r)(qr).
27
(ii) ⊢ p(qr)(pq)(pr).
(iii)⊢ (pq)r)p(qr).
(iv)⊢ (p q~ )(r ~p )(qr) .
(v) ⊢ p(qr)(pq)(pr).
(vi)⊢ (pq)r(qs))r(ps).
(vii) ⊢ p(qp).
—Corolario I.XXXIX:
(i) ⊢ ()( ~ )() .
(ii) ⊢ ()()().
(iii)⊢ ())().
(iv)⊢ (~ )( ~ )() .
(v) ⊢ ()()().
(vi)⊢ ()(‘))(‘).
(vii) ⊢ ().
—Corolario II.XXXIX:
~
(i) ( )( )()
(ii) ()()().
(iii)()().
~ ~
(iv)( )( )().
(v) ()()().
(vi)()(‘))(‘).
(vii) ().
—Corolario III.XXXIX:
(i) , ~ ⊢ .
(ii) ()⊢ ()().
(iii)()⊢ ()().
(iv)(~ )⊢ ( ~ )().
(v) ()⊢ ()().
(vi), ⊢ ().
28
—Corolario IV.XXXIX:
~
(i) , ⊢
(ii) ()⊢ ()()
(iii)()⊢ ()().
~ ~
(iv) ⊢ ( )().
(v) ()⊢ ()().
(vi), ⊢ ().
(vii) , (‘)⊢ (‘).
(viii) ⊢ .
(ii) (x) ~ ⊢
(i) ⊢ (x) ~
(iv)(x) ~ ⊢
35
Términos de la Cuantificación Existencial y viceversa):
Sea abreviatura de (z z‘ … z(n)).
(i) (x)
(ii) (∃x)
—Corolario II.XLIII (Definición de la Cuantificación Universal en
Términos de la Cuantificación Existencial y viceversa):
Sea la abreviatura de (z z‘ … z(n)).
(i) (x)⊢
(ii) ⊢ (x)
(iii)(x)⊢
(iv) ⊢(x).
(i) (x)⊢
(ii) ⊢ (x)
(iii)(x)⊢
(iv) ⊢(x)
—Teorema XLIV (Relación entre la Cuantificación Universal y la Cuantificación
Existencial):
Sea la abreviatura de (z z‘ … z(n)).
~
(i) (x)
(ii) (x)
—Definición XXXII (Proposiciones Generales Contrarias y Subcontrarias):
(i) Dos proposiciones generales son contrarias si y sólo si ambas pueden ser
falsas a la vez, pero no pueden ser verdaderas a la vez.
(ii) Dos proposiciones generales son subcontrarias si y sólo si ambas pueden
ser verdaderas a la vez, pero no pueden ser falsas a la vez.
36
—Corolario I.XLV (Generalización Universal y Generalización Existencial):
Sea la abreviatura de (z z‘ … z(n)).
(i) Si (y) entonces (x)(x), independientemente del universo del discurso.
(ii) Si (y) entonces (x)(x), independientemente del universo del discurso.
(iii) ()
(iv) ()
(vi) ()
(ix)() (x)
(xi)() (x)
40
silogismo formal.
(v) El final de una demostración formal es precisamente el ultimo argumento
de los demostración formal, lo cual se denota mediante el símbolo de
Halmos que se escribe después de dicho ultimo argumento.
—Definición XXXVIII (El Método Deductivo (Directo): Demostración
Ultra Formal):
(i) Llamaremos demostración metaformal o ultraformal (de un silogismo
(metaformal)) a la sucesión de fórmulas proposicionales de la forma:
0, 0‘, …, 0(k), ‘, ‘‘, ‘‘‘, …, (n),
tal que: 0, 0‘, …, 0(k), ‘, ‘‘, ‘‘‘, …, (n) ⊢
razón por la cual, a dicha demostración ultraformal, la denotaremos
simplemente por ⊢ (donde es la sucesión 0, 0‘, …, 0(k), ‘, ‘‘,
‘‘‘, …, (n)), expresión que indica un silogismo formal que va de las
hipótesis, 0, 0‘, …, 0(k), hacia la tesis, , a través de la sucesión de
fórmulas proposicionales,
‘, ‘‘, ‘‘‘, …, (n),
cada una de ellas llamada argumento (paso) de la demostración
metaformal las cuales tienen, todas ellas, un valor de verdad v, dado que
cada una de ellas es una tautología que se justifica
(a) a partir de axiomas, postulados o teoremas previamente aceptados36, o
bien,
(b) mediante alguna fórmula proposicional, , que sea parte de la
demostración metaformal de algún silogismo (metaformal), que se
haya aceptado en el universo del discurso dado, pero que anteceda a
dicha demostración formal: ⊢ .
k
(ii) Usaremos ⊢ 0 , ⊢ oI , ⊢ o II ,…, ⊢ o
como metavariables, que se usan
únicamente dentro de una demostración metaformal, y que toman valores
a partir de las hipótesis, dentro de la misma, mediante el símbolo de
asignación ―:‖.
(iii) Usaremos ⊢ I , ⊢ II ,…, ⊢ n como metavariables, que se usan
únicamente dentro de una demostración metaformal, y que toman valores
a partir de los argumentos dentro de la misma mediante el símbolo de
asignación ―:‖.
(iv) El último argumento de una demostración metaformal es siempre la tesis
del silogismo metaformal.
(v) El final de una demostración formal es precisamente el último argumento de la
demostración metaformal, lo cual se denota mediante el símbolo de Halmos que
se escribe después de dicho último argumento.
—Teorema XLIX (Regla de –introducción):
(i) (x)⊢ (x)(x), donde y son la abreviatura,
respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
(ii) (x)(x)⊢ (x)(x), donde y son la
abreviatura, respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
41
—Corolario I.XLIX (Regla de –introducción):
(i) (x)⊢(x)(x), donde y son la
abreviatura, respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)
(ii) (x)(x)⊢(x)(x), donde y son la abreviatura,
respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
—Teorema L (Regla de –introducción):
(i) (x)⊢ (x)(x), donde y son la abreviatura,
respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
(ii) (x)(x)⊢ (x)(x), donde y son la
abreviatura, respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
—Corolario I.L (Regla de –introducción):
(i) (x)⊢ (x)(x), donde y son la abreviatura,
respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
(ii) (x)(x)⊢ (x)(x), donde y son la
abreviatura, respectivamente, de (z z‘ … z(n)) y (y y‘ … y(k)).
—Teorema LI:
(i) ⊢ (x)(x)(x).
(ii) ⊢(x)(x)(x).
—Corolario I.LI:
(i) (x)(x)(x).
(ii) (x)(x)(x).
—Corolario II.LI:
(i) (x)(x)⊢ (x).
(ii) (x)⊢ (x)(x).
(iii) (x)(x)⊢ (x).
(iv) (x)⊢ (x)(x)
—Teorema LII (Distribución de los Cuantificadores): Si y son
abreviatura, respectivamente, de (x) y (x), siendo y de la forma:
(z z‘ … z(n)) y (y y‘ … y(k)), entonces:
(i) ⊢ (x)(x)(x).
(ii) ⊢ (x)(x)(x).
(iii) ⊢ (x)(x)(x).
(iv) ⊢ (x)(x)(x).
(v) ⊢ (x)(x)(x).
42
—Corolario I.LII (Distribución de los Cuantificadores): Si y son
abreviatura, respectivamente, de (x) y (x), siendo y de la forma:
(z z‘ … z(n)) y (y y‘ … y(k)), entonces:
(i) (x)(x)(x).
(ii) (x)(x)(x).
(iii) (x)(x)(x).
(iv) (x)(x)(x).
(v) (x)(x)(x).
43
(i) ⊢(x)(x)(x).
(ii) ⊢(x)(x)(x).
(iii) ⊢(x)(x)(x)
44
(i) (x)(y)(x, y)⊢ (y)(x)(x, y).
(ii) (x)(y)(x, y)⊢ (y)(x)(x, y).
(iii) (x)(y)(x, y)⊢ (y)(x)(x, y).
45