CONCEPTO: OBJETO DE LA LGICA (PROLEGMENOS)

*Verdad y validez:
Entenderemos por proposicin o enunciado verdadero aquel enunciado que lo que dice (su contenido) es
acorde con los hechos, y falso si lo que dice no es acorde con los hechos.
EJEMPLO.
La luna es el satlite de la Tierra (verdadero)
Marte es el satlite de la Tierra
(falso)
El concepto de validez o verdad formal es algo muy distinto. Consideremos los siguientes enunciados:
(1) Csar cruz el Rubicn o no lo cruz
(2) Csar cruz el Rubicn y derrot a Pompeyo
La diferencia profunda entre (1) y (2) consiste en que (1) es verdadero con independencia de los hechos o
lo que ocurra en el mundo. En cambio, (2) no; su verdad depende de lo que efectivamente haya sido el
caso. Podemos concebir circunstancias que falseen (2) (Csar podra no haber cruzado el Rubicn o bien
no haber vencido a Pompeyo) pero no a (1). Decimos que un enunciado como (1) es vlido, es una ley
lgica. El enunciado (2), aunque es de hecho verdadero, no es vlido.
De un modo ms preciso, la razn de la validez e invalidez la achacamos a la forma de los enunciados no
a lo que dicen. La validez es una cuestin puramente formal, por eso se dice tambin de una expresin
vlida que es verdadera en virtud de la forma (lgica). Los enunciados (1) y (2) poseen distinta forma
lgica, que atiende nicamente a la estructura del lenguaje, como se resalta respectivamente en
(1) A o no A.
(2) A y B
Las expresiones (1) y (2) son esquemas de enunciados, los cuales no son ni verdaderos ni falsos, sino
que son vlidos o no. El criterio al que apelamos se basa en lo siguiente: estos esquemas convienen a
todos aqullos enunciados que, como (1) y (2), pueden obtenerse sustituyendo las letras (variables) A y
B por enunciados. Si entre todos ellos se encuentra alguno que sea falso, entonces decimos que las
formas expuestas son invlidas (el enunciado falso encontrado supone la existencia de un contraejemplo
de la validez de stas). Si no, decimos que son vlidas. Plantearse la validez de (1) y de (2) es plantearse
precisamente la validez de sus formas respectivas. En estos ejemplos, si ponemos, 2+2 = 5en lugar de
A refutamos la pretendida validez de (2) y, en consecuencia, decimos que (2) no es vlido. En cambio,
no podemos hacer lo mismo con (1), ni siquiera con cualquier otro enunciado diferente de 2+2 = 5.
Consideremos otro par de enunciados:
(3) Si ningn cocodrilo es herbvoro, entonces ningn herbvoro es un cocodrilo
(4) Si todos los tringulos son polgonos de tres lados, entonces todos los polgonos de tres lados
son tringulos
Abstraigamos su forma como sigue:
(3) Si ningn A es B, entonces ningn B es un A
(4) Si todos los A son B, entonces todos los B son A
En este caso, la categora sintctica de las variables A y B son trminos universales (tringulo,
herbvoro, etc.). la forma indicada en (3) es vlida, la de (4) no lo es. Para comprobar esto ltimo,
basta con sustituir, por ejemplo, A por hombres y B por mortales y se tiene claramente un enunciado
falso.
En los casos presentados (1)-(4), hemos mantenido ciertas expresiones para destacar la forma
lgica, expresiones como no, y, o, si .. entonces, ningn. Estas y otras expresiones se
denominan palabras o constantes lgicas, y sern motivo de estudio en lo que sigue.

CONCEPTO: OBJETO DE LA LGICA (PROLEGMENOS)

<continuacin>

Sean los siguientes conjuntos de enunciados:

(1)

(2)
Todos los tringulos son polgonos
Todos los cuadrados son tringulos
Luego, todos los cuadrados son polgonos

Juan es catlico o cristiano

Juan es catlico
Luego, Juan es cristiano

(1) y (2) son argumentos: conjuntos de enunciados de un lenguaje dado, uno de los cuales se llama
conclusin y el resto premisas. La conclusin se identifica porque sigue tras expresiones como luego,
por consiguiente u otras. La forma lgica de (1) y (2) se resalta respectivamente en
(1)

(2)
Todos los A son B
Todos los C son A
Luego, todos los C son B

AoB
A
Luego, B

(1) y (2) son formas (o esquemas) argumentales.

Un argumento vlido o correcto es aqul que es verdadero en virtud de su forma lgica, i.e., no puede
tener la combinacin premisas verdaderas y conclusin falsa. Dicho de otra manera: la forma de un
argumento vlido es tal que no puede ser ejemplificada por un argumento con dicha combinacin.
Cualquier otra combinacin es posible.
El argumento (1) es vlido; el argumento (2) no lo es. Podemos exhibir un contraejemplo de (2)
rellenando convenientemente las variables A y B de modo que obtengamos un argumento con premisas
verdaderas y conclusin falsa.
Sea
2 es par o mayor que 3
2 es par
Luego 2 es mayor que 3
El argumento (3) tiene claramente premisas verdaderas y conclusin falsa y ejemplifica la forma (2), al
igual que (1), por lo que dicha forma argumental es invlida. Por lo tanto, el argumento (2) es invlido.
*Objeto de la lgica formal: La lgica formal se ocupa del razonamiento. Pero su preocupacin
especfica es realizar un anlisis de la validez o correccin de los argumentos y establecer mtodos para
distinguir las argumentos vlidos (o correctos) de los invlidos (o incorrectos).

CONCEPTO: LOS LENGUAJES LGICOS (PROLEGMENOS)

<continuacin>

* Los lenguajes lgicos son lenguajes de smbolos

Para destacar la forma lgica de enunciados y argumentos usamos smbolos. Aristteles empleaba
variables para denotar trminos universales (caballo, hombre, etc). Los estoicos empleaban ordinales
para denotar proposiciones, como en
Si lo primero, entonces lo segundo. Es as que lo primero. Luego lo segundo.
La lgica formal moderna construye lenguajes [ver lenguajes formales] que usan smbolos para
representar igualmente expresiones que afectan a la estructura del lenguaje, partculas de enlace como si,
..entonces, cuantificadores como todos, etc. Es decir, lo que hemos llamado palabras o constantes
lgicas. El uso de estos lenguajes no se limita a representar el lenguaje coloquial, sino que se definen su
gramtica de forma precisa y evitan ambigedades del lenguaje natural. Adems, poseen la ventaja de
permitir atender a los razonamientos slo por su forma y desarrollar as clculos con exactitud. La lgica
que presentamos aqu es la llamada lgica clsica, pero se han venido desarrollando desde mediados del
siglo XX multitud de lgicas (no clsicas), que atienden a aspectos del razonamiento epistmicos,
temporales y otros, as como considerar ms de dos valores de verdad, etc.
*Lenguaje y metalenguaje
Dado un determinado lenguaje, llamado lenguaje objeto, se denomina como su metalenguaje al lenguaje
que habla directamente acerca de l. Sea la expresin Ana est enamorada. Entonces en la proposicin
Ana est enamorada est correctamente expresado, la expresin est correctamente expresado es
metalingstica. En los lenguajes lgicos est claramente diferenciados estos dos niveles lingsticos. El
de las expresiones del lenguaje objeto y el de las expresiones que se refieren a dicho lenguaje.
*Uso y mencin
Usar una expresin es utilizarla para referirse a algo distinto de s misma, su significado habitual, como
Cervantes en Cervantes era espaol. En cambio, mencionar una expresin es utilizarla para decir algo
relativo a la propia expresin, como Cervantes en Cervantes es un nombre propio. Esta distincin evita
falacias como:
Platn es un filsofo
Filsofo es un trmino tetraslabo
Luego, Platn es un trmino tetraslabo
La expresin filsofo no tiene el mismo tratamiento en ambas premisas, lo que invalida la conclusin.
Dicha expresin es usada en la primera premisa y mencionada en la segunda. Una manera de realizar esta
distincin es usar comillas cuando se menciona una expresin.
*Sintaxis, semntica, pragmtica
En trminos generales, podemos distinguir
Sintaxis: estudia las relaciones entre los signos de un lenguaje sin atender a su significado
Semntica: estudia la relacin entre los smbolos y las entidades extralingsticas que significan
Pragmtica: estudia las relaciones entre los smbolos y sus posibles usos.
A la lgica le interesa especialmente la sintaxis y la semntica:
-Una sintaxis precisa para destacar la forma de los razonamientos y calcular.
-Una semntica que interprete los smbolos de los lenguajes formales de manera que se definan
rigurosamente los conceptos de verdad, validez y consecuencia lgica.
*La lgica es un instrumento que se utiliza especialmente
-para representar formalmente conocimiento
-para fundamentar las matemticas
-en ciertas reas de la computacin e Inteligencia Artificial (anlisis de programas, demostracin
automtica, Sistemas Basados en Conocimiento, ).

CONCEPTO: PROPOSICIONES

*Proposiciones
Trataremos proposiciones o enunciados (ambos trminos los consideraremos como
sinnimos) declarativos, proposiciones que pueden ser verdaderas o falsas, pero
no ambas cosas a la vez. Verdad y falsedad se denominan valores de verdad.
Nuestra lgica es bivaluada, se basa en el principio de bivalencia (toda proposicin o
enunciado es verdadero o falso).
Una proposicin es verdadera si lo que indica es conforme con los hechos y falsa si lo que
indica no es conforme con los mismos. Adems, en una proposicin no se admiten grados
de verdad o falsedad, probabilidades, ni modos de ser verdadera o falsa.
EJEMPLO:
*Las siguientes proposiciones son asunto de la lgica que tratamos:
(1)
(2)
(3)

El tres es un nmero impar

Madrid es la capital de Espaa
La luna es un satlite de Marte

Las dos primeras son verdaderas, la tercera es falsa.

*Las siguientes proposiciones no son asunto de la lgica que tratamos:
(4)
(5)
(6)
(7)
(8)

Quin ha llamado a la puerta?

Cmete el pltano!
Se prohbe aparcar
Ojal llueva!
Por favor, psame el pan

(es una interrogacin)

(es una orden)
(es una prohibicin)
(es un deseo)
(es un ruego)

CONCEPTO: PROPOSICIONES ATMICAS Y MOLECULARES

*Proposiciones atmicas y moleculares

*Proposicin atmica o simple: no puede descomponerse en proposiciones ms simples.
EJEMPLO:
(1)
La abuela est en el coche.
(2)
El martes es un da de la semana.
(3)
El dos es un nmero primo.
*Proposicin molecular o compuesta: puede descomponerse en proposiciones ms simples.
Las proposiciones moleculares se forman a partir de proposiciones atmicas y partculas que las
afectan o enlazan. A estas partculas las denominamos conectivas.
EJEMPLO:
(4)
La vaca es un mamfero y el saltamontes es un insecto.
(5)
No es el caso que llueva o nieve.
(6)
Si maana luce el sol, entonces iremos al campo o a la playa.
(7)
La bicicleta ser tuya si y slo si no suspendes el examen.
-La proposicin (1) se descompone en dos proposiciones atmicas:
a)
la vaca es un mamfero
b)
el saltamontes es un insecto
Ambas conectadas por la partcula y.
-La proposicin (2) contiene dos proposiciones atmicas:
a)
llueve
b)
nieva
La partcula o forma la proposicin molecular llueve o nieva
La partcula no es el caso que afecta a la anterior formando finalmente (2)
-La proposicin (3) contiene tres proposiciones atmicas:
a)
luce el sol
b)
iremos al campo
c)
iremos a la playa
La partcula o forma la proposicin iremos al campo o a la playa
La partcula si ... entonces afecta a la proposicin atmica luce el sol y
a la anterior formando finalmente (3).
-La proposicin (4) contiene dos proposiciones atmicas:
a)
la bicicleta ser tuya
b)
suspendes el examen
La partcula no forma la proposicin no suspendes el examen
la partcula si y slo si forma (4) a partir de la anterior.

CONCEPTO: CONECTIVA

*Conectivas:
Son palabras lgicas que contribuyen a formar proposiciones a partir de proposiciones. Destacaremos
algunas propiedades de las conectivas estudiadas:
1.- La aridad de una conectiva es el nmero de proposiciones a las que afecta o enlaza.
Dependiendo de la aridad, las conectivas a estudiar se dividen en
-Monarias:

no

-Binarias:

y
o
si...entonces
si y slo si

2.-Son veritativo-funcionales: el valor de verdad de una frmula (o proposicin) compuesta por

una conectiva tal depende slo de los valores de verdad de sus frmulas (o proposiciones) componentes.
Un enunciado compuesto veritativo-funcional permite la sustitucin de un enunciado componente suyo
por otro con el mismo valor veritativo preservando el valor de verdad del enunciado original. Un ejemplo
de conectiva no veritativo-funcional es sabe que. Pues un enunciado, presumiblemente verdadero,
como
Juan sabe que dos ms dos es igual a cuatro
es tal que no podemos sustituir, sin ms, un componente suyo como dos ms dos es igual a cuatro por
otro con el mismo valor veritativo preservando la verdad. Si sustituimos dicho componente (verdadero)
por otro igualmente verdadero como -por ejemplo- Feynman fue Premio Nobel de Fsica, tendramos
Juan sabe que Feynman fue Premio Nobel de Fsica
No es difcil imaginar que no hay garantas de que esto sea cierto.
*Las conectivas son funciones:
Una conectiva puede entenderse como una funcin cuyos argumentos son proposiciones y cuyo valor es
una proposicin.
EJEMPLO.
La expresin si ... entonces aplicada a las proposiciones n es par y n es divisible por dos como
argumentos suyos en este orden da la proposicin si n es par, entonces n es divisible por dos, es decir:
si...entonces (n es par, n es divisible por dos) = si n es par, entonces n es divisible por dos
Podemos componer nuevos enunciados tomando este valor como argumento de una nueva conectiva, por
ejemplo:
o (n es impar, si...entonces (n es par, n es divisible por dos)) =
n es impar o si n es par, entonces n es divisible por dos
etc.

CONCEPTO: NEGACIN

*Negacin
La negacin de una proposicin se forma prefijando a dicha proposicin expresiones
como no es cierto que, no es el caso que, etc. En otras ocasiones, cuando negamos una
proposicin singular, solemos interiorizar la partcula negativa afectando al verbo.
Tambin la partcula in prefijada a una palabra hace de negacin. En smbolos,
dada una proposicin A, la expresin A se denomina la negacin de A. El smbolo
se lee no. As, A se lee no A.
Otras lecturas de son: no ocurre que, no es cierto que, no es el caso que,
EJEMPLO:
Para negar:
el prximo viernes es fiesta
podemos decir:
el prximo viernes no es fiesta
no es el caso que el prximo viernes sea fiesta
etc.
Para negar:
la historia de Troya es verosmil
podemos decir:
la historia de Troya es inverosmil
etc.
*Regla de las condiciones de verdad de la negacin:
A es verdadera si A es falsa; A es falsa si A es verdadera
Podemos expresar esto mismo en forma de tabla como sigue:
A A
1
0
0
1
EJEMPLO:
De las siguientes negaciones, (1) y (3) son verdaderas, mientras que (2) y (4) son falsas:
(1)
(2)
(3)
(4)

El cuatro no es un nmero primo.

No es el caso que Csar cruzara el Rubicn.
No es cierto que Marte sea el satlite de la Tierra.
Pars no est en Francia.

CONCEPTO: CONJUNCIN

*Conjuncin
La conjuncin de un par de proposiciones se forma conectndolas con la partcula y.
En smbolos, dadas proposiciones cualesquiera A y B, la expresin A B se denomina
la conjuncin de A y B. El smbolo representa la partcula y, de modo que A B se
lee: A y B .
Otras partculas representadas o simbolizadas mediante son: pero, no obstante,
aunque, tanto como. Tambin las comas, el punto y coma o el punto pueden cumplir
la misma funcin.
EJEMPLO:
-Los siguientes enunciados son conjunciones:
La inflacin ha bajado este ao, pero menos que el ao anterior.
Esta pendiente es escarpada, no obstante subiremos.
Nuestro equipo ayer result ganador, aunque por un margen de dos puntos.
Tanto Londres como Pekn estn en China.
Llueve, truena, hace viento.
*Regla de las condiciones de verdad de la conjuncin:
A B es verdadera si tanto A como B son verdaderas; A B es falsa en cualquier otro caso
Podemos expresar esto mismo en forma de tabla como sigue:
A
1
1
0
0

B
1
0
1
0

A B
1
0
0
0

EJEMPLO:
Cada una de las siguientes conjunciones ejemplifica correlativamente un caso de la tabla
anterior. Ntese que solamente (1) es verdadera, como corresponde:
(1)
(2)
(3)
(4)

Cervantes escribi El Quijote y Caldern escribi La vida es sueo.

El dos es un nmero primo e impar.
Londres es la capital de Holanda, pero Edimburgo es la de Escocia.
Argentina pertenece a la Comunidad Europea y Estados Unidos se halla en el cono sur.

CONCEPTO: DISYUNCIN

*Disyuncin
La disyuncin se forma componiendo un par de proposiciones mediante la partcula o.
En el lenguaje coloquial hay dos tipos de disyuncin: una inclusiva y otra exclusiva.
EJEMPLO:
Sea el enunciado:
La empresa contratar a personas que hayan cursado estudios de Economa o Derecho
Este enunciado ser cierto (interpretado en sentido inclusivo) si la empresa contrata a personas
que hayan cursado estudios de Economa pero no de Derecho, o bien que hayan cursado
estudios de Derecho pero no de Economa, o bien que haya cursado ambos tipos de estudios.
Lo que se pretende con este sentido es afirmar que al menos se da una de las alternativas sin
excluir la posibilidad de que se cumplan ambas.
En smbolos, dadas proposiciones cualesquiera, A y B, la expresin A B se denomina la
disyuncin (inclusiva) de A y B. El smbolo se lee o, de modo que A B se lee A o B.
Las expresiones A y B se denominan alternativas o disyuntos.
*Regla de las condiciones de verdad de la disyuncin:
A B es verdadera si al menos una de sus alternativas es verdadera; A B es falsa si tanto A
como B lo son.
Puesto esto mismo en forma de tabla, tenemos:
A
1
1
0
0

B
1
0
1
0

A B
1
1
1
0

EJEMPLO:
Cada una de las siguientes disyunciones ejemplifica correlativamente un caso distinto de la tabla
de verdad de la disyuncin. Ntese que solamente (4) es falsa, como corresponde:
(1)
(2)
(3)
(4)

La luna es un satlite o Marte es un planeta.

2 + 2 = 4 3 + 2 = 4.
Pars es la capital de Australia o Madrid es la de Espaa.
El Salvador es un pas africano o Filipinas es un pas europeo.

CONCEPTO: DISYUNCIN
<Continuacin>

*Disyuncin (continuacin)
El uso ms corriente de la partcula o en el lenguaje coloquial es el exclusivo. Segn dicho
uso, las alternativas de una disyuncin son incompatibles entre s, de modo que no pueden
ser ambas verdaderas a la vez. Por ejemplo:
La temperatura de la habitacin es alta o baja
El acusado es inocente o culpable.
Es muy complicado en ocasiones decidir si una disyuncin es inclusiva o exclusiva, debido
a la ambigedad de la partcula o. No siempre est claro por el contexto si se trata de una
u otra. Pero el lenguaje coloquial posee expresiones que permiten desambiguar el sentido de
dicha partcula reforzando su sentido inclusivo o exclusivo.
-Para el sentido inclusivo tenemos, por ejemplo, las siguientes expresiones:
A y/o B
A o B, o ambas a la vez
Al menos una de las dos: A o B
-Para el sentido exclusivo, disponemos, por ejemplo de las siguientes expresiones:
A o B, pero no ambas a la vez
Una de dos: o A o B
Una y slo una de las siguientes alternativas es cierta: o A o B.
En lgica, lo habitual es tratar toda disyuncin como inclusiva y aqu seguiremos esa prctica.

CONCEPTO: IMPLICACIN MATERIAL

* Implicacin material
Una proposicin compuesta por un par de proposiciones conectadas con la expresin
si ... entonces se denomina condicional o tambin implicacin material (o abreviadamente
implicacin). El smbolo representa la expresin si...entonces, de modo que, dadas
proposiciones cualesquiera, A y B, la expresin A B se lee Si A, entonces B.
La proposicin A se denomina el antecedente de la implicacin y B el consecuente de la misma.
EJEMPLO. La siguiente proposicin es una implicacin material:
Si nieva, entonces hace fro
donde nieva es el antecedente y hace fro el consecuente.
* Regla de las condiciones de verdad de la implicacin
A B es falsa si A es verdadera y B es falsa; es verdadera en cualquier otro caso.
Puesto eso mismo en forma de tabla:
A

AB

1
1
0
0

1
0
1
0

1
0
1
1

EJEMPLO. Cada uno de los siguientes enunciados ejemplifica correlativamente uno de los casos
de la tabla anterior:
(1)
(2)
(3)
(4)

Si 1 + 1 = 2, entonces 3 + 3 = 6.
Si junio sigue a mayo, abril sigue a enero.
Si 3 + 1 = 0, entonces 2 + 1 = 3.
Si Pars es la capital de Italia, entonces Pars se halla en frica.

CONCEPTO: IMPLICACIN MATERIAL

<Continuacin>

* Distintos usos de si entonces:

En el lenguaje coloquial, la expresin si ... entonces tiene diversos sentidos. El sentido que recogemos
aqu con el smbolo es exclusivamente veritativo-funcional, que raramente se encuentra en el
lenguaje natural y es ms propio de contextos matemticos. Podemos formar condicionales verdaderos de
acuerdo con nuestra tabla anterior, pero contraintuitivos como:
Si el lunes precede al martes, entonces el uno es un nmero primo
Esto es as porque no exigimos una relacin de significado entre antecedente y consecuente, sino
simplemente que no se d el caso que el antecedente sea verdadero y el consecuente falso. No obstante,
en el lenguaje coloquial tambin podemos usar, en ocasiones, condicionales que no establecen una
relacin de significado entre lo que se dice en el antecedente y el consecuente.
EJEMPLO. Sea el enunciado:
Si t eres capaz de aprobar las matemticas, yo soy Napolen
En este caso se pretende afirmar de un modo enftico e irnico que el antecedente es falso.
Pero, normalmente, los condicionales que se usan en el lenguaje natural tienen componentes no
veritativo-funcionales.
EJEMPLO. Sean los enunciados siguientes:
(1)
(2)
(3)
(4)
(5)

Si Enrique es inocente, no es culpable.

Si el dos es un nmero par, entonces no es cierto que el dos no es par.
Si se este papel de tornasol azul se mete en una solucin cida, se volver rojo.
Si apruebas el prximo examen, cruzar a nado el Atlntico.
Si te hubieras levantado esta maana a tiempo, no habras llegado tarde.

En (1), el consecuente se sigue del antecedente por el hecho de que el trmino inocente significa lo
mismo que no culpable.
En (2), el consecuente se sigue lgicamente del antecedente (se trata de un condicional verdadero en
virtud de su forma lgica).
En (3) se establece una conexin de tipo causal entre antecedente y consecuente.
En (4) se establece la decisin por parte del hablante de cumplir el consecuente en caso de que se d el
antecedente.
En (5) tenemos un condicional contrafctico. El antecedente enuncia algo que no se ha cumplido de
hecho. Si un contrafctico se interpretara como una implicacin material, sera trivialmente verdadero por
falsedad del antecedente.
A pesar de todo, los condicionales expuestos en (1)-(4) pueden entenderse como implicaciones
materiales, haciendo una simplificacin. El caso de (5) es distinto. Dicha simplificacin resulta excesiva,
por lo comentado.

CONCEPTO: IMPLICACIN MATERIAL

<Continuacin>

*Condicin suficiente y condicin necesaria.

Dada una implicacin, A B, tenemos lo siguiente:
Condicin suficiente: el antecedente A es condicin suficiente del consecuente B.
Esto significa que basta con que A sea verdadero para que B lo sea.
Condicin necesaria: el antecedente A no es condicin necesaria del consecuente B.
Es decir, no es imprescindible que A sea verdadero para que B lo sea.
Pero el consecuente B s es condicin necesaria de A.
Para expresar la condicin necesaria de un condicional utilizamos la partcula slo si.
La expresin:
Slo si A, entonces B
significa lo mismo que:
Si B, entonces A.
EJEMPLO. El enunciado:
Slo si eres mayor de edad, entonces posees carnet de conducir
quiere decir lo mismo que
Si posees carnet de conducir, entonces eres mayor de edad.
OTRAS LECTURAS DE A B:
Algunas alternativas a la lectura de A B como si A, entonces B y con el mismo significado que sta
son las siguientes:
A es condicin suficiente para B
B es condicin necesaria para A
En el caso de que A, entonces B
Cuando A, B
B, a condicin de que A
B, si A
Siempre que A, B
Suponiendo que A, B
Slo si B, entonces A

CONCEPTO: EQUIVALENCIA MATERIAL

*Equivalencia material
Una proposicin compuesta por un par de proposiciones unidas por la partcula si y slo si se denomina
bicondicional o tambin equivalencia material. El smbolo representa la expresin si y slo si, de
modo que, dadas proposiciones cualesquiera, A y B, la expresin A B se lee A si y slo si B. Otras
formas de leer A B son, por ejemplo:
Si y slo si A, entonces B
Si A, entonces, y slo entonces, B
En el caso de que A, y slo en dicho caso, B
A es condicin suficiente y necesaria para B
EJEMPLO. La siguiente proposicin es una equivalencia material:
Si y slo si hoy es lunes, entonces ayer fue domingo
* Regla de las condiciones de verdad de la equivalencia material:
A B es verdadera si tanto A como B son ambas verdaderas, o bien ambas falsas:
Es falsa en cualquier otro caso.
Puesto esto mismo en forma de tabla:
A

AB

1
1
0
0

1
0
1
0

1
0
0
1

EJEMPLO. Las siguientes equivalencias ejemplifican correlativamente los casos expuestos en la

tabla anterior:
(1)
(2)
(3)
(4)

Enero tiene treinta y un das si y slo si Septiembre tiene treinta.

Si y slo si Madrid es la capital de Espaa, entonces Burdeos es la de Francia.
Si Londres es la capital de Francia, entonces y slo entonces Bruselas es la capital de Blgica.
3 + 1 = 5 si y slo si 2 + 1 = 4.

CONCEPTO: LENGUAJE FORMAL (Caractersticas generales)

*Lenguaje formal: se construye con un alfabeto de smbolos y un conjunto de reglas de formacin de

expresiones generadas a partir de dicho alfabeto, llamadas frmulas.
Un lenguaje formal se identifica con el conjunto de sus frmulas y no requiere dar un significado a sus
smbolos para ser definido, aunque posteriormente lo hagamos.
EJEMPLO.
El lenguaje formal LF se define como sigue:
Alfabeto: ,
Frmulas: son las generadas nicamente por la siguiente regla:
-cualquier secuencia finita (no vaca) de smbolos del alfabeto de LF que comience por y termine por
es una frmula.
As, son frmulas de LF, por ejemplo, y . No lo son ni ni .
Podemos interpretar LF, dando un significado a sus smbolos. Por ejemplo, significa el nmero 1 y
la letra a. Las frmulas de LF significan cadenas de los objetos de {1, a}.
*El lenguaje de la lgica de proposiciones o enunciados: es un lenguaje formal destinado a representar
lo que se llama proposiciones sin analizar, es decir, contiene:
-smbolos para representar proposiciones atmicas del lenguaje coloquial, letras minsculas
como p, q, r, ... (con o sin subndices). Son las variables del lenguaje.
-los smbolos , , , y , para representar respectivamente las partculas no, y, o,
si ... entonces y si y slo si (u otras con el mismo cometido lgico). A estos smbolos les
denominamos tambin conectivas. Son las constantes del lenguaje.
-smbolos auxiliares o de puntuacin para desambiguar la lectura de las frmulas como
parntesis.
EJEMPLO. Sea el diccionario siguiente:
p : el gato est en el tejado
q: hay luna llena
Entonces el gato est en el tejado y hay luna llena se representa por p q. Podemos usar igualmente la
notacin prefija (p, q), que nos recuerda que las conectivas son funciones, pero resulta ms engorrosa.
Para determinar la validez no importa el contenido de los enunciados sino sus valores veritativos. Por
ello, la semntica de los lenguajes de lgica de proposiciones slo tiene en cuenta valores de verdad y no
los enunciados que podran representar los smbolos de proposicin.
*Interpretar el lenguaje formal de la lgica de proposiciones es dar significados a sus smbolos en el
conjunto de valores de verdad {0, 1}. Para ello:
-Los smbolos de proposicin reciben un valor de verdad arbitrariamente.
-Las conectivas se asocian con funciones de verdad (sus argumentos y valores son valores de
verdad). Estas funciones se han definido de forma grfica en las tablas de verdad de las conectivas.
Consideremos, por ejemplo, la tabla de verdad para y detallemos a su izquierda la funcin de verdad f
asociada a esta conectiva:
A
B
AB

1
1
0
0

1
0
1
0

1
0
0
0

f
f
f
f

(1, 1) = 1
(1, 0) = 0
(0, 1) = 0
(0, 0) = 0

CONCEPTO: EL LENGUAJE FORMAL DE LA LGICA DE PROPOSICIONES

(frmula)

*El lenguaje formal LP: El alfabeto y reglas de formacin de LP son los siguientes:
**Alfabeto:
Smbolos proposicionales: Un conjunto infinito numerable de smbolos de proposicin (con o sin
subndices) ={p, q, r, s, t, u, p1, q1, r1, s1, t1, u1, ...., pn, qn, rn, sn, tn, un, .....}
Conectivas: , , , ,
Parntesis: (, )
Aparte de los parntesis, podemos usar eventualmente como smbolos de puntuacin llaves y corchetes:
{, }, [, ]. Los smbolos proposicionales son variables destinadas a representar proposiciones atmicas del
lenguaje ordinario (variables proposicionales).
**Frmulas: Una frmula o expresin bien formada del lenguaje LP es una secuencia de smbolos del
alfabeto de LP generada por un nmero finito de aplicaciones de las siguientes reglas de formacin:
F1. Un smbolo proposicional es una frmula. La denominaremos frmula atmica o tomo.
F2. Si A es una frmula, A es una frmula.
F3. Si A y B son frmulas, entonces (A B), (A B), (A B) y (A B) son frmulas.
Las expresiones A y B usadas en la definicin se denominan variables metalingsticas y se refieren a
frmulas cualesquiera. Tambin reciben el nombre de esquemas de frmulas. Pueden utilizarse en general
letras maysculas del alfabeto latino con este fin.
EJEMPLO.
Son frmulas:
((p q) (q p))
(p q)
No son frmulas:
(A (B C))
(es un esquema)
p (q r)) (le falta el parntesis izquierdo)
(p )
(falta un miembro a la derecha de la flecha)
*Conectiva principal de una frmula: Es el smbolo que define la forma de la frmula (si es una
conjuncin, una implicacin, etc.). Si prescindimos de los parntesis externos de la frmula, la conectiva
principal se reconoce fcilmente por no hallarse encerrada entre parntesis.
EJEMPLO
La conectiva principal de:
((p q) (r s))
((p q) ((q r) s))
(((p q) r) s)

es la primera aparicin de
es
es

CONCEPTO: EL LENGUAJE FORMAL DE LA LGICA DE PROPOSICIONES

(conectiva principal y subfrmula)

*Subfrmulas:
Sea A una frmula cualquiera de LP y sea Sub(A) el conjunto de subfrmulas de A. Entonces:
Sub(A) = {A}, si A es una frmula atmica
Sub(A) = {A} Sub(A)
Sub((A op B)) = {(A op B)} Sub(A) Sub(B), siendo op {, , , }
EJEMPLO. Las subfrmulas de (p q) son los miembros del conjunto {(p q) , p, q, q}
Se calcula:
Sub((p q)) = {p q} Sub(p) Sub(q)
= {(p q)} {p} ({q} Sub(q))
= {(p q)} {p} {q} {q} = {(p q), p, q, q}
Esta definicin acepta a una frmula como subfrmula suya. Es una definicin no estricta de subfrmula.
Una definicin estricta sera la siguiente:
Sub(A) = , si A es una frmula atmica
Sub(A) = {A} Sub(A)
Sub ((A op B)) = {A, B} Sub(A) Sub(B), siendo op {, , , }
En el ejemplo anterior eliminaramos (p q) de Sub((p q)).
*Convenciones sobre el uso de smbolos auxiliares:
Para economizar parntesis introducimos las siguientes convenciones de notacin:
1. Se eliminan parntesis externos.
Por ejemplo:

se anota
en vez de

p (q r)
(p (q r))

2. En cadenas de conjunciones o disyunciones se eliminan los parntesis (esto se justifica

por la propiedad asociativa de y [ver Equivalencia lgica e implicacin lgica])
Por ejemplo:

se anota
se anota

pqr
pqr

en vez de
en vez de

(p q) r
(p q) r

o de
o de

p (q r)
p (q r)

Estos parntesis podemos respetarlos a voluntad cuando nos convenga.

3. Podemos usar igualmente corchetes [, ] y llaves {, } cuando haya un nmero excesivo de parntesis con
objeto de facilitar la lectura de las frmulas. Por ejemplo, podemos anotar
{[((p q) (q p)) (p q)] [p ((p q) r)]} (q r)
en vez de
((((p q) (q p)) (p q)) (p ((p q) r))) (q r)

CONCEPTO: SIMBOLIZACIN

*Simbolizacin:
Es el proceso de traduccin del lenguaje coloquial al lenguaje simblico LP. No hay reglas fijas para
simbolizar, tan slo podemos dar algunas indicaciones o consejos. Como pauta general, se recomienda
dar los siguientes pasos:
1.
2.
3.

Identificar las proposiciones atmicas (se otorgan variables distintas a las proposiciones atmicas
del lenguaje coloquial; pero frases simples con el mismo sentido se representan con la misma
variable).
Identificar todas las apariciones de conectivas e introducir los smbolos correspondientes.
Identificar las prioridades entre las diferentes apariciones de conectivas introduciendo parntesis
adecuadamente.

EJEMPLO
1. Sea la siguiente frase:
Si la temperatura baja, se encender el termostato, pero si la temperatura desciende y el termostato no
funciona, usaremos mantas.
Procedamos paso a paso:
a) Introducimos los smbolos proposicionales con su traduccin
p: la temperatura baja (desciende)
q: se encender el termostato
r: el termostato funciona
s: usaremos mantas
Tenemos entonces:
Si p, q, pero si p y no r, s
b) Ahora introducimos los signos de las conectivas
pqp rs
c) Introducimos los parntesis oportunos para respetar la estructura de la frase. Analizando sta tenemos
la conjuncin de dos condicionales:
Si la temperatura baja, se encender el termostato.
Si la temperatura desciende y el termostato no funciona, usaremos mantas.
Por tanto, tenemos finalmente:
(p q) (( p r) s)
Tenemos finalmente una conjuncin cuyos componentes son implicaciones a
2. Sean las siguientes frases:
Llueve y hace fro, pero no ventea
No llueve, pero hace fro y ventea
No es cierto que llueva o haga fro, aunque ventea
No llueve o no es el caso que haga fro y ventee
Si llueve, har fro y ventear
Introducimos tres smbolos proposicionales distintos con el significado siguiente:
p: llueve
q: hace fro
r: ventea
Tenemos finalmente la traduccin:
p q r
p q r
(p q) r
p (q r)
p (q r)

CONCEPTO: SIMBOLIZACIN
<continuacin>

*Ms indicaciones para la simbolizacin:

-En el lenguaje coloquial suelen acortarse las frases con un mismo sujeto o con un mismo predicado:
Pedro come y bebe
Pedro y Juan beben

(para simbolizarlo se despliega en: Pedro come y Pedro bebe)

(para simbolizarlo se despliega en: Pedro bebe y Juan bebe)

-Los enunciados unidos mediante comas indican la presencia de y:
Llueve, hace fro, ventea (para simbolizarlo se entiende como: Llueve y hace fro y ventea)
-La partcula y no siempre se simboliza mediante , como en:
Juan y Pedro son parientes
(se da una relacin entre dos individuos; no se puede desplegar en Pedro es pariente y Juan es pariente.
Se trata de una proposicin atmica.)
Iremos al cine y luego cenaremos
(la partcula y aparece en un contexto -y luego- que tiene un sentido temporal, contexto que no es
veritativo-funcional. Tengamos presente que la conmutatividad es una propiedad de la y en su uso
veritativo-funcional y claramente el enunciado anterior no es equivalente a cenaremos y luego iremos al
cine.)
Piensa mal y acertars
(es un condicional disfrazado: si piensas mal, acertars)
-Hay que tener en cuenta a la hora de simbolizar que la partcula o puede servirnos de parntesis para
deshacer la ambigedad de un texto:
Hoy es un mal da y llueve o hace viento
Si se interpreta como una conjuncin, tiene el mismo significado que
Hoy es un mal da y o llueve o hace viento.
O tambin: Hoy es un mal da y o bien llueve o bien hace viento
En smbolos:
p (q r)
Si se interpreta como una disyuncin, significa lo mismo que
O bien hoy es mal da y llueve o bien hace viento
En smbolos:
(p q) r
En estos casos la reiteracin de o (o de o bien) sirve meramente como signo de puntuacin (no tiene
el carcter exclusivo que dicha reiteracin suele poseer en el lenguaje natural).
-A veces la partcula si no introduce un condicional, como en:
Hay un pastel en la nevera para ti, si lo quieres
(el uso de si es retrico)

CONCEPTO: INTERPRETACIN

*Interpretacin
1. Una interpretacin de LP es una funcin I que asigna valores de verdad a las variables
proposicionales, denotado , en el conjunto {0, 1}. Intuitivamente, 1 representa la verdad y
0 la falsedad. Podemos extender I (usando la misma notacin) de modo que para frmulas
cualesquiera A y B de LP tenemos:
I(A) = 1 si y slo si I(A) = 0.
I(A B) = 1 si y slo si I(A) = I(B) = 1
I(A B) = 1 si y slo si I(A) = 1 o I(B) = 1
I(A B) = 1 si y slo si I(A) = 0 o I(B) = 1
I(A B) = 1 si y slo si I(A) = I(B)
2. Para dar una interpretacin de una frmula A de LP es suficiente con restringir una interpretacin a los
tomos que intervienen en A. Dado que una frmula tiene un nmero n de tomos distintos, posee 2n
interpretaciones distintas.
EJEMPLO. Sea la frmula de LP: (p q) r. Entonces p, q y r son todos los smbolos proposicionales
que intervienen en dicha frmula. Definamos una interpretacin I como sigue: I(p) = I(q) = 1; I(r) = 0. Es
decir, p y q son verdaderas y r es falsa
3. Para interpretar un conjunto de frmulas de LP es suficiente con asignar valores veritativos a los
smbolos proposicionales que intervienen en las frmulas que aparecen en .
EJEMPLO. Sea el conjunto {p, q r, s p}. Una interpretacin de dicho conjunto es: I(p) = I(q) = 1 e
I(r) = I(s) = 0.
*Verdadero (falso) en una interpretacin:
Una frmula A de LP es verdadera en una interpretacin dada I si I(A) = 1, esto es, si dicha interpretacin
le asigna el valor 1; en caso contrario, esto es, si I(A) = 0 (I le asigna el valor 0), A es falsa en la
interpretacin I.
EJEMPLO.
La frmula p p es verdadera en la interpretacin I(p) = 1.
La frmula (p q) (p r) es falsa en la interpretacin I(p) = I(q) = 1, I(r) = 0.
*Satisfacible (insatisfacible), modelo:
Una frmula A de LP es satisfacible si existe al menos una interpretacin en la que A es verdadera; en
caso contrario, se dice que A es insatisfacible. Un modelo de A es una interpretacin en la que A es
verdadera.
EJEMPLO. La frmula p p es satisfacible. La interpretacin I(p) = 1 es un modelo suyo.
Un conjunto de frmulas de LP es satisfacible si existe al menos una interpretacin en la que todas las
frmulas de son verdaderas a la vez; en caso contrario, es insatisfacible, es decir, para cualquier
interpretacin existe al menos una frmula A de en la que A es falsa. Un modelo de es una
interpretacin en la que todas las frmulas de son simultneamente verdaderas.
EJEMPLO. El conjunto {p q, p} es satisfacible. La interpretacin I(p) = 0, I(q) = 1 es un modelo de
dicho conjunto.

CONCEPTO: TABLAS DE VERDAD

*Tablas de verdad:
Si nos restringimos a los smbolos que aparecen en una frmula, sta tiene 2n interpretaciones distintas,
siendo n el nmero de smbolos de proposicin diferentes que intervienen en la frmula. Estas
interpretaciones pueden expresarse por medio de una tabla de verdad. Las tablas de verdad para las
conectivas (tablas bsicas) permiten calcular el valor de la frmula para cada interpretacin.
EJEMPLOS.
1. La tabla de verdad de la frmula ((p q) r) ((p r) (q r)) es:
p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r
1
0
1
0
1
0
1
0

((p q) r) ((p r) (q r))

1
1
1
1
1
1
1
0
1
0
0
0
0
1
1
1
1
1
0
1
1
0
1
1
0
1
1
1
1
1
0
1
1
1
1
0
0
1
1
1
1
1
0
1
1
1
1
1

Las tres primeras columnas reflejan todas las combinaciones posibles de valores de verdad que
pueden hacerse con tres smbolos proposicionales distintos. En nuestro ejemplo, tenemos 23 (= 8)
combinaciones posibles de valores de verdad o interpretaciones de la frmula, y, por lo tanto, 8 filas
de secuencias de valores en la tabla.
La tabla se construye calculando los valores de las subfrmulas de la formula para determinar finalmente
los valores de la frmula.
La conectiva de menor prioridad es la segunda aparicin de , luego debajo de esta conectiva se anota la
columna final o columna de resultado, cuyos valores hemos puesto en negrita.
La frmula es una implicacin, cuyo antecedente es la implicacin (p q) r y cuyo consecuente es la
disyuncin (p r) (q r).
Averiguar los valores del antecedente requiere determinar los valores de p q y de r por separado.
Averiguar los valores del consecuente requiere determinar los valores de p r y de q r. Finalmente,
esto nos remite a los valores dados a las variables p, q y r.
La tabla se ha construido siguiendo entonces los pasos que indicamos a continuacin:
(i) Se introducen los valores en las tres primeras columnas.
(ii) Calculamos los valores de las columnas 4, 7 y 9, correspondientes respectivamente a las
subfrmulas:
pq
pr
qr
(iii) Calculamos los valores de las columnas 5 y 8, correspondientes respectivamente a las
subfrmulas;
(p q) r
(p r) (q r)
(iv) Calculamos los valores de la 6 columna o columna de resultado.
2. La tabla de verdad de la frmula p p es:
p
1
0

p p
0
0

Dado que p slo tiene dos valores de verdad

posibles la tabla de p p tiene 2 filas.

CONCEPTO: TABLAS DE VERDAD

<continuacin>
Consideremos un ltimo ejemplo:
3.

La tabla de verdad de la frmula ((p q) r) (p (q r)) es:

p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r
1
0
1
0
1
0
1
0

((p q) r) (p (q r))
1
1 1
1
1
1
1 1
1
1
0
1 1
1
1
0
0 1
0
0
0
1 0
0
1
0
0 1
0
1
0
1 0
0
1
0
0 1
0
1

La frmula es una equivalencia entre una disyuncin, (p q) r, y una conjuncin, p (q r).
Para calcular los valores de estas dos subfrmulas tengamos en cuenta que la primera es una disyuncin
entre p q y r, cuyos valores requieren ser tenidos en cuenta previamente. En particular, el valor de p q
depende directamente de los valores de p y de q, introducidos al inicio al igual que los de r. Por su parte,
la segunda es la conjuncin de p y q r, cuyos valores han de ser igualmente introducidos con
anterioridad.

CONCEPTO: TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS. LAS TABLAS DE

VERDAD COMO PROCEDIMIENTOS DE DECISIN

*Tautologas, contradicciones, contingencias:

A es una tautologa (o vlida o ley lgica) si y slo si A es verdadera en toda interpretacin
A es una contradiccin si y slo si A es falsa en toda interpretacin
A es una contingencia si y slo si A es al menos verdadera en una interpretacin y falsa en otra.
Las tablas de verdad como procedimiento de decisin:
El procedimiento de las tablas de verdad sirve para determinar o decidir de una forma algortmica
(mecnicamente) si una frmula es o no tautologa, as como si es o no satisfacible.
Al terminar la tabla para una frmula podemos encontrarnos tres casos:
-En la columna final slo aparece el smbolo 1 (tautologa)
-En la columna final slo aparece el smbolo 0 (contradiccin)
-En la columna final aparece al menos un 1 y un 0 (contingencia)
Las tablas de verdad constituyen, pues, un procedimiento de decisin de la validez (satisfacibilidad) para
LP.
EJEMPLO.
((p q) r) ((p r) (q r))
p p
((p q) r) (p (q r))

es una tautologa
es una contradiccin
es una contingencia

(ver sus tablas en Tablas de verdad)

Debe entenderse que:
-La negacin de una tautologa es una contradiccin.
-La negacin de una contradiccin es una tautologa.
-La negacin de una contingencia es una contingencia.

CONCEPTO: REDUCCIN

*Mtodo de reduccin:
Al igual que el mtodo de las tablas de verdad, el mtodo de reduccin sirve como mtodo de decisin de
la validez para LP.
Procedimiento general:
1. Se parte de una asignacin de falsedad (0) a la frmula: asignacin inicial. Se sita el 0 debajo de
la conectiva que determina la forma de la frmula (principal).
2. Se rellenan los valores veritativos de las subfrmulas conforme a las tablas para las conectivas.
Situamos los valores debajo de las conectivas principales dentro de cada subfrmula y vamos
operando as hasta llegar a los tomos si procede.
Si finalmente llegamos una contradiccin (asignamos 1 y 0 a la misma subfrmula), la asignacin inicial
es imposible, esto es, no puede existir una interpretacin que asigne el valor 0 a la frmula. Por tanto, la
frmula en cuestin es una tautologa. Si no es as, es posible dar la asignacin inicial 0, luego la frmula
no es tautologa.
EJEMPLO. La frmula ((p q) r) ((q r) p) es una tautologa.
Procedamos paso a paso:
1.
((p q) r) ((q r) p) (asignacin inicial: 0)
0
2.
((p q) r) ((q r) p) (nica posibilidad: antecedente 1 y consecuente 0)
1
0
0
3.

((p q) r) ((q r) p)
1
0
1
0 0

(el consecuente (q r) p es una implicacin falsa)

4.

((p q) r) ((q r) p)
1 1 1
0 1 1 1 0 01

(dado que q r tiene el valor 1, q y r han de tener

ese mismo valor. Como p tiene el valor 0, p tiene 1)

5.

((p q) r) ((q r) p)
1 1 1 1 0 0 1 1 10 0 01

(el valor de p q es 1 por serlo el de p. El valor de r es 0,

pues el de r es 1)

6.

((p q) r) ((q r) p) (el valor de (p q) r es 0 consecuentemente. Esto es

1 1 1 1 0 0 1 1 10 0 01 contrario a lo que calculamos al principio. Tenemos una
0
contradiccin. La asignacin inicial no existe)

Otros casos son ms complicados. No se puede determinar inmediatamente los valores de las subfrmulas
y hay que tener en cuenta las diferentes posibilidades de asignacin de valor. Consideremos la frmula
(p (q r)) ((p q) (p r))
Procedamos:
(p (q r)) ((p q) (p r))
1
0
0
Hasta aqu podemos calcular los valores de un modo determinado a partir de la asignacin inicial. Ahora
caben distintas alternativas tanto para el antecedente como para el consecuente. Consideremos este
ltimo, a saber, (p q) (p r), cuyo valor es 0. Este valor es porque:
A) p q. En este caso tendremos (p (q r)) ((p q) (p r))
0
1 1 00
0 1 0 0 0 1
0
B) p r. En este caso tendremos (p (q r)) ((p q) (p r))
0
1 1
00 1 1
0 1 0 0
0
En cualquier caso llegamos a una contradiccin. La frmula propuesta es una tautologa.

CONCEPTO: EQUIVALENCIA LGICA E IMPLICACIN LGICA

*Equivalencia lgica:
A es lgicamente equivalente a B, en smbolos: A B, si y slo si A B es una tautologa.
(Ntese que es un smbolo metalingstico).
* Lista de equivalencias bsicas:
Doble negacin: A A
Idempotencia:

AAA

AAA

Absorcin:

A (A B) A

A (A B) A

Asociatividad:

(A B) C A (B C)
(A B) C A (B C)
(A B) C A (B C)

Conmutatividad:

ABBA
ABBA
ABBA

Distributividad:

A (B C) (A B) (A C)

A (B C) (A B) (A C)

De Morgan:

(A B) A B

(A B) A B

Contraposicin:

A B B A

*Implicacin lgica:
A implica lgicamente a B, en smbolos: A B, si y slo si A B es una tautologa.
(Ntese que es un smbolo metalingstico).
*Lista de implicaciones bsicas:
Distributividad:

A (B C)
A (B C)
(A B) C
(A B) C

Transitividad:

(A B) (B C) (A C)
(A B) (B C) (A C)

Adicin:

AAB

Simplificacin:

ABA

Debilitacin:

ABAB
ABAB
ABAB

(A B)
(A B)
(A C)
(A C)

(A C)
(A C)
(B C)
(B C)

ABB

CONCEPTO: INTERDEFINICIN DE CONECTIVAS

* Interdefinicin de las conectivas:

Las conectivas pueden definirse unas en trminos de otras. Una conectiva se define en trminos de un
conjunto dado de conectivas si cualquier frmula en la que aparezca la conectiva original puede
sustituirse equivalentemente por otra frmula en la que aparezcan slo conectivas del conjunto y dicha
conectiva haya desaparecido.
Concretamente, podemos quedarnos con cualquiera de los siguientes conjuntos minimales:
{, }

{, }

{, }

esto puede justificarse con las siguientes equivalencias:

( en trminos de y )
( en trminos de y )
( en trminos de y )
( en trminos de y )
( en trminos de y )
( en trminos de y )
( en trminos de y )

A B (A B)
A B (A B)
A B (A B)
A B A B
A B (A B)
A B A B
A B (A B) (B A)

Ninguna de las conectivas introducidas permite definir el resto. Sin embargo, hay conectivas que s hacen
este trabajo, por ejemplo: . La expresin A B se lee ni A ni B. La tabla para es:
A

A B

1
1
0
0

1
0
1
0

0
0
0
1

A modo de ejemplo definimos y en trminos de como sigue:

A = def A A
A B = def (A A) (B B)
(el smbolo metalingstico =def se lee es igual por definicin a)
Dado que {, } definen el resto de las conectivas, reducir stas a es un simple ejercicio.

CONCEPTO: ARGUMENTO

*Argumento:
Un argumento es un conjunto de proposiciones (del lenguaje coloquial o de un lenguaje formal) que
consta de un nmero finito de proposiciones (frmulas) A1, ..., An, llamadas premisas, y una proposicin
(frmula) A, llamada conclusin. La relacin establecida entre premisas y conclusin se denomina de
consecuencia de manera que la conclusin se afirma sobre la base de que se afirman las premisas, lo
cual se indica usualmente con alguna partcula que precede a la conclusin como luego, por
consiguiente, u otras.
EJEMPLO.
Ana es informtica o periodista
Ana no es informtica
Luego, Ana es periodista

pq
p
q

El argumento de la izquierda est escrito en el lenguaje coloquial (es un argumento informal).

El de la derecha est escrito en el lenguaje LP (es un argumento formal) y pretende ser una
representacin esquemtica del primero [Ver simbolizacin]. La rayita escrita inmediatamente debajo de
las premisas en el argumento formal representa la partcula luego y es un smbolo metalingstico.
Cuando nos movemos en un lenguaje formal, un argumento se suele representar de varias
maneras, por ejemplo:
-como un par ordenado:
({A1, ..., An}, A)
(premisas, conclusin)
- en columna:

A1
...
An
A

- en la forma:

A1, ..., An |- A

Estas formas de anotacin tienen la misma lectura. He aqu algunas:

A1, ..., An, luego A
De A1, ..., An se sigue (deduce) A
A1, ..., An, por tanto A

CONCEPTO: ARGUMENTO (VALIDEZ)

<continuacin>

*Validez de argumentos:
Diremos que un argumento ({A1, ..., An}, A) es vlido (o correcto) si todo modelo de las premisas es un
modelo de la conclusin. En otras palabras, si no tiene contraejemplo alguno. Decimos en este caso
igualmente que A es consecuencia lgica de A1, ..., An.
*Validez de argumentos y tablas de verdad:
Podemos aplicar el mtodo de las tablas de verdad para determinar la correccin de argumentos
transformndolos en una frmula merced a lo siguiente:
Un argumento es vlido (correcto) si y slo si el condicional compuesto por la conjuncin de sus
premisas como antecedente y su conclusin como consecuente es una ley lgica (una tautologa):
({A1, ..., An}, A) es un argumento vlido si y slo si (A1 ... An) A es una tautologa.
O equivalentemente: Un argumento es vlido si y slo si la conjuncin cuyos componentes son sus
premisas y la negacin de su conclusin es insatisfacible (una contradiccin):
({A1, ..., An}, A) es un argumento vlido si y slo si A1 ... An A es una contradiccin.
EJEMPLO.
La validez del argumento
pq
p
q
se puede comprobar haciendo la tabla de
((p q) p) q
(arroja slo el 1 en la columna final)
o bien de
(p q) p q
(arroja slo el 0 en la columna final)

CONCEPTO: CLCULO

*Clculo:
Un clculo o sistema formal consta de un lenguaje formal dotado de un mecanismo deductivo.
El mecanismo deductivo puede contener axiomas y/o de reglas de transformacin o de inferencia.
-Los axiomas son frmulas del lenguaje formal del clculo.
-Las reglas de transformacin o de inferencia son instrucciones que nos permiten obtener una
determinada frmula a partir de una serie de frmulas.
Cuando usamos una regla para obtener una frmula a partir de otra u otras decimos que se ha aplicado la
regla.
EJEMPLO. Definamos un sistema axiomtico para LF, llamado X, como sigue [ver Lenguaje formal:
caractersticas generales] :
Axioma:
Reglas de inferencia:
R1. Puede prefijarse el smbolo dos veces a cualquier frmula.
R2. De cualquier frmula puede inferirse otra frmula que resulte de la primera al intercalar
una vez el smbolo entre dos apariciones consecutivas de .
Adems, tengamos presente que:
-Las reglas de inferencia estn escritas en el metalenguaje del clculo no en su lenguaje formal.
-Un clculo no necesita ser interpretado para definirse. Si se interpreta tenemos un lenguaje
formalizado (un lenguaje con estructura de clculo).

CONCEPTO: CLCULO (DEDUCCIN)

<continuacin>

*Deduccin:
Sea S un clculo o sistema formal y sea L el lenguaje de dicho clculo. Una deduccin en S es una
secuencia de frmulas de L que cumple ciertas propiedades. Distinguimos entre derivacin de una
frmula (a partir de otras) y demostracin de una frmula.
1- Si S es un clculo o sistema AXIOMTICO:
**Derivacin en S: Una derivacin en S de una frmula A de L a partir de un conjunto de frmulas de
L es una secuencia finita (no vaca) de frmulas de L donde la ltima frmula de la secuencia es A y cada
frmula de la secuencia
-es un axioma de S, o
-es miembro de , o
-proviene de otra u otras frmulas anteriores en la secuencia por aplicacin de alguna regla
de inferencia de S.
**Demostracin en S: Si en una derivacin el conjunto de supuestos es vaco, entonces la derivacin se
denomina demostracin en S.
**Teorema de S: es la ltima frmula de una demostracin en S.
2- Si S es un clculo de REGLAS operamos sin axiomas. Las definiciones de derivacin y
demostracin eliminan, por tanto, el requisito de que una frmula de la derivacin (demostracin)
pueda ser un axioma.
EJEMPLO. Sea X el clculo axiomtico definido en el ejemplo anterior [ver: clculo]. La siguiente
secuencia de frmulas que ponemos en columna junto con su justificacin para mayor claridad- es una
demostracin en X de :

(el axioma de X)
(por R1 de la frmula precedente)
(por R2 de la frmula precedente)
(por R1 de la frmula precedente)

Consecuentemente, es un teorema de X.

CONCEPTO: CLCULO DE DEDUCCIN NATURAL (CDN)

* Clculo de deduccin natural:

La lgica de proposiciones, como lenguaje formalizado, se presenta en forma de
-clculo axiomtico
-clculo de reglas
-La forma de presentacin tradicional es la axiomtica (los axiomas son un conjunto de leyes lgicas).
-Una forma diferente es usar un clculo de reglas de inferencia, sin axiomas. Se toma un conjunto de
reglas de inferencia vlidas como bsicas o primitivas, a partir de las cuales puede obtenerse cualquier
otro modo de inferencia vlido (reglas derivadas). En este clculo se parte en los razonamientos de
premisas que no son necesariamente leyes. Se razona a partir de supuestos aplicando reglas de inferencia
y se llega a una conclusin que debe ser verdadera si los supuestos lo fueran. Es una forma de razonar
ms natural y por ello se le llama clculo de deduccin natural y se remonta a Gentzen y Jaskowski
(1934). Su presentacin aqu sigue las pautas de Manuel Garrido (Lgica simblica, Tecnos, Madrid,
1979) y Alfredo Deao (Introduccin a la lgica formal, Alianza Universidad, Madrid, 1980).
El clculo de deduccin natural no es un algoritmo, como las tablas de verdad o el mtodo de reduccin,
pero permite con ingenio- demostrar (por medios sintcticos) exclusivamente la validez de frmulas y
argumentos. Ello es porque se trata de un clculo
-correcto:
Todas los teoremas del clculo son tautologas.
Todo lo que se obtiene como conclusin a partir de premisas es consecuencia lgica de las mismas.
-completo:
Todas las tautologas son teoremas del clculo.
Todo lo que es consecuencia lgica de premisas se obtiene como conclusin a partir de ellas.

CONCEPTO: REGLA DE DEDUCCIN NATURAL

*Reglas de inferencia del clculo de deduccin natural para LP:

El clculo de deduccin natural para LP que presentamos posee 10 reglas bsicas:
-cinco de introduccin de conectivas y
-cinco de eliminacin de las mismas.
Las reglas que se obtienen a partir de estas reglas bsicas se llaman reglas derivadas.
-Las reglas se presentan esquemticamente, anotando esquemas de frmulas encima
de una raya o trazo horizontal de un esquema de frmula situado debajo de la misma.
Por ejemplo, una regla de eliminacin (de ) llamada EI es:
AB
A
B
-La frmula de abajo (B) se infiere u obtiene a partir de lo que hay encima de la raya (A B y A).
Al obtener la frmula B decimos que hemos aplicado la regla de inferencia.
-Una doble raya indicar que podemos indistintamente obtener la frmula de abajo a partir de las
de arriba o viceversa. Por ejemplo:
B A
A B
*Nombre de las reglas bsicas y sus abreviaturas
Para nombrar las reglas bsicas usamos las iniciales I de introduccin y E de eliminacin. Las
conectivas se nombran por sus iniciales, as tenemos N, C, D, I, E.
Nombre
Introduccin de la negacin (o Reduccin al absurdo)
Eliminacin de la negacin (o Doble negacin)
Introduccin de la conjuncin
Eliminacin de la conjuncin
Introduccin de la disyuncin (o Adicin)
Eliminacin de la disyuncin (o Prueba por casos)
Introduccin de la implicacin
Eliminacin de la implicacin (o Modus Ponens)
Introduccin de la equivalencia
Eliminacin de la equivalencia

Abreviatura
IN (o Abs)
EN o DN
IC
EC
ID (o Ad)
ED (o Cas)
II
EI (o MP)
IE
EE

CONCEPTO: DEDUCCIN (en CDN)

*Organizacin del proceso deductivo:

La deduccin se efecta en columna, colocando primero las premisas (si las hay) y, a continuacin, se van
introduciendo el resto de las frmulas.
-A la izquierda de cada frmula se escribe un nmero (de lnea):
n A
-Las premisas llevan una rayita horizontal a la izquierda de su nmero de lnea:
(significa: en la lnea n supngase A )
-Los supuestos subsidiarios llevan una escuadra a la izquierda de su nmero de lnea:
(significa: en la lnea n supngase A por el momento)

n A
n A

Esta escuadra se prolonga hasta que el supuesto se cancela o descarga (se cierra el supuesto) en
algn paso posterior que llevar aparejado una escuadra invertida:
n
A
....
m
B
m+1 C
En la lnea m se cierra el supuesto abierto en n. La frmula C es la conclusin de la deduccin subsidiaria
(o subderivacin) comprendida entre las frmulas A y B. La frmula C est fuera de supuesto. En
cambio, todos los pasos comprendidos entre n y m (incluidos) quedan abolidos (no pueden utilizarse ya
ms) en el transcurso posterior de la deduccin.
Hay reglas que usan subderivaciones como, por ejemplo, II (Introduccin de la implicacin), que
esquematizamos como sigue:
A
....
B
AB
A partir de la subderivacin de encima de la raya puede obtenerse como nueva lnea de deduccin la
implicacin de abajo.
-Las restantes lneas de la deduccin llevan anotado un comentario metalingstico a la derecha de la
frmula de cada lnea indicando el modo como se ha obtenido: nmeros de lnea de las frmulas
involucradas en su obtencin y regla aplicada. Por ejemplo:
n
....
m
...
l

A
B
A B IC n, m

En el paso nmero l se ha introducido una frmula resultante de aplicar la regla IC (Introduccin de la

conjuncin) a las frmulas de las lneas n y m.
Representamos a la regla IC, aplicada anteriormente, as:
A
B
A B

CONCEPTO: REGLA BSICA (EC, IC)

*Regla de la introduccin de la conjuncin (IC):

Si se tienen dos lneas con A y B respectivamente se puede aadir A B en una nueva lnea.
Sean k, l los nmeros de lnea irespectivamente de A y B. El comentario de la lnea
aadida es:
IC k, l
Esquemticamente presentamos la regla en la forma:
A
B
A B
*Regla de eliminacin de la conjuncin (EC) o simplificacin (Simp) :
Si se tiene A B en una lnea (de nmero k) se puede aadir cualquiera de las dos, A o B, en una
nueva lnea. El comentario de la lnea aadida es:
EC k
Esquemticamente presentamos la regla (tiene dos formas):
A B

A B

CONCEPTO: REGLA BSICA (ID, ED)

*Regla de la introduccin de la disyuncin (ID) o Adicin (Ad):

Si se tiene A (o B) en una lnea (de nmero k) se puede aadir A B en una nueva lnea.
El comentario de la lnea aadida es:
ID k
Esquemticamente presentamos la regla (tiene dos formas):
A

AB

AB

*Regla de eliminacin de la disyuncin (ED) o prueba por casos (Cas) :

Si se tiene A B en una lnea (de nmero k) y dos subderivaciones, una de las cuales se inicia con A
(con nmero de lnea l1) y se cancela con C (con nmero de lnea m1), y otra subderivacin posterior
que se inicia con B (con nmero de lnea l2) y se cancela igualmente con C (con nmero de lnea m2),
entonces se puede aadir C en una nueva lnea. El comentario de la lnea aadida es:
ED k, l1-m1, l2-m2
Esquemticamente presentamos la regla en la forma:
AB
A

C
B

C
C

CONCEPTO: REGLA BSICA (IN, EN)

*Regla de la introduccin de la negacin (IN) o reduccin al absurdo (Abs):

Si se tiene una subderivacin que se inicia con A (con nmero de lnea k), y se cancela con B B
(con nmero de lnea l), se puede aadir A en una nueva lnea.
El comentario de la lnea aadida es:
IN k-l
Esquemticamente presentamos la regla en la forma:
A

B B
A
*Regla de eliminacin de la negacin (EN) o doble negacin (DN) :
Si se tiene A en una lnea (de nmero k), se puede aadir A en una nueva lnea.
El comentario de la lnea aadida es:
EN k
Esquemticamente presentamos la regla en la forma:
A
A

CONCEPTO: REGLA BSICA (II, EI)

*Regla de la introduccin de la implicacin (II):

Si se tiene una subderivacin que se inicia con A (con nmero de lnea k) y se cancela con B
(con nmero de lnea l), entonces se puede aadir A B en una nueva lnea.
El comentario de la lnea aadida es:
II k-l
Esquemticamente presentamos la regla en la forma:
A

B
AB
*Regla de eliminacin de la implicacin (EI) o modus ponens (MP) :
Si se tienen lneas con A B y A se puede aadir B en una nueva lnea.
Sean k y l los nmeros de lnea de A B y A respectivamente. El comentario de la lnea
aadida es:
EI k, l
Esquemticamente presentamos la regla en la forma:
AB
A
B

CONCEPTO: REGLA BSICA (IE, DE)

*Regla de la introduccin de la equivalencia (IE):

Tiene dos formas. Las nombramos del mismo modo.
Si se tienen lneas con A B y B A se puede aadir A B o bien B A en una nueva lnea.
Sean k y l los nmeros de lnea de A B y B A respectivamente. El comentario de la lnea
aadida es:
IE k, l
Esquemticamente presentamos la regla en la forma:
AB
BA

AB
BA

AB

BA

*Regla de la eliminacin de la equivalencia (EE):

Tiene dos formas. Las nombramos del mismo modo.
Si se tiene A B en una lnea (de nmero k) se puede aadir A B o bien A B en una nueva lnea.
El comentario de la lnea aadida es:
EE k
Esquemticamente presentamos la regla en la forma:
AB

AB

AB

BA

CONCEPTO: REGLA BSICA (Lista)

* Reglas de inferencia bsicas o primitivas

Introduccin de la negacin (IN)
(o reduccin al absurdo: Abs)

Eliminacin de la negacin (EN)

(o doble negacin: DN)

B B

A
A

A
Introduccin de la conjuncin (IC)
AB

Eliminacin de la conjuncin (EC)

AB

Introduccin de la disyuncin (ID)

(o Adicin: Ad)

Eliminacin de la disyuncin (ED)

(o prueba por casos: Cas)

A B
A

C
B

A B
Introduccin de la disyuncin (ID)
B

C
A B
Introduccin de la implicacin (II)

Eliminacin de la implicacin (EI)

(o Modus Ponens: MP)

AB
A
B

AB
Introducccin de la equivalencia (IE)
AB
BA

AB
BA

AB

BA

Eliminacin de la equivalencia (EE)

AB

AB

AB

BA

CONCEPTO: DEDUCCIN (Derivacin y demostracin en CDN)

**Derivacin: Es una secuencia finita A1, ..., An (n > 1) de frmulas de LP, cada una de las cuales:
-es un supuesto inicial o premisa; o
-es un supuesto provisional o subsidiario, o
-proviene de otra u otras frmulas anteriores en la secuencia por aplicacin de una regla de
inferencia.
Todos los supuestos subsidiarios han sido cancelados [ver cancelacin de supuestos].
EJEMPLO. Lo que sigue es una derivacin de q r a partir de p q y p r.
1
2
3
4
5
6

pq
pr
p
q
r
qr

EC 1
EC 1
EI 2, 3
IC 4, 5

Cada lnea o paso est justificado. 1 y 2 son premisas (con la rayita a la izquierda). El resto de las
lneas lleva un comentario metalingstico a su derecha, indicando cmo se ha obtenido (la regla aplicada
y las lneas involucradas para su obtencin). El ltimo paso es la conclusin deseada. En esta ocasin no
hay supuestos subsidiarios.
**Demostracin: Es una derivacin sin premisas.
**Teorema: Es la ltima frmula de una demostracin.

EJEMPLO. Demostremos en CDN la frmula (p q) (q p).

1
2
3
4
5

pq
p
q
qp
(p q) (q p)

EC 1
EC 1
IC 3, 2
II 1-4

No hay premisas en la derivacin, el nico supuesto subsidiario (lnea 1) est cancelado en 4. Se trata,
pues, de una demostracin, concretamente de la frmula (p q) (q p). Luego dicha frmula es un
teorema de CDN.

CONCEPTO: DEDUCCIN (ejemplos)

EJEMPLO. Exponemos un ejemplo de derivacin. Probaremos que en el argumento

p (q r)
q (p r)
la conclusin se sigue de la premisa como sigue:
1
2
3
4
5
6
7

p (q r)
q
p
qr
r
pr
q (p r)

EI 1, 3
EI 4, 2
II 3-5
II 2-6

Comentarios:
El paso 1 es la premisa. El paso 2 inicia una derivacin subsidiaria, as como el paso 3. Esta ltima ha de
cerrarse antes que la abierta en 2 (las derivaciones subsidiarias se cancelan en orden inverso a su
apertura).
La prueba sintctica que hemos realizado es asimismo una prueba de que el argumento propuesto es
vlido (por las propiedades del clculo: todo lo que se obtiene de premisas por aplicacin de las reglas de
inferencia es una consecuencia lgica de las mismas).
Lo que sigue es un ejemplo de demostracin:
1
2
3
4
5
6
7
8
9
10
11

p (q r)
p
qr
q
pq
p
qr
r
pr
( p q) ( p r)
( p (q r)) (( p q) ( p r))

EI 1, 2
EC 3
II 2-4
EI 1, 6
EC 7
II 6-8
IC 5, 9
II 1-10

Comentarios:
No hay ninguna premisa en la deduccin, los supuestos subsidiarios abiertos en 1, 2 y 6 estn todos
cancelados. La lnea 11 es un teorema.
Puede llamar la atencin que hayamos aplicado dos veces la misma regla en dos ocasiones distintas para
obtener la misma frmula (pasos 3 y 7). La razn de esta repeticin es clara: la subderivacin 2-4 estaba
ya cancelada cuando iniciamos la subderivacin 6-8. En esta ltima, partiendo de p queramos obtener r y
para ello hemos recurrido de nuevo a las lneas 1 y 6. No nos serva lo obtenido en 3, puesto que este paso
estaba inutilizado. Recurdese que una vez cancelada una subderivacin todo lo que comprende sta
queda abolido para el resto de la deduccin.

CONCEPTO: REGLA DERIVADA

* Reglas derivadas:
Son reglas que se justifican a partir de las reglas bsicas. Todo lo que puede hacerse con ellas se hace sin
ellas igualmente; pero la ventaja de contar con dichas reglas consiste en poder efectuar deducciones ms
breves.
EJEMPLO. Probemos sin reglas derivadas que r se deduce de (p q) r, q.
1
2
3
4
5
6
7
8
9

( p q) r
q
p
q
q q
q
q
pq
r

IC 2, 4
IN 4-5
EN 6
II 3-7
EI 1, 8

Pero podemos utilizar una regla derivada que acorte la deduccin anterior, a saber:
CPr (Carga de Premisa):

A
B A

Su justificacin es como sigue:

1
2
3
4
5
6
7

A
B
A
A A
A
A
BA

IC 1, 3
IN 3-4
EN 5
II 2-6

La deduccin de nuestro ejemplo, usando esta regla, sera como sigue:

1
2
3
4

(p q) r
q
pq
r

Cpr 2
EI 1, 3

En las reglas derivadas el comentario general es el siguiente:

-Si hay una simple raya:
<nombre de la regla> <nmeros de lnea en orden creciente de las frmulas que figuran encima de la
raya>
-Si hay una doble raya, segn el caso:
<nombre de la regla> <nmero de lnea de la frmula que figura encima de la raya>
<nombre de la regla> <nmero de lnea de la frmula que figura debajo de la raya>

CONCEPTO: REGLA DERIVADA (lista I)

*Lista de reglas derivadas:

ConmC
(Conmutatividad)

AB

ConmD
(Conmutatividad)

BA
DistC
(Distributividad)

A (B C)

BA
DistD
(Distributividad)

(A B) (A C)
IdemC
(Idempotencia)

AA

AB

A BC
(A B) (A C)

IdemD
(Idempotencia)

AA

A
AbsC
(Absorcin)

A (A B)

AbsD
(Absorcin)

A (A B)

A
DMC
(De Morgan)

(A B)

A
DMD
(De Morgan)

A B
MT
(Modus Tollens)

AB
B

(A B)
A B

Cp
(Contraposicin)

AB
B A

A
TrI
(Transitividad)

AB
BC

Mut
(Mutacin de
premisas)

A (B C)
B (A C)

AC
Id
(Identidad)

Cpr
(Carga de premisa)

A
Imp
(Importacin)

BA

A (B C)

Exp
(Exportacin)

(A B) C
ECQ
(Ex contradictione
quodlibet)

A A
B

(A B) C
A (B C)

IDN
(Introduccin de
doble negacin)

A
A

CONCEPTO: REGLA DERIVADA (lista II)

*Lista de reglas derivadas:

EE (nuevas versiones)
(Eliminacin de
la equivalencia)

AB
A
B

AB
B
A

IA (SD)
(Inferencia de la alternativa o Silogismo disyuntivo)
AB
A

AB
B

DfI
(Definicin de la implicacin)
A B

A B

A B

(A B)

DfC
(Definicin de la conjuncin)
AB

AB

(A B)

(A B)

DfD
(Definicin de la disyuncin)
A B
A B

A B
(A B)

NI
(Negacin de la implicacin)
(A B)
A B

AB
A

AB
B

CONCEPTO: REGLA DERIVADA (ejemplos: I)

* Ejemplos:
1. Probaremos Id
1
2
3
4
7

A
A

A
A
A A
A
A

2. Probaremos ECQ

IC 1, 2
IN 2-3
EN 4
A A

B
(Usando nicamente reglas bsicas)
1
2
3
4
5
6
7

A A
B
A
A
A A
B
B

EC 1
EC 1
IC 3, 4
IN 2-5
EN 6

Por el contrario, si usamos la regla Id, previamente justificada, la deduccin de esta regla sera como
sigue:
1
2
3
4
5

A A
B
A A
B
B

Id 1
IN 2-3
EN 4

Esto muestra que podemos obtener nuevas reglas derivadas empleando reglas bsicas y/o reglas
previamente derivadas.
3.

Probaremos IA en la forma

AB
A
B

Usaremos Id y ECQ en la justificacin:

1
2
3
4
5
6
7
8

AB
A
A
A A
B
B
B
B

IC 3, 2
ECQ 4
Id 6
ED 1, 3-5, 6-7

CONCEPTO: REGLA DERIVADA (ejemplos: II)

*Ejemplos:
1. Probaremos De MorganD

(A B)
A B

En este caso la doble raya indica que podemos obtener tanto la frmula de debajo de doble raya a partir
de la de arriba de la misma tomada como premisa como al revs, esto es, la de arriba a partir de la de
abajo tomada como premisa.
Derivacin 1:
1
2
3
4
5
6
7
8
9
10

(A B)
A
AB
(A B ) (A B)
A
B
AB
(A B ) (A B)
B
A B

ID 2
IC 3, 1
IN 2-4
ID 6
IC 7, 1
IN 6-8
IC 5, 9

Derivacin 2: Usamos IA (SD), previamente justificada

1
2
3
4
5
6
7

A B
AB
A
B
B
B B
(A B)

EC 1
EC 1
IA 2, 3
IC 5, 4
IN 2-6

2. Obtendremos la regla IA (SD) usando slo reglas bsicas:

1
2
3
4
5
6
7
8
9
10
11
12
13
14

AB
A
B
A
A A
B
A
B B
A
A
A A
A A
B
B

IC 4, 2

IC 6, 3
IN 7-8
EN 9
ED 1, 4-5, 6-11
IN 3-12
EN 13