Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LGICA DE PROPOSICIONES
Idea de lgica de proposiciones
La lgica de proposiciones es la parte mas elemental de la lgica
moderna o matematica. En esta primera parte de la lgica, las
inferencias se construyen sin tomar en cuenta la estructura interna de las proposiciones. Slo se examinan las relaciones lgicas
existentes entre proposiciones consideradas como un todo, y de
ellas slo se toma en cuenta su propiedad de ser verdaderas o falsas. Por esta razn emplea slo variables proposicionales.
La lgica de proposiciones estudia las relaciones formales
extrap roposicionales, es decir, aquellas relaciones existentes entre
proposiciones y no las que se dan dentro de ellas. Se la denomina,
tambin, lgica de las proposiciones sin analizar. Dispone de medios de analisis formal de las inferencias (lenguaje simblico y mtodos especcos), y la validez de stas se determina por las relaciones entre proposiciones consideradas como un todo, sin penetrar en su estructura interna.
Concepto de proposicin
El lenguaje, en sentido estricto, es un sistema convencional de signos, es decir, un conjunto de sonidos y grafas con sentido, sujeto
a una determinada articulacin interna. Sirve para afirmar o negar (oraciones aseverativas o declarativas); expresar deseos (oraciones desiderativas); formular preguntas (oraciones interro gativas); expresar sorpresa o admiracin (oraciones exclamativas o
admirativas) e indicar exho rtacin, mandato o prohibicin (oracio nes exhortativas o imperativas).
De todas estas clases de oraciones la lgica slo toma en cuenta
las declarativas o aseverativas, las nicas que pueden constituir
proposiciones, segn cumplan o no determinados requisito s.
La proposicin es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Ejemplo s:
a) Dolly fue la primera oveja clo nada.
b) El tomo es una molcula.
a) y b) son ejemplos de proposiciones, porque tiene sentido
decir que a) es verdadera y que b) es falsa. En consecuencia, la
verdad y la falsedad son sus propiedades, es decir, slo las proposiciones pueden ser verdaderas o falsas
Expresiones lingsticas que no son proposiciones
Todas las proposiciones son oraciones, pero no todas las oraciones
son proposiciones. En efecto, las oraciones interrogativas, las
exhortativas o imperativas, las desiderativas y las exclamativas o
admirativas no son proposiciones porque ninguna de ellas arma
o niega algo y, por lo tanto, no son verdaderas ni falsas. Asimismo,
las oraciones dubitativas, as como losjuicios de valor no obstante armar algo no constituyen ejemplos de proposiciones, pues
su verdad o falsedad no puede ser establecida. Ejemplos:
c) El cuadrilatero es un polgono de cuatro lados.
d) Qu es la lgica?
rosos, por lo que nada prueban; sin embargo, tienen fuerza (F.
Waismann).
v) La ciencia y la religin son, ambas, vas respetables para
adquirir creencias respetables, no obstante tratarse de creencias
que son buenas para propsitos muy diferentes (R. Rorty).
p), q), r), s), t), u) y v) no son proposiciones, sino
lo sofemas, es decir, enunciados filoscos. Ninguna de ellos puede calicarse de verdadero o falso. Su verdad o falsedad no puede
ser establecida lgica o empricamente. En losofa no hay verdades, pues los enunciados filoscos o losofemas slo expresan
opiniones racionalmente fundamentadas.
En conclusin:
Para que una expresin lingstica sea proposicin debe cumplir con los siguientes requisito s:
1) Ser oracin.
2) Ser oracin aseverativa, y
3) Ser o bien verdadera o bien falsa.
Por esto, no son ejemplos de proposiciones:
1) Las oraciones interrogativas, imperativas o exhortativas,
desiderativas, exclamativas o admirativas y las dubitativas.
2) Losjuicios de valor.
3) Las pseudoproposiciones.
4) Las funciones proposicionales.
5) Las descripciones definidas, y
6) Los filosofemas.
Proposicin, oracin y enunciado
Es necesario distinguir una proposicin (objeto conceptual o
constructo) de las oraciones (objetos lingstico s) que la designan,
expresan o formulan, as como es preciso distinguir una oracin
de sus diversas enunciaciones (acto psicofsico) orales, escritas, o
por ademanes. En efecto, cuando enuncio, o escucho, o escribo, o
leo una oracin, por ejemplo, Tres es mayor que dos, ejecuto un
acto psicofsico.
En consecuencia, la enunciacin y la percepcin de una oracin son procesos y, como tales, objetos fsicos en sentido lato. No
as la oracin misma: esta puede considerarse como una clase de
enunciaciones concretas en circunstancias particulares. Una misma oracin podra ser pronunciada por diversos sujeto s, en distintas circunstancias y con diferentes tonos de voz. Cmbiese el sujeto, o las circunstancias, o el tono de voz, y se tendrn enunciaciones diferentes de la misma oracin. Pinsese en la oracin 3 > 2
dicha en lenguaje interior, susurrada, gritada, o escrita en diversos lenguajes.
Asimismo, ciertas oraciones designan o expresan proposiciones. Por ejemplo, las oraciones 3 > 2, III > II, Three is greater
than two y Tres es mayor que dos expresan o designan una misma proposicin. Pero si bien toda proposicin es expresable por
una o mas oraciones, la recproca no es cierta. En efecto, hay ora-
1. Qu es una proposicin?
2. Qu requisito s debe cumplir una expresin lingstica paraque
sea considerada proposicin?
3. Qu expresiones lingsticas no constituyen ejemplos de proposiciones?
4. Por que las oraciones interrogativas, imperativas o exhortativas,
desiderativas, admirativas o exclamativas y las dubitativas no
constituyen ejemplos de proposiciones?
5. Qu semejanzas y diferencias existen entre las pseudoproposiciones y las funciones proposicionales?
6. Qu es una descripcin definida?
7. Los filosofemas o enunciados lo sfico s, son o no ejemplos de
proposiciones? Por que?
8. Es la ley, un ejemplo de proposicin? Por que?
9. Qu clases de proposiciones hay y cuales son las diferencias
que existen entre ellas?
10. Cmo se clasifican las proposiciones atmicas?
11. Qu diferencia existe entre proposicin predicativay propo sicin relacional?
12. Cmo se clasifican las proposiciones moleculares?
13. Qu es una proposicin conjuntiva?
14. Qu es una pseudoproposicin conjuntiva?
15. Qu es una proposicin disyuntiva?
16. Qu clases de proposiciones disyuntivas existen y en que consisten cada una de ellas?
17. Qu es una proposicin condicional?
18. Qu diferencia existe entre proposicin condicional y propo sicin implicativa?
19. Qu es una proposicin bicondicional?
20. Qu es una proposicin negativa?
Ejercicio N? 4
Reconocimiento de proposiciones
1. Analice las siguientes exp resio nes lingsticas e indique si son o
no proposiciones:
a) La nueva Constitucin Poltica del Per fue sancionada y promulgada por la Asamblea Constituyente en 1993.
b) El presidente de la Repblica es el Jefe del Estado y personica a
la Nacin (Constitucin Poltica del Per, Art. 110).
c) Quin es el pez gordo del narcotrco?
d) Sea en hora buena.
e) Por n lleg la primavera!
f) Los nmeros racionales son inteligentes.
g) Que tengan ustedes buen viaje.
una FBF por R5. Se llama bicondicional por R.6, R.7, y R.9.
g)(p<>q)(rvq)
Es una FMF por atentar contra R.11, pero (- p {> w q) /\
- (- r v - q) es ya una FBF por R.5. Y se llama conjuntiva por R.6,
R.7 y R.9.
Formalizacin de proposiciones
Formalizar una proposicin significa abstraer su forma lgica, es
decir, revelar su estructura sintctica a travs del lenguaje formalizado de la lgica. En terminos ms sencillo s, formalizar una proposicin equivale a rep resentarla simblicamente.
Toda proposicin tiene su forma lgica y su frmula. La forma lgica de una proposicin es otra proposicin equivalente a la
primera con la diferencia de que en ella toda su estructura
sintctica est completamente explicitada. A partir de aqu, su frmula no es otra co sa que la que resulta de sustituir a toda proposicin atmica distinta por una variable proposicional tambin
distinta, a toda conjuncin gramatical por el operador lgico correspondiente y el adverbio no por el operador negativo. La tcnica de formalizacin de proposiciones comprende los siguientes
pasos:
a) Se explicita su formalgica empleando las conjunciones y, o,
si..., entonces, si y slo si y el adverbio no en sustitucin de
sus exp resio nes equivalentes.
b) Se halla su frmula reemplazando cada proposicin atmica
por una variable proposicional, las conjunciones gramaticales
por sus operadores lgicos correspondientes y el adverbio no
por el operador negativo.
c) Los signos de agrupacin se usan para establecer la jerarqua
entre los operadores de una frmula lgica, pero slo cuando su
omisin la hace ambigua.
Ejemplos de formalizacin de proposiciones:
a) Kant es lsofo, pero Frege es lgico
Forma lgica:
Kant es filsofo y Frege es lgico
Frmula:
p: Kant es lsofo.
q: Frege es lgico.
P A q
b) No iremos al teatro a menos que venga Ral.
Forma lgica:
Si Ral viene, entonces iremos al teatro.
Frmula:
p: Ral viene.
q: iremos al teatro.
P > q
c) Einstein no es lsofo, sino fsico.
Forma lgica:
Einstein es fsico y Einstein no es lsofo.
Frmula:
p: Einstein es fsico.
q: Einstein es lsofo.
PANQ
d) Euclides no es mdico ni fsico.
Forma lgica:
Euclides no es mdico y Euclides no es fsico.
Frmula:
p: Euclides es mdico.
q: Euclides es fsico
P/VWIO Plq
e) Ni Vilma, ni Silvia, ni Anglica ingresaron a la universidad.
Forma lgica:
Vilma no ingres a la universidad y Silvia no ingres a la universidad y Anglica no ingres a la universidad.
Frmula:
p: Vilma ingres a la universidad.
q: Silvia ingres a la universidad.
r: Anglica ingres a la universidad.
w p /\ w q /\ w r
f) Sin carbono, oxgeno, nitrgeno e hidrgeno, no hay vida.
Forma lgica:
Si no hay carbono y no hay oxgeno y no hay nitrgeno y no
hay hidrgeno, entonces no hay vida.
Frmula:
p: hay carbono.
q: hay oxgeno.
r: hay hidrgeno.
s: hay nitrgeno.
t: hay vida.
(wpAw qAwrAws)>wt
g) Tanto Waldir Senz como Chemo Del Solar son atletas
porque son futbolistas.
Forma lgica:
Si Waldir Senz es futbolista y Chemo Del Solar es futbolista,
entonces Waldir Senz es atleta y Chemo Del Solar es atleta.
Frmula:
p: Waldir Senz es futbolista.
q: Chemo Del Solar es futbolista.
r: Waldir Senz es atleta.
s: Chemo Del Solar es atleta.
(pAq)>(r/\s)
h) Csar es profesor o es alumno, pero no puede ser ambas cosas a la vez.
Forma lgica:
Csar es profesor o Csar es alumno y es falso que Csar sea
profesor y Csar sea alumno.
Frmula:
p: Csar es profesor.
q: Csar es alumno.
(p v q>Aw(p A q)
i) Las Fuerzas Armadas y las Fuerzas Policiales participan en
el desarrollo econmico y social del pas, pero no son deliberantes.
Formalgica:
Las Fuerzas Armadas participan en el desarrollo econmico
del pas y las Fuerzas Armadas participan en el desarrollo social
del pas y las Fuerzas Policiales participan en el desarrollo econmico del pas y las Fuerzas Policiales participan en el desarrollo
social del pas y las Fuerzas Armadas no son deliberantes y las
Fuerzas Policiales no son deliberantes.
Frmula:
p: las Fuerzas Armadas participan en el desarrollo econmico del
pas.
q: las Fuerzas Armadas participan en el desarrollo social del pas.
r: las Fuerzas Policiales participan en el desarrollo econmico del
pas.
s: Las Fuerzas Policiales participan en el desarrollo social del pas.
t: las Fuerzas Armadas son deliberantes.
W: las Fuerzas Policiales son deliberantes.
(pA q AI /\ s)/\(wt/\ww)
Formalizacin de inferencias
Una inferencia (razonamiento, deduccin, argumentacin o argumento) es una operacin lgica que consiste en derivar a partir de
la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposicin conocida como conclusin.
Las premisas de una inferencia son proposiciones que ofrecen
las razones para aceptar la conclusin. Preceden a las premisas,
en inferencias desordenadas, las palabras puesto que, ya que,
pues, porque, siempre que, si, etc.
La conclusin de una inferencia es la proposicin que se afirma sobre la base de las premisas. Preceden a la conclusin las palabras luego, por tanto, por consiguiente, en consecuencia,
etc. Adems, en inferencias desordenadas, la proposicin inme-
maticales por sus operadores lgico s correspondientes, el adverbio no por el operador negativo y la palabra luego por el smbolo >. Los signos de agrupacin se usan para establecer la
jerarqua entre los operadores de una frmula, pero slo cuando
su omisin la hace ambigua.
d) Se construye una frmula condicional que tenga como antecedente las premisas unidas por el operador conjuntivo y como
consecuente la conclusin, de tal forma que la estructura lgica
de cualquier inferencia quede representada esquemticamente
de la siguiente manera:
[(Premisa ) /\ ( Premisa) ] > (Conclusin)
antecedente co nsecuente
Ejemplos de formalizacin de inferencias ordenadas
a) Los congresistas representan ala Nacin, pero no estn sujetos a
mandato imperativo. Luego, los congresistas representan a la
Nacin.
Forma lgica:
1. Los congresistas representan a la Nacin y los congresistas no
estn sujeto s a mandato imperativo.
Luego, los congresistas representan a la Nacin.
Frmula:
p: los congresistas representan a la Nacin.
q: los congresistas estn sujetos a mandato imperativo.
1.p Aw q
P
(pAwq>>p
b) Felipe no ser expulsado del club a meno s que el cometa acto s de
traicin e inmoralidad. No ha sido expulsado. En consecuencia,
no ha cometido actos de traicin ni de inmoralidad.
Forma lgica:
1. Si Felipe comete actos de traicin y actos de inmoralidad, entonces ser expulsado del club.
2. Felipe no ha sido expulsado del club
Luego , Felipe no ha cometido acto s de traicin y no ha cometido
actos de inmoralidad.
F rmula:
p: Felipe comete actos de traicin.
q: Felipe comete actos de inmoralidad.
r: Felipe ser expulsado del club.
1. (pAq)>r
2.wr
.'.wp/\ wq
{[(pAq)>rlAwr}>(wpAwq)
c) Si el nio, el adolescente y el anciano son abandonados, entonces son protegidos por el Estado. Pero el nio es abandonado,
tambin el anciano. Luego, tanto el nio como el anciano son
protegidos por el Estado.
Formalgica:
1. Si el nio es abandonado y el adolescente es abandonado y el
anciano es abandonado, entonces el nio es protegido por el
Estado y el adolescente es protegido por el Estado y el anciano es
protegido por el Estado.
2. El nio es abandonado y el anciano es abandonado
Luego, el nio es protegido por el Estado y el anciano es protegido por el Estado.
Frmula:
p: el nio es abandonado.
q: el adolescente es abandonado.
r: el anciano es abandonado.
s: el nio es protegido por el estado.
t: el adolescente es protegido por el estado.
W: el anciano es protegido por el estado.
1.(p/\q/\r) > (SAtAW)
2.p/\r
S/\W
{[(p/\q/\r)>(s/\t/\ w)]/\(p/\ r)}>(s/\w)
d) Sin mandato judicial ni autorizacin de la persona que lo
habita, no se puede ingresar en el domicilio, tampoco efectuar investigacin. Pero se ingres al domicilio y efectu investigacin.
En consecuencia, hubo mandato judicial y autorizacin de la persona que lo habita.
Formalgica:
1. Si no hay mandato judicial y no hay autorizacin de la persona
que lo habita, entonces no se puede ingresar en el domicilio y no
se puede efectuar investigacin.
2. Se ingres al domicilio y se efectu investigacin.
Luego, hubo mandato judicial y hubo autorizacin de lapersona
que lo habita.
Frmula:
p: hay mandato judicial.
q: hay autorizacin de la persona que lo habita.
r: se puede ingresar en el domicilio.
s: se puede efectuar investigacin.
1.(wp/\wq)>(wr/\ws)
2.r/\s
.'.p/\q
{[(wpAwq)>(wr A ws)]/\(r/\s)}>(p/\q)
e) Un nmero es divisible por 2 si la ltima cifra de dicho nmero
es mltiplo de 2. Un nmero es divisible por 3 si la suma de las
cifras de dicho nmero es mltiplo de 3. Pero dicho nmero no es
divisible por 2 o no lo es por 3. Por tanto, la suma de las cifras de
un nmero no es un mltiplo de 3 si la ltima cifra de un nmero
es mltiplo de 2.
Forma lgica:
1. Si la ltima cifra de un nmero es mltiplo de 2, entonces ese
nmero es divisible por 2.
2. Si la suma de las cifras de un nmero es mltiplo de 3, entonces
ese nmero es divisible por 3.
3. Un nmero no es divisible por 2 o un nmero no es divisible por3.
Luego, si la ltima cifra de un nmero es mltiplo de 2, entonces
la suma de las cifras de un nmero no es mltiplo de 3.
Frmula:
p: la ltima cifra de un nmero es mltiplo de 2.
q: un nmero es divisible por 2.
r: la suma de las cifras de un nmero es mltiplo de 3.
s: un nmero es divisible por 3.
1.p>q
2.r> s
3wqvws
p > wr
{[(p>q)/\(r>s)]/\(wq\/ ws)}>(p>wr)
Ejemplos de formalizacin de inferencias desordenadas
La forma lgica de la inferencia es premisas-co nclusin; sin embargo, en el lenguaje coloquial es frecuente observar que dicha forma
lgica se presente alteraday en orden inverso, es decir, conclusinpremisas. En este caso, antes de proceder a su formalizacin, es preciso restablecer su forma lgica, o sea, se debe ordenar la inferencia.
Ejemplo:
Ral viajar a Londres, puesto que obtuvo la beca y habla
correctamente el ingls.
En este ejemplo, la conclusin Ral viajar a Londres se encuentra en primer termino. Si restituimos a esta inferencia su forma lgica, se enunciar de la siguiente manera:
Si Ral obtuvo la beca y habla correctamente el ingls, ento nces viajar a Londres.
Para identificar las premisas y la conclusin de una inferencia conviene tener en cuenta estas sencillas indicaciones:
I
{[p>(qv r)]/\ (p/x wq)}>r
Cuestionario N? 6
I-
Seale la diferencia existe entre lenguaje natural y lenguaje
formalizado
2. Por que el lenguaje de la lgica se llama formalizado?
3. De que tipos de smbolos consta el lenguaje formalizado de la
lgica?
4. Qu diferencia existe entre variable proposicional y operador
lgico?
5. Cules son las principales notaciones simblicas de la lgica?
6. Cules son las caractersticas de las notaciones simblicas de
Scholz, Peano-Russell y Lukasiewicz, respectivamente?
7. Qu es una frmula bien formada (fbf)?
8. Qu una frmula mal formada (fmf)?
9. Qu es la sintaxis lgica?
10. Qu reglas deben tomarse en cuenta al momento de construir
una frmula bien formada (fbf)
11. Qu significa formalizar una proposicin?
12. Qu se entiende por forma lgica y que por frmula lgica?
13. Cules son los pasos que comprende latecnica de formalizacin
de proposiciones?
14. Qu es una inferencia?
15. De que elementos consta una inferencia?
16. Qu diferencia existe entre premisa y conclusin?
17. Qu diferencia existe inferencia deductiva e inferencia
inductiva?
18. Cundo se dice que una inferenciaes vliday cundo no vlida?
19. Qu significa formalizar una inferencia?
20. Cules son lo s paso s necesario s a seguir en la formalizacin de
una inferencia?
Ejercicio N? 7
Reglas de formacin de frmulas lgicas
1. Escriba la palabra s cuando la frmula este bien formada y
no, en caso contrario. En el primer caso diga, adems, cmo se
llama, estableciendo previamente la jerarqua entre sus operadores mediante nmeros y, en el segundo caso, enuncie las reglas
de la sintaxis lgica que viola:
a)wp>wq
b)(p /\ q)/\w(r /\ s)
c)w(p/\ q)/\w(r/\ s)
d)(p A q) w (r>s)
e) wp>wq(>wr
f) (pAqAr)w
g).w[p>(wqvwr)]
h)(p/\q)>(r/\s){>(t/\w)
i) ww[(wp/\wq)>w(t/\ww)]
j) {[(p>q)/\(r>s)]/\(pAr)}>(q<=>s)
k>w<plq>lw<rls>
1) w[p>(wq\Lwr)]
m)pw(qwr)
n)wp I [q>w(r/\s/\ t)]
wpl-[ql-(r I su
0)w[p/\ (q\Lr)] I Nu-s)
p>wp>w[<qAr>w(s t)]
q><p>q>w[rw(sIt>]
r) [(pAq)t(rAs)] I [t>(q/\r)]
s)p[w(q I r)lw( ws I t)] Awt
Ejercicio N? 8
Formalizacin de proposiciones
1. Formalice las siguientes proposiciones: en cada caso halle su
forma lgica y escriba la frmula correspondiente.
a) Si eres talibn, entonces eres fundamentalista.
b) No como ni duermo.
c) La universidad est sin rector.
d) En los pases democrticos no hay delito de opinin, tampoco
prisin por deudas.
e) Ni Juan ni Pedro ni Felipe te darn la razn.
f) A nadie quiso escribir, ni a sus ms ntimos amigo s.
g) Tanto Carlos como Federico son ateos porque son materialistas.
h) Si hay ley, razn y justicia en el mundo, no suceder lo que
temes.
i) Aunque este enfermo, no faltar a la cita.
j) No lo hizo Antonio, sino David.
1
2
3
4
Columna de valores J
Paso 6. Se escribe, en la parte inferior del cuerpo (CI) y debajo
del operador conjuntivo, los valores que asume la frmula conjun-
Matriz de la co njunci n
De la disyuncin inclusiva
Una frmula disyuntiva inclusiva p v q es falsa si y slo si p es
FF F
L Matriz de la disyuncin exclusiva o
fuerte
D el condicional
Una frmula condicional p > q es falsa si su antecedente p es
verdadero y su consecuente q es falso. En los dems casos es
verdadera.
Ejemplo:
a) El polinomio tiene tres trmino s.
b) El polinomio se llama trinomio.
Enlazando a) y b) mediante la conjuncin condicional compuesta si..., entonces obtenemos una nueva:
c) Si el polinomio tiene tres trminos, entonces se llama
trinomio.
Esta nueva proposicin se llama proposicin condicional. Y
c) es verdadera en cualquier caso, excepto cuando la proposicin
que desempea el papel de antecedente es verdadera y la proposicin que hace las veces de consecuente es falsa: No es posible que
el antecedente sea verdadero y el consecuente falso.
La verdad de una proposicin condicional no depende de las
relaciones que puedan existir o no entre los significados del antecedente y del consecuente. En efecto, hay ejemplos de proposiciones condicionales verdaderas en que entre el antecedente y el consecuente no existe ninguna relacin de atingencia, es decir, lo que
dice el antecedente es diferente a lo que dice el consecuente.
Ejemplo de una proposicin condicional verdadera, no obstante que entre el antecedente y el consecuente no existe ninguna relacin de atingencia, sera el siguiente:
d) Si Galileo descubri que los cuerpos caen con aceleracin
constante, entonces la Optica es la parte de la Fsica que estudia
la luz.
Frmula de c): p > q
Aplicando la definicin del operador condicional, en correspondencia con lo estipulado en el paso 6 obtenemos la matriz del
condicional:
b) Puno es un desierto
Enlazando a) y b) mediante la partculani... ni obtenemos
una nueva:
c) Ni Arequipa es un puerto ni Puno es un desierto.
Esta nueva propo sicin se llama propo sicin negativa co njunta. Y c) es verdadera siempre que sus dos componentes sean falsas; y es falsa en los dems casos.
Frmula de c): p xt q
Aplicando la definicin del operador de la negacin conjunta
y en consonancia con lo establecido en el paso 6 obtenemos la matriz de la negacin conjunta:
pqplq
q
V
F
V
F
w[(pvq)/\(Nq>"P)]
VVV V FVV FV
VVF FVFFFV
FVV V FVVVF
FFF F VFVVF
q
V
F
V
F
w[(pvq)/\(Nq>"D)]
F VVVVFVVFV
V VVFF VFFFV
F FVVV FVVVF
V FFFF VFVVF
r
V
V
F
F
V
V
V
V
[(p>q)/\(q>r)]>(p>r)
V V V V
F F V F
F V V V
F V V F
V V V V
F F V V
V V V V
V V V V
w(wqv "p)]
F
F
V
V
LFMJ.
Implicacin y equivalencia de frmulas
Implicacin de frmulas
Una frmula A implica a B si y slo si unidas en forma condicional, A como antecedente y B como consecuente, su matriz
123
vvvFF
vv VFF
vv VFF
vv VFV
Respuesta: oc > B
124
2) El bicondicional de la negacin de A y la disyuncin dbil de C
y D implica a la negacin de la disyuncin dbil de By la negacin de A
[wA{>(Cv D)]>w(BvwA)
F
F
V
V
V
V
V
V
FFF F F VVF
FFF F F VVF
VV F F F VVV
VV V F F FVV
LFMI
Respuesta: oc -/+ B
Equivalencia de frmulas
Dos frmulas A y B son equivalentes si y slo si sus matrices
son iguales; si sus matrices son diferentes, se dice que A y B no
son equivalentes.
Notacin:
A = B: se lee A es equivalente a B
A se B: se lee A no es equivalente a B
Ejemplos:
a) La negacin de la negacin alterna de las negaciones de A
y D es equivalente al condicional de By la negacin de C
w(wAIwD)=(B>wC)
FF
FF
VV
FV
VV
VV
FV
VF
VVV
VVV
VFF
FVF
Im
Respuesta: oc B
125
b) La negacin de la conjuncin de las negaciones de C y D
es equivalente a la negacin conjunta del condicional de A y B y
la disyuncin dbil de C y B
w(wCAwD)=[(A>B) t (Cv
]
<ujunujg
Respuesta: oc B
Cuestionario N? 7
1. Cmo se calcula el nmero de arreglos posibles de los valores
veritativos de las variables?
. Cundo una frmula conjuntiva es verdadera?
En qu caso es falsa una frmula disyuntiva inclusiva?
. Cundo es verdadera una frmula disyuntiva exclusiva?
Una frmula condicional, cundo es falsa?
En qu caso una frmula bicondicional es verdadera?
. Una frmula negativa, cundo es verdaderay cundo es falsa?
Cundo es verdadera una frmula negativa conjunta?
wpoxigngnppom
. Cundo es falsa una frmula negativa alterna?
10. A qu se denominan frmulas moleculares complejas?
11. Qu pasos son necesarios seguir a n de denir tabularmente
frmulas moleculares complejas?
12. Cmo se clasifican las frmulas moleculares atendiendo a su
matriz principal?
LM
Respuesta: La inferencia analizada es vlida porque su frmula
condicional es una tautologa.
b) El pueblo es una masa pasiva que sigue bien las ideas de
un gran hombre, bien los preceptos de la idea absoluta. Sigue los
preceptos de la idea absoluta. Por lo tanto no sigue las ideas de
un gran hombre.
Formalgica:
1. El pueblo es una masa pasiva que sigue las ideas de un gran
hombre o el pueblo es una masa pasiva que sigue los preceptos
de la idea absoluta.
131
2. El pueblo es una masa pasiva que sigue los preceptos de la idea
absoluta.
Luego , el pueblo es una masa pasiva que no sigue las ideas de un
gran hombre.
Frmula:
p: el pueblo es una masa pasiva que sigue las ideas de un gran
hombre.
q: el pueblo es una masa pasiva que sigue los preceptos de la
idea absoluta.
1.pv q
2.q
.'.wp
Frmula condicional:
[(pvq)Aq]>wp
Evaluacin:
p q [(pv q)/\q]>wp
V V V VV FF
V F V FF VF
FV V VV VV
F F F FF VV
LM
Respuesta: La inferencia analizada no es vlida porque su frmula condicional es consistente.
c) Sin variables ni operadores no hay lenguaje formalizado. Ocurre
que no hay variables ni operadores. Luego, no hay lenguaje formalizado.
132
Forma lgica:
1. Si no variables y no hay operadores, entonces no hay lenguaje
formalizado.
2. No hay variables y no hay operadores.
Luego, no hay lenguaje formalizado.
Frmula:
p: hay variables.
q: hay operadores.
r: hay lenguaje formalizado.
1.(wp /\ wq)>wr
2. w p /\ w q
w r
Frmula co ndicio nal:
{[(wp A wq)>wr] A (wp A wq)}>wr
Evaluacin:
p q r {[(wpAwq)> wr]A(wp/\wq)}>wr
FF
FF
FV
FV
VFF
VFF
VVV
VVV
F
F
F
F
djujj<<<<
ujuj<<ujuj<<
"1j<"11<uj<uj<
<un<<<<<<
<uj<uj<uj<uj
<'juj'j"'j''j
<<wununujunun
L><<<<<<<<
<un<un<un<un
FMT
Respuesta: La inferencia es vlida pues su frmula es
tauto l gica.
133
d) Si Pedro es burgus, es propietario de los medios de produccin
social y emplea trabajo asalariado. Es burgus y propietario de
los medios de produccin social. Luego, Pedro emplea trabajo
asalariado.
Forma lgica:
1. Si Pedro es burgus, entonces Pedro es propietario de los medios
de produccin social y Pedro emplea trabajo asalariado.
2. Pedro es burgusy Pedro es propietario de los medios de produccin social.
Luego, Pedro emplea trabajo asalariado.
Frmula:
p: Pedro es burgus.
q: Pedro es propietario de los medios de produccin social.
r: Pedro emplea trabajo asalariado.
1.p>(q /\ r)
2.p Aq
.'.r
Frmula condicional:
{[p>(q A r)]/\(p A q)}>r
Evaluacin:
p q r {[p>(q/\r)]/\(p Aq)}>r
V V V V V V V V
V V F F F F V V
V F V F F F F V
V F F F F F F V
F V V V V F F V
F V F V F F F V
F F V V F F F V
F F F V F F F V
LFMT
134
Respuesta: La inferencia es vlida porque su frmula es
tautolgica.
que es falsa si y slo si su antecedente es verdadero y su consecuente es falso. El mtodo consiste en lo siguiente: si de alguna
manera es posible asignar valores veritativos a las frmulas atmicas constituyentes de suerte que resulte verdadero el antecedente
y falso el consecuente se demostrar que la inferencia es invlida.
136
Procedimiento:
a) Se supone verdadero el antecedente y falso el consecuente.
b) Se determinan los valores de las variables del consecuente de
manera que expresen la falsedad de ste.
c) Se trasladan estos valores al antecedente y se designan los valores de las dems variables tratando de hacer verdadero el antecedente.
d) Si se verifica la hiptesis, la frmula es no tautol gica, en consecuencia, la inferencia correspondiente ser invlida; si no se verica la hiptesis, la frmula ser tautolgica, en consecuencia,
la inferencia correspondiente ser vlida.
Ejemplo 1
Sea la inferencia:
Si eres scal, eres abogado. Si eres profesional, eres abogado.
Luego, si eres fiscal, eres profesional
Frmula: [(p >q)/\(r>q)]>(p >r)
Procedimiento;
a) Se supone V (verdadero) el antecedente y F(falso) el consecuente:
V F
[(p>q)A(r>q)]>(p>r)
b) Se determina el valor de las variables del consecuente:
V F
[(p>q)A(r>q)]>(p>r)
VFF
137
c) Se trasladan esto s valores al antecedente y se asignan los valores
a las dems variables:
V F
[(p>q)A(r>q)]>(p >r)
V VV V FVV F VF F
7
d) Habiendo asignado el valor de V a la variable q, las dos
premisas han asumido el valor de verdad y todo el antecedente
ha tomado el valor de verdad con lo que queda vericada la
hiptesis siendo, porlo tanto, la frmula no tautolgica; es decir,
la inferencia co rre spo ndiente inv lid a.
Ejemplo 2
Sea la inferencia:
Bv D
Respuesta: La inferencia es vlida por DC
Equivalencias tautolgicas
1. Tautologa(Tau)
a) (p A p) =p
b) (PV P)=P
2. Doble Negacin (DN)
N N P = P
3. De Morgan (De M)
a)N(p/\q)=(wpvwq)
b)N(pvq)=(wp/\wq)
c)(pAq) =w(wpvwq)
d)(pvq) =w(wpAwq)
4. Conmutacin (Conm.)
a)(pAq)=(q/\p)
b) (pvq)=(qvp)
c)(p<-/->q)=(q<>p)
d)(p<>q)=(q<>p)
e) (pq)=(qp)
t) (p|q)=(q|p)
5. Asociacin(Asoc.)
a) [pA(q/\ r)]=[(p/\q)/\r)]
b) [p v (qv r)]=[(pv q)vr)]
c) [p <>(q<>r)]=[(p iqHnl
6. Distribucin (Dist.)
a) [p A(qv r)]=[(p A q)v (p Ar)]
b) [p v (qA r)]=[(p v q)A (p v r)]
c) [p >(q/\r)]=[(p >q)A(p >r)]
d) [p >(qvr)]=[(p >q)v(p >r)]
7. Denicin de Implicacin Material (Impl.)
a)(p>q) = (wpvq)
b)(p>q) =w(p/\wq)
8. Denicin de Equivalencia Material (Equiv.)
a) (p Hq)=[(p>q)A (q>p)]
b) (p <>q)=[(p/\ q)v (wpANq)]
9. Denicin de Disyuncin Exclusiva (Def. DE)
(p<-/->q)=[( p v q) /\ (w p v N q)]
10. Definicin de Negacin Conjunta (Def. NC)
(p (Lq)=(wp/\ wq)
11. Denicin de Negacin Alterna (Def. NA)
(p I q)=(wpv wq)
149
12. Transposicin (Trans.)
a) (p >q)=(wq>wp)
b)(p<>q)=(wq<>wp)
13. Exportacin(Exp.)
[(pA q)/>I)=[p> (q>r)]
14.Expansin(Expan.)
a)p = [pA(qvwq)]
b)p = [pv(qAwq)]
c) (p >q)=[p<>(pAq)]
d)(p>q)=[q<*>(pvq)]
15. Absorcin (Abs.)
a) [pA(pv q)]=p
b) [pv(pAq)]=p
c) [pA (wp vq)]=(pAq)
d)[pv (wpAq)]=(pvq)
16. Reglas de Equivalencia:
R1) (TA C) =C
R2) (Tv C)=T
R3) (TA T) =T
R4) (Tv T)=T Donde:
R5)
R6)
R7)
R8)
(l.
(l.
(l.
(J_
A
v
A
v
C) =J_ T= Tautologa
C) =C J_= Contradiccn
J_)=J_ C: Consistencia
l_)=l_
Cuestionario N? 8
. En qu consisten los mtodos sintcticosy cules son ejemplos de stos?
. En qu consisten los mtodos semnticosycules se pueden
sealar?
150
3. Por qu se dice que la tabla de verdad es un procedimiento
algortmico?
4. Si se aplica el procedimiento de la tabla de verdad a una inferencia, cundo es sta vlida?
5. Cul es el procedimiento a seguir en la aplicacin de la tabla de
verdad?
6. En qu consiste el mtodo abreviado?
7. En qu consiste el mtodo analgico de anlisis de inferenciasy
cul es su procedimiento?
8. Qu diferencia existe entre leyes lgicas y reglas lgicas?
9. Cules son los tres principios lgicos fundamentales, cul es su
formulacin ontolgica y cul su formulacin lgica?
10. Cules son las principales reglas y cules las principales leyes
de la lgica propo sicio nal? Enncielas.
Ejercicio N? 11
Anlisis de inferencias mediante la tabla de verdad, el mtodo
f)(pAq)>[(wp<>r)v(wq<,>wr)]
g)[(wr<=>q)Aw(p-(>r)]>(p>q)
h)[(p>wr)>(r>s)]>w[(s</>q)Awp]
152
i){[(pvq)>wr]A(wr>s)}>[(pvq)>s]
j)[(p>(qvr)]>[(s<>q)v(ws+->r)]
3. Determine mediante el mtodo abreviado si las siguientes
inferencias son vlidas o invlidas:
a) Si se produjo la tragedia de Mesa Redonda, entonces la
DICSCAMEC cometi irregularidades al entregar autorizaciones a comerciantes y al no denunciar ante la fiscala la
comercializacin ilegal de los pirotcnicos. La DICSCAMEC cometi irregularidades al entregar autorizaciones acomerciantes
y al no denunciar ante la scala la comercializacin ilegal de
los piro tcnico s. En consecuencia, se produjo latragediade Mesa
Redonda.
b) Si las aguas del mar peruano se enfran o calientan excesivarnente, entonces no se podr pescar anchoveta ni atn. No se puede
pescar anchoveta ni atn. Por tanto, las aguas del mar peruano
se han enfriado o calentado excesivamente.
c) Si la DICSCAMEC entreg autorizaciones a comerciantes y no
denunci ante la fiscala la comercializacin ilegal de los
pirotcnicos, entoces cometi irregularidades y ser declarada
en reorganizacin por el Ministerio del Interior. La DICSCAMEC
no entreg autorizaciones a comerciantes y denunci ante la fiscala la comercializacin ilegal de los pirotcnicos. Luego, no
cometi irregularidades y no ser declarada en reorganizacin
por el Ministerio del Interior.
d) Si no se puede pescar anchoveta ni atn, entonces las aguas del
mar peruano se han enfriado o calentado excesivamente. Las
aguas del mar peruano se han calentado o enfriado excesivamente. Por tanto, no se puede pescar anchoveta ni atn.
e) La tragedia de Mesa Redonda dej cerca de trescientos muertos,
doscientos desaparecidos, ms de doscientos cincuentaheridos
y setecientos locales devastado s. En consecuencia, dej diez millones de dlares en prdidas materiales.
f) Si la tragedia de Mesa Redonda dej centenares de muerto s, entonces debe investigarse las causas y sancionar a los responsa153
bles. La tragedia de Mesa Redondadej centenares de muertos y
heridos. Luego, debe investigarse las causas y sancionar a los
responsables.
g) La tragedia de Mesa Redonda dej diez millones de dlares en
prdidas materiales y se incautaron doscientas toneladas de
material pirotcnico. En consecuencia, se tendr que invertir entre diez y veinte millones de dlares para la recuperacin del
rea afectada de Mesa Redonda.
h) Laventa de artefacto s pirotcnico s ser prohibida al pblico, sin
i)
J)
embargo los especialistas en la materia podrn solicitar una
auto riz aci n a la DIC SCAMEC p ara realiz ar esp ectculo s
pirotcnicos. En consecuencia, no se podr importar artculos
pirotcnicos detonantes y las personas que ocasionen lesiones
graves por el uso de esto s artculo s sern sancionadas con penas
privativas de libertad de hasta quince ao s.
Si el Presidente de Chile designa como ministra de defensa a una
mujer, mdica y madre de tres hijos, entonces rompe la tradicin
machista de sus fuerzas armadas. El Presidente de Chile design
como ministrade defensaauna mujer, mdicay madre de tres hijo s.
Luego , rompi la tradicin machista de sus fuerzas armadas.
Si el Presidente de Chile designa como ministra de defensa a una
mujer, socialista e hija de un militar constitucionalista, entonces
ser bien recibida por los peruano s esta designacin. Los peruanos han recibido bien esta designacin. Por tanto, el Presidente
de Chile ha designado como ministra de defensa a una mujer,
socialista e hija de un militar constitucionalista.
k) Si dos miembros de una desigualdad son positivos y se elevan a
1)
una misma potencia po sitiva, el signo de la desigualdad no carnbia. Si los dos miembros de una desigualdad son negativos y se
elevan a una misma potencia positiva, el signo de la desigualad
cambia. Portanto, el signo de la desigualdad cambiao no cambia.
Si dos miembros de una misma desigualdad se multiplican o
dividen por una misma cantidad positiva, el signo de la desigualdad no vara. Si los dos miembros de una desigualdad se
multiplican o dividen por una misma cantidad negativa, el
154
signo de la desigualdad vara. Luego el signo de la desigualdad
vara o no vara.
m) Dos polgonos son iguales si y slo si tienen respectivamente
iguales todos sus lados e iguales los ngulos comprendidos
entre los lado s respectivamente iguales. Do s polgono s son iguales. Luego, tienen respectivamente iguales todos sus lados.
n) O lavitaminaA no es requeridapor el hombre o es requeridapor
otros vertebrados. La vitamina A no es hidro soluble o se almacenan en el hgado. En consecuencia, la vitaminaA no es hidrosoluble ni antihemorrgica si es requerida por el hombre.
) Las bacterias son organismos microscpicos y causa de enfermedades graves en el hombre o no son organismos micro scpicos ni causa de enfermedades graves en el hombre. Si las bacterias tienen forma de bastoncillos, se llaman bacilos. Luego las
bacterias son organismos microscpicos si y slo si son causa de
enfermedades graves en el hombre
4. Escribe la conclusin correcta a partir de las siguientes premisas,
aplicando las reglas lgicas que se indica:
a)1.(pv qv r)A(wpvwqvwr) (Simp.)
b)1.w(wp>wq)I wr (Ad.)
c) 1.(p A q)>(r I w s)
2.pAq (MP)
d)1.(p A q A r)>wt
2.ws>(pv qv r)
3.(pAqA r)vws (DC)
e) 1.(wpvwq)>(p>q)
2.(rlws)>(wpvwq) (SH)
f) 1.p> (q A r)
2.(sv M-s /\ wr) (Conj.)
155
g)1.w(p>q)>(r>s)
2.w(r>s) (MT)
h)1.(ws> wr)> w(wp A wq)
2.wp Awq (MT)
i) 1.(p> q)v w(rA s)
2.r As (SD)
j)1.wp>wq
2.[pv(r>s)]>[(p(Lq)> wt]
3-qvw[(pq)> wt] (DD)
5. Escribe laco nclusin correcta apartir de las siguientes premisas,
aplicando las reglas lgicas que se indica:
a) Si A es un subconjunto de B, entonces todo elemento de A es
tambin elemento de B. A es un subconjunto de B. Luego, (MP)
b) La Corriente del Nio eleva la temperatura ambiental de la co sta
norte del Per. En consecuencia, (Ad.)
c) La vitamina C se encuentra en los jugos de frutas ctricas y la
vitamina K es antihemorrgica. Luego, (Simp.)
d) Si la clula es la unidad bsica de la materia viva, entonces es
la base de la formacin de los tejidos orgnicos. Pero es falso
que la clula sea la base de la formacin de lo s tejidos y rgano s.
Luego, (MT)
e) Si un ministro de Estado no ha cesado en el cargo, entonces puede postular a la Presidencia de la Repblica y si un miembro de
las Fuerzas Armadas no ha pasado a la situacin de retiro, entonces no puede postular a la Presidencia de la Repblica. En
consecuencia, (Simp.)
f) Si los hidro carburo s son compuesto s orgnicos, entonces contienen carbono e hidrgeno. Los hidrocarburos son compuestos
orgnicos. Luego, (MP)
g) Si ha ocurrido una transformacin en la estructura molecular de
una sustancia, entonces se ha producido una reaccin qumica.
156
tabla de verdad es un algoritmo. En consecuencia, permite decidir mecnicamente la validez o invalidez de las inferencias.
w.
j Heidegger y Sartre son lsofos existencialistas si centran la reexin losca en el problema de la existencia humana. Centran la reflexin filo s fica en el problema de la existencia humana. Luego, son filsofos existencialistas.
7. Escriba el equivalente de las siguientes frmulas aplicando las
equivalencias tautol gicas que se sugieren:
a)
a)
b)
c)
d)
w p A wq
(De M)
(Conm.)
(mp1.)
(NC)
b)
a)
b)
c)
d)
w p v w q
(De M)
(Conm.)
(mp1.)
(NA)
158
c)wp>wq
5855i
wp+4wq
E858
e)wp</>Nq
99
w.
99
w.
Qwplwq
E858
h).wpA(wqvwr)
33858
(Impl.)
(Trans.)
(DN)
(Expan)
(Equiv.)
(Trans.)
(Conm.)
(Tau)
(DE)
(Conm.)
(Expan)
(DN)
(NC)
(Conm.)
(DN)
(Expan)
(NA)
(Conm.)
(Expan)
(Tau.)
(Conm.)
(De M)
(Dist.)
(NC)
(Impl)
159
i) wpv(wqAwr)
a)
b)
C)
d)
(Conm.)
(De M)
(Dist.)
(NA)
e) (Impl.)
J) N(p>q)(\>w(wpAwq)
a)
b)
C)
d)
e)
k)
(Equiv.)
(Conm.)
(Impl.)
(De M)
(NC)
w[(p {>q)v (r [sm t
a) (Conm.)
b) (De M)
C) (DE)
d) (NA)
e) (NC)
l) (pvqvr)A(wpvwqvwr)
a)
b)
C)
d)
e)
(Asoc.)
(Dist.)
(De M)
(Impl.)
(NC)
m)pAqArA(wpvwqvwr)
a)
b)
C)
d)
e)
(Conm.)
(Asoc.)
(De M)
(Dist.)
(Abs.)
n)(pAqArA p)vwpvwqvwrvwp
a)
b)
c)
d)
e)
(Conm.)
(Asoc.)
(De M)
(Dist.)
(Abs.)
)[(pvq)Awq]>[wpv(rls)]
a)
b)
c)
d)
e)
(HPL)
(De M)
(Abs.)
(Dist.)
(NA)
Habindose obtenido la conclusin, puede armarse que la inferencia original es correcta o vlida.
No es necesario, ni siempre es posible, comenzar las derivaciones por la primera premisa; se puede comenzar por cualquier
otra, siempre que ello sea posible. En el ejemplo propuesto, se puede partir de la segunda premisa comparndola con la tercera, de
la manera siguiente:
5. N q MT (2,3)
6. N p MT (1,5)
7. s SD (4,6)
En el primer proceso se ha utilizado SH, MT y SD. En cambio,
en el segundo procedimiento se ha empleado dos veces el MT y
luego el SD.
La prueba condicional (PC)
La prueba condicional (PC) es una modalidad dentro del mtodo
de la deduccin natural y se aplica en los casos en que una inferencia tenga conclusin condicional o implicativa.
En efecto, siendo la conclusin una frmula condicional o
implicativa necesariamente tendr antecedente y co nsecuente. Para
saber si una conclusin de este tipo se deriva de las premisas dadas se agrega el antecedente de la conclusin a las premisas, y,
luego, aplicando a este nuevo conjunto de premisas las reglas o
leyes lgicas ya conocidas, se realizan las derivaciones hasta obtener el consecuente de la conclusin.
Procedimiento
Dado el caso de que la conclusin de una inferencia sea una
frmula condicional o implicativa:
Paso 1. Se toma primeramente su antecedente y se introduce como
una nueva premisa (PA: premisa adicional).
Paso 2. Se efectan las derivaciones corriendo la demostracin
alguno s lugares hacia la derecha hasta hallar el consecuente de
la conclusin.
Paso 3. Se une implicativamente la premisa adicional con el ltimo
paso lo grado volviendo la demostracin a la izquierda, a la po sicin original.
Ejemplo:
a) Sea la forma inferencial siguiente:
1.s >r
2. svp
3. p >q
4.r>t/ .'.wq>t
b) Se introduce la premisa adicional
5. w q PA (antecedente de la conclusin)
c) Se efectan las derivaciones
6.
7.
s.
9.
N
s
r
t
p MT (3,5)
SD (2,6)
MP (1,7)
MP(4,8)
mo paso lo grado
10. w q > t PC (5,9)
La prueba por la reduccin al absurdo (PRA)
sta es otra modalidad dentro del mtodo de la deduccin natural. Resulta de la fusin de la regla de la prueba condicional y de
la nocin de contradiccin; de aqu su nombre de reduccin al
absurdo.
Consiste en introducir como premisa adicional la negacin de
la conclusin para llegar a encontrar una contradiccin en las
premisas. Es decir, se supone la falsedad del consecuente para llegar a la falsedad del antecedente, mostrando de esta manera que
la conclusin se halla implicada en las premisas (demostracin
indirecta).
El sentido de esta demostracin se puede entender fcilmente
si se recuerda que por el modus tollens (MT) se puede deducir la
negacin del antecedente de una implicacin cuando se niega el
consecuente, es decir, cuando se sabe que el consecuente es falso.
Procedimiento
Dada una inferencia cualquiera:
a) Se niega la conclusin y se introduce como una nueva premisa
(PA: premisa adicional).
b) Se efectan las derivaciones corriendo la demostracin varios
lugares hacia la derecha hasta encontrar una contradiccin.
c) Se une en forma condicional o implicativa la premisa adicional
con la contradiccin hallada, a travs de la regla de la prueba
condicional (PC), volviendo la demostracin a la izquierda, a la
posicin original.
d) Se establece la conclusin deseada como una inferencia lgicamente deducida de las premisas originales, aplicando la regla
de la prueba porla reduccin al absurdo (PRA):23
[p >(qAwq)]>wp
2 REA RAVELLO, Bernardo, Introduccin a la lgica, Lima, Amaru Editores,
1981, pp. 44-52.
Ejemplo
a) Sea la forma inferencial siguiente:
1.
2.
3.
b)
w (p A q)
w r > q
w p > r/ r
Se introduce la premisa adicional
d) Se aplica la regla de la PC
10. w r>(p A w p) PC (4,9)
e) Se aplica la regla de la PRA (10)
11. r PRA (10)
En la prctica se puede suprimir el paso 10. De este modo, encontrada la contradiccin, se inere la conclusin del conjunto
original de premisas, ubicndola hacia la izquierda, debajo de las
p remisas o ri ginale s.
Cuestionario N? 9
1. Quin propuso el mtodo de la deduccin natural?
2. Por qu el mtodo de la deduccin natural es sintctico?
3. Por qu el mtodo de la deduccin natural no es considerado
algortmico?
4. A qu se denomina mtodo de la deduccin natural?
5. Qu modalidades presenta la deduccin natural?
6. En qu consiste la prueba directa?
7.En qu modalidades de la deduccin natural se emplea la premisa adicional?
8. En qu casos se recurre al uso de la prueba condicional?
9. En qu consiste la prueba por reduccin al absurdo?
10. Por qu se dice que la prueba por la reduccin al absurdo es
una demostracin indirecta?
Ejercicio N? 12
El mtodo de la deduccin natural
1. Justifique las siguientes demostraciones mediante el mtodo de la deduccin natural:
a) 1.p>q
2.pAr/ .'.q
3.p
4.q
b) 1.rv s
2. s>p
3.wr/ 3.p
4.s
5.p
c) 1.(q > wp)A(p >r)
2.r>q
3.ws>p/ .'.s
4. pAr
5.pAq
6.qAwp
7.pAwp
8.wp v wp
9.wp
10.s
d)1.(pAq) A (rAs)
2.tv w(u AW)
.(pAq)v wt
.x A (uAW)
CO
w(rAs)/ .'.wx
mew
wt
w(uAW)
99071???
wx
e) 1.pAq
2.wpAr
3. wq/ .'.r
4.wp
5.r
.pAq
rAs
.pvws/ .'.rAq
rAq
9Lpvq
2.qAr
170
.sAwr/ 3.p
wr
"q
h)1.pA wq
x.
i
D
wrAws
.pvwr
q/
wp
wr
ws
1. (pAq)A[p A(rA s)]
2.(pAq)At/ .'.rvs
3. pAq
4. pA(rAs)
5. p
6. rAs
7.r
8.rvs
1.pA(qAr)
2.sA(qAr)
3.(wpAws)A(wtvwu)
4.(wtAwW)A(wuAwx)
5. (y AW)A (z Ax)
6.w(qAr)/ .'.wyvwz
7.wp
8.ws
9.wpAws
10.wtvwu
11.wwvwx
12.wyvwz
k)1. pA(qAr)
2. rAwr
3.(s A p)A(tAq)/ ..S> wt
4.(pAq)Ar
5. wrv wr
6.wr
1wmAm
8.pAwq
9.s A p
10.sAwq
11.tAq
12.wq Awt
13.s Awt
l) 1.(pvq)v(rAs)
2.(wpA s) A w(w p Aq)/ ..wp/\I
3.wpA s
4.wp
5wbpA
6. wp Awq
7.wq
8. w p Aw q
qwmvm
10.rAs
11.r
12.w p A r
m)1.[(pv w q)vr]A[s A (tAu)]
2.(pv wq)A[(vAw)Ax]
3.pA[(tAu)Ax]
4.p/ ..S>X
5.pvwq
6. (vAW)Ax
7. (tAu)Ax
8.(pv wq)vr
9.sA (tAu)
10.sAx
171
n)1q A (r A s)
2.tA (r A s)
3.(wqAwt)A(wvv ww)
4.(wv A wx)A (wW A wy)
5.(u Ax)A (z Ay)
6.w(rAs)/ w u v wz
7.wq
8.wt
9.wqAwt
10. wv v ww
11.w xv wy
12.w uv wz
)1.wpv(qAr)
2.wsv(qAr)
3.w(wpAws)v(wtvwu)
4.wtAwW
5. wuAwx
6. yAW
7. zAx
8.w(qAr)/ .'.wyvwz
9.wp
10.ws
11.wpAws
12.wtvwu
13.wwvwx
14.wyvwz
2. Demuestre por la prueba directa (PD)
a) 1. w p A q
2.w(p v r)/ .'.q
b) 1.qAws
2.wpv (FAS)/..wp
172
c) 1.w(pAq)vr
2.pAs
3.q/ .'.rvt
d)Lwbpvq)
2.pAwr
4.qvws/ .'.w(rvs)
e)1.w(pvq)v r
2.sAp
3.tAq
4.sv t/ .'.r
f) 1.wtvw r
2.wrAs
3.wtAs
4.WAws/ .'.wW
g)1.pAw(qAr)
2. (sAq)Ar
3.s/ .'.wp
mLwbpvw
2.rAws
3.rvwq/ .'.ws
DLpAmAwm
2.p{>q/.*.wpAwq
j) 1.(pv q)A(rAs)
2.pv (tAwt)
3.wr/ .'.wtv ww
k)1.p
2.pA(q A r)/ .'.p+,l.;.r
173
3. Demuestre mediante la prueba condicional (PC):
174
l) 1.pA (qAr)
2.(wpvwq)As
3.ws/ .'.rvwt
m)1.pA (qAr)
2. w(wpvs)
3.q/ .'.r
n)1.(p v q)A(rv s)
2.p
3.ws/ .'.r
)1.rAs
2.pvr
3.pAq/.*.qv(sv r)
a)1.w(pvq)v wr
2.sAp
3.wtvq
4. sv t/ .'.rAq
b)1.
.pAwt
w(rvs)v t
.wpA s/ ..I>S
wrvs
.wqAws
.rv(sAt)/ ..wq>(t/\S)
d) 1. (rA s) At
2.
3.
wpvwt
pAq/ ..I>wS
e)1.wpAwq
2.wrvs
3.wq>I/..wp>(S\/wt)
Dlwp
2.wrAt
3. sv p/ ..w(I/\ s)At
g)1.w(wrAwq)
2.tAwq
3.wsAwq/ ..(t\/wS)>I
h)1.qAp
2.tvs
3.sAq/ ..w(p\/I)>t
i) 1.sAwp
2.wqwr
3.tA(sAr)/ .'.tAw(pvq)
j)1.wrAs
2.pAt
3.rAwq/ (pAq)A(sAt)
k)1.rAs
2.pvr
3.p A q/ .'.wqA(svr)
l) 1.(pAq) A (rvs)
2. wrAws/x. pAwq
m)1.pA w q
2.rvws
3.svw p
4.wr/ ..p>(wq/\ wsAr)
175
n)1.pAq
2.qAwr
3.svt
4.rvws/ ..wt>wp
)1.wrvs
2. w(p| q)>wq
3.wqAr/ .'.w(p I q)A(s v wt)
o)1. w p
2.wrAt
3.S\/p/..w(I/\ s)At
4. Demuestre mediante la prueba por la reduccin al absurdo (PRA):
a)1.wpvwq
2.qvws
3.(pAws)Awt
4.wrv t/ 3.wr
b) 1.wpvq
2.wrvp
3.wq/ 3.wr
c) 1.w(wpAwq)
2.pvr
3.qAwr/ 3.p
d)1.wpAq
2.sAwp
3.wqAwr/ .'.ws
e)1.rAt
2.sAq
3.(tvq)Ap
4.rvs/ 3.p
176
f) 1.pA(qvr)
2.qAwp
3.sAwr/ ..w(p/\S)
g)1.wsAq
2.sAwr
3.qAt/ .'.wrvt
h)1.wpvws
2. wsAr
3.w(tvr)/ .'.wp
i) 1.rAwz
2.(tvs)Ar
3.zv ws
4.wt/ .'.w(tv s)
j)1.(wAr){>ws
2.wsAw
3.wrAws/ .'.r
k)1.(p A wq) A (q Ar)
2.rAp
3.w s A q/ .'.s
l) 1.p A(q Ar)
2.pA (sA t)
3.pA(qvs)
4.wr/ .'.t
m)1. (pA wq) A (rAs)
2.(wqA t)A (s Awx)
3.(tAwy) /\ (wx Az)
4.pAr/ ..wy/\Z
177
n)1.(p A q)A (rAs)
2.(qv s)At
3.wt /.'.w(pvr)
)1.pA(qAr)
2. wrAp/ .'.rvwq
5. Demuestre la validez de las siguientes inferencias mediante el
mtodo de la deduccin natural.
a) Si la polica patrulla las calles, entonces no hay delincuentes al
acecho. Pero o bien hay delincuentes al acecho o sujetos ebrios
fomentando el desorden. La polica patrulla las calles. Luego,
hay sujetos ebrios fomentando el desorden.
b) Si Pablo Castel vive obsesionado con Mara Iribarne, entonces la
enco ntrar algn da. Si Pablo Castel encuentra a Mara Iribarne
entablar una conversacin con ella. Es el caso que Pablo Castel
vive obsesionado con Mara Iribarne. Por lo tanto, Pablo Castel
entablar una conversacin con Maria Iribarne.
c) Si Raskolnikov fue visto saliendo de la casa de la usurera o dej
algn indicio all, entonces Petrovich le seguir el rastro y lo
acusar de asesinato. Si Petrovich le sigue el rastro y lo acusa de
asesinato , Raskolnikov no tendr ninguna coartada. Raskolnikov
fue visto saliendo de la casa de la usurera o dej algn indicio
all. Luego, Raskolnikov no tendr ninguna co artada.
d) Las tiendas ests cerradas y no hay vigilancia policial. Si las
tiendas estn cerradas o no hay vigilancia policial, entonces es
malaidea salir a comprar. Si es mala idea salir a comprar, ento nces es co nveniente ir a ver televisin. Luego, es conveniente ir a
ver televisin.
e) Si Juan consigue el prstamo, entonces se comprar un departamento. Si Juan consigue el prstamo, entonces, si compra el departamento, deber comprar muebles. Luego, si Juan consigue el
prstamo, entonces deber comprar muebles.
178
f)
Si Fiorella ingresa a la universidad, entonces su mam se alegrar, y si Elvira consigue trabajo su pap celebrar. Sucede que la
mam de Fio rella no se alegray el pap de Elvira no celebra. Pero
si no es el caso que Fiorella ingresa a la universidad y Elvira
consigue trabajo , entonces ambas viajan al extranjero. Por consiguiente, ambas viajan al extranjero.
g) Si Per gana o empata el partido, entonces clasifica al mundial.
Pero es el caso que Per ganao empata. Por lo tanto, Per clasifica al mundial.
h) Si Andrs se dedica a la pintura, entonces ser un gran artista, y
i)
J)
verdadero clculo lgico de acuerdo a reglas precisas que permiten pasar de formas complicadas a formas simples. De aqu nace
un nuevo procedimiento decisorio, llamado de las formas normales, cuyo carcter es sintctico ya que slo se toman en cuenta las
relaciones de los smbolos entre s.
Se llaman formas normales a aquellas frmulas constituidas
nicamente por conjunciones A, disyunciones v y negaciones w
que slo afectan a variables. Las formas normales son frmulas
moleculares compuestas por conjunciones o disyunciones bsicas,
cuyos elementos son variables negadas o sin negar.
Ejemplos de conjunciones bsicas:
a) p A p
b)wpAwq
c) p A wq A r
d) wpAwqAwrAws
Ejemplos de disyunciones bsicas:
a) p v q
Mpvwq
c) w p v qv r
d) wpvwqvwrvws
Clases de formas normales
Las formas normales son de dos clases: conjuntivas y disyuntivas.
a) Forma normal conjuntiva (FNC) es la frmula constituida por
disyuncionesbsicas como p v qv rv w r, o porconjuncionesde
disyunciones bsicas, como (p v q v r)A (w rv s v t).
b) Forma normal disyuntiva (FND) es la frmula constituida por
conjunciones bsicas como p A qA rA w r,o pordisyunciones de
conjuncionesbsicas como (p A qA r)v (w rA sA t).
Como es fcil advertir, estando la frmula bsica compuesta
por conjunciones o disyunciones de variables, pueden darse estos
dos casos:
a) Si la frmula bsica est compuesta por conjunciones, entonces
es posible que una misma variable aparezca armada y negada
dentro de la misma frmula, con lo que se obtendra una contradiccin del tipo: p A w p
b) Si la frmula bsica est compuesta por disyunciones, entonces
puede suceder que una misma variable se repita con diferente
signo dentro de la misma frmula, con lo que se obtendra una
tautologa del tipo: p v w p
La presencia o ausencia de una contradiccin o de una tautolo ga constituye el criterio para determinar la validez o invalidez
de una frmula o inferencia.
Procedimiento para determinar el carcter tautolgico de cualquier frmula mediante la forma normal conjuntiva (FNC):
a) Se eliminan todos los operadores didicos que no sean conjunciones y disyuncio nes mediante la aplicacin de sus respectivas
deniciones.
b) Se eliminan las negaciones que afectan a operadores mediante
las leyes de De Morgan (De M)
c) Se suprimen las dobles negaciones aplicando la ley del mismo
nombre.
d) Se aplican las leyes de distribucin, absorcin y tautolo ga cuando fuera necesario.
e) Se aplica el siguiente criterio: La FNC es tautolo ga si y slo si
todas y cada una de sus disyunciones bsicas contienen la tautolo ga del tercio excluido.
Ejemplo 1
Sea la siguiente frmula:
[(p > q) A p] >q
a) Se eliminan lo s operadores co ndicio nales aplicando Implicacin
material (Imp.)
w[(wpvq)Ap]vq
b) Se elimina la negacin que est delante del corchete aplicando
De Morgan (De M)
w(wpv q)v wp vq
c) Se elimina la negacin que est delante del parntesis mediante
De Morgan (De M)
(pAwq)vwpvq
d) Se aplica la ley de distribucin para obtener la FNC:
(pvwpvq)A(wqv wpvq)
Respuesta: Habiendo tercio excluido en las dos disyunciones
bsicas resultantes, la frmula es tautol gica.
Ejemplo 2
Sea ahora la frmula siguiente:
[(p > q) A q] >p
a) Se eliminan lo s operadores co ndicio nales mediante Implicacin
material (Imp.)
w[(wpvq)Aq]vp
b) Se elimina la negacin que est delante del corchete aplicando
De Morgan (De M)
w (wpv q)vwqvp
c) Se elimina la negacin que est delante del parntesis mediante
De Morgan (De M)
(p A w q) v w q v p
d) Se aplica la ley de distribucin para obtener la FNC:
(p vwqvp)A (wqv wqv p)
Respuesta: no habiendo tercio excluido en las disyunciones
bsicas resultantes, la frmula no es tautol gica.
Procedimiento para determinar el carcter tautolgico de cualquier frmula mediante la forma normal disyuntiva (FND ):
Para hallar la forma normal disyuntiva (FND) de una frmula
proposicional cualquiera se procede de la siguiente manera:
a) Se niega la frmula proposicional propuesta.
b) Se realizan los mismos pasos que el procedimiento anterior.
c) Se aplica el siguiente criterio: La FND es tautolgica si y slo si
todas y cada una de las conjunciones bsicas contienen una
contradiccin. Se entiende que esta FND sea contradictoria desde el momento que se parte de la negacin de la frmula proposicio nal originaria.
Ejemplo 1
Sea la misma frmula del Ejemplo 1 anterior:
HpAAMAq
a) Se niega toda la frmula:
w {[(p Aq)A p] Aq}
b) Se eliminan lo s operadores co ndicio nales aplicando Implicacin
Material (Imp.):
w{w(wpv q)A p]vq}
c) Se cancela la negacin que est delante de la llave aplicando De
Morgan (De. M):
(wpvApAwq
d) Se aplica la ley de la distribucin para obtener la FND:
(wpApA wq)v(qApAwq)
Respuesta: habiendo contradiccin en las dos conjunciones
bsicas resultantes, la frmula es tautol gica.
Ejemplo 2
Sea la misma frmula del Ejemplo 2 anterior:
[(p > q) A q] >q
a) Se niega toda la frmula.
w {[(p Aq)A q] Ap}
b) Se eliminan los operadores condicionales mediante la Implicacin material (Imp.)
w{w[(wpv q)A q]vp}
c) Se cancela la negacin que est delante de la llave mediante De
Morgan (De. M)
(w p v q) A q A w p
d) Se aplica la ley de la distribucin para obtener la FND:
(wpAqAwp)v(qAqAwp)
Respuesta: no habiendo contradiccin en las dos conjunciones bsicas resultantes, la frmula no es tautol gica.
Leyes de absorcin (Abs.)
de la manera siguiente:
6.pvqvr Abs. (5)
No habiendo tercio excluido en la disyuncin bsica, la frmula
original no es tautolgica.
Modelo de FND
1. (p (>q)Ar
2. w[(p <> q) Ar] Negacin dela frmula delpaso 1
3. w {[(p Aq)A (qAp)]Ar} Equiv. (2)
4.(wpvq)A(wqvp)Awr Imp.(3)
5.(wpAwqAwr)v(wpApAwr)v (qAwqAwr)v(qApAwr)
Dist.(4)
Usando la ley de absorcin en lugar de la distribucin obtendremos:
5.wpAwqAwr Abs.(4)
No habiendo contradiccin en la disyuncin bsica, la frmula original no es tautolgica.
REDUCTIBILIDAD DE FRMULAS
Simplificacin de la lgica proposicional
Las formas normales han mostrado que las 16 funciones de verdad posibles se pueden reducir a tres: conjuncin, disyuncin
inclusivay negacin. No obstante la reduccin puede ser an mayor ya que todas las funciones de verdad posibles pueden ser expresadas mediante dos, como en el caso del teorema de Post, en el
que slo intervienen la conjuncin y la negacin.
Pero tambin es posible encontrar una sola funcin de verdad
que, sin la ayuda de la negacin, puede expresar todas las dems.
En efecto, Sheffer mostr, en 1919, que es posible reducir todas las
funciones de verdad posibles al operador de la negacin alterna o
de incompatibilidad. Igualmente, el lgico ingls Nicod, valindose del descubrimiento de Sheffer, mostr que el mismo resultado
se podra lograr por medio del operador de la negacin conjunta.
Aunque ambos se traducen de manera poco natural al lenguaje
ordinario, son especialmente productivos en los usos tericos y tecnolgicos de la lgica proposicional. El comn denominador de
ambas reducciones est en que por medio de ellas se puede definir la negacin.
La posibilidad de poder reducir todas las funciones de verdad
posibles a una sola, sin la ayuda de ninguna otra, tiene una enorme importancia, tanto matemtica como filo sca. Matemtica porque permite descubrir relaciones interesantes entre las diversas
funciones, lo que permite a su vez realizar una simplificacin extraordinaria de los clculo s. Filosfica, porque muestra que desde
el punto de vista ms general de la estructura del pensamiento,
que es la estructura de la lgica proposicional, la unin de las proposiciones se realiza de acuerdo a una sola pauta muy simple.
El ideal de simplicidad en el campo de la lgica supone el empleo de un reducido nmero de operadores que, como estamos viendo, en el caso de Sheffer y Nicod, se limita a uno solo. Sin embargo, simplicidad no es sinnimo de brevedad, pues una frmula
universal.
f) Si el cnyuge extranjero tiene dos aos de matrimonio y de domicilio en el Per, entonces est facultado para optar por la nacionalidad peruana. Pero el cnyuge extranjero no est facultado
para optar por la nacionalidad peruana. Por tanto, es falso que
tenga dos aos de matrimonio y de domicilio en el Per.
g) Los leo nes son carnvoros o herbvoro s, pero no ambas co sas
a la vez. Los leones son carnvoros. En consecuencia, no son
herbvoro s.
h) Si padeces de asma, eres vctima de sofocaciones intermitentes.
Si padeces de bronquitis, tienes inarnado s los bronquio s. Padeces de asmao de bronquitis. Luego, eres vctima de sofocaciones
intermitentes o tienes inamados los bronquios.
i) Dos radicales son semejantes si tienen igual ndice e igual radicando. Ocurre que los dos radicales son semejantes. Por tanto,
tienen igual ndice e igual radicando.
j) El Presidente de la Repblica est facultado para disolver el Congreso si ste ha censurado o negado conanza a tres Consejo s de
Ministro s. El Congreso ha censurado o negado confianza a tres
Consejo s de Ministro s. Luego, el Presidente de la Repblica est
facultado para disolverlo.
k) Las fuerzas Armadas y las Fuerzas Policiales no son deliberantes porque estn subordinadas al Poder Constitucional. Las Fuerzas Armadas y las Fuerzas Policiales estn subordinadas al Poder Constitucional. Luego, no son deliberantes.
l) Un nmero es divisible por dos si termina en cero o en cifra par.
Un nmero es divisible por cinco si termina en cero o en cinco.
Por tanto, un nmero es divisible por dos si no termina en cinco.
m) O Pasteur es el fundador de la bacteriologa moderna o es el
creador de la teora microbiana del origen de las enfermedades.
En consecuencia, no es el fundador de la bacteriologa moderna
n) Si el trigo es una planta gramnea sirve para la alimentacin del
hombre. Si la cebada es una planta gramnea sirve para la elaboracin de la cerveza. El trigo o la cebada son plantas gramneas.
Luego, el trigo sirve para la alimentacin del hombre o la cebada
para la elaboracin de la cerveza.
) La suma de dos ngulos exteriores de un polgono convexo es
igual a cuatro rectas. En consecuencia, la suma de dos ngulos
exteriores de un polgono convexo es igual a cuatro rectas o las
bisectrices de todos los ngulos de un polgono regular concurren en un mismo punto.
Ejercicio N? 14
Reductibilidad de frmulas
1. Reduzca las siguientes frmulas a la negacin conjunta:
a)wp A wq
b)wpvwq
c) wp Awq
d)wp+4wq
e) wp<+>Nq
f) wp lwq
g)w@/wm
h)w@\vw
j)@pAwvwr
k)(wp A wq)A wr
2. Reduzca las siguientes frmulas a la negacin alterna:
a) wp A wq
b)wpvwq
c) wp A wq
d)wp+4wq
e)"PH"q
wplwq
g)w@/wm
h)w@\vw
i)(wp A wq)vwr
(wpAwq)Awr
LA LGICA PROPOSICIONAL
Y LOS CIRCUITOS ELCTRICOS
El isomorfismo entre la lgica proposicional y los circuitos elctricos
La presencia de la lgica matemtica en la solucin de problemas
cientficos y tecnolgicos es maniesta. En efecto, el conocimiento
cientfico tiene dos caractersticas fundamentales: es explicativo y
predictivo. Estas dos caractersticas de la ciencia hacen que ella
permita entender o comprender el fenmeno y aumentar nuestros
conocimiento s. Pero tanto las explicaciones como las predicciones
de la ciencia se hacen por medio de inferencias o deducciones, es
decir, ellas suponen la presencia de la lgica, presuponen la aplicacin de las leyes lgicas. Por ejemplo, el descubrimiento del planeta Neptuno, hecho por el astrnomo Francs Leverrier en el siglo diecinueve, es un ejemplo de explicacin y prediccin en la
ciencia. Por tanto, es un ejemplo de aplicacin de las leyes lgicas
al fenmeno que se quiere co mp render.
Una de las grandes creaciones de la tecnologa contempornea es, sin duda alguna, el invento de las computadoras electrnicas, es decir, mquinas electrnicas del tratamiento de la informacin que han permitido resolver una serie de problemas, cuya
solucin, sin ellas, habra demorado siglos. La construccin de las
computadoras electrnicas se basa en la construccin de circuitos
electrnicos y sta es posible mediante la aplicacin de las leyes
de la lgica proposicional.
La aplicacin de la lgica proposicional a los circuitos elctricos es posible en virtud del isomorsmo existente entre ambas. En
efecto, el matemtico e ingeniero norteamericano Claudio Shannon
uno de los diseadores de las modernas computadoras descubri, en 1936, el isomorsmo (igualdad de formas bsicas) existente entre la lgica de proposiciones y la teora de los circuitos
elctrico s. Gracias a este descubrimiento se ha desarrollado una
teora sistemtica de los circuitos elctricos y sta ha hecho posible resolver cualquier problema concerniente a la construccin y
funcionamiento de estos circuito s bsicos de las computadoras electrnicas.
Para establecer el isomorsmo entre ambas teoras es necesario considerar slo tres funciones lgicas: la conjuncin, la disyuncin y la negacin. Como a travs de esas tres funciones bsicas
se puede definir las dems funciones lgicas, entonces el isomorsmo es total.
Tipos fundamentales de circuitos
Para construir una computadora electrnica es preciso construir
determinados circuitos elctrico s. Estos circuitos pueden reducirse a dos fundamentales: circuito en serie y circuito en paralelo.
El circuito en serie
El circuito en serie es un circuito con los conmutadores A y B, dispuestos de tal manera que uno queda detrs del otro. En este caso
para que la corriente pase y se encienda el foco es necesario que
los conmutadores A y B estn cerrados, es decir, asuman el valor
de 1. Basta que se abra uno de ello s, es decir, tome el valor de O
para que la corriente se interrumpa. Esto quiere decir que el circuito en serie se comporta exactamente igual que una conjuncin,
es decir son dos funciones isomrcas tal como puede observarse
en el siguiente diseo del circuito en serie:
Diseo del circuito en serie
ConmutadorA l ConmutadorB l
r1 r1 r HAB)
l 0 l
0 l 0
0 0 Luz 0
4m 0
Batera
A B f(A,B)
1 1 1
1 O O
O 1 O
O O O
P q P A q
VV V
VF F
FV F
FF F
El circuito en serie y la conjuncin son dos funciones isomrcas.
En consecuencia, para que la corriente pase y se encienda el
foco, es necesario que los conmutadores A y B estn cerrado s. Basta que uno de los conmutadores est abierto para que la corriente
se interrumpay no pueda encenderse el foco. Asimismo, si los conmutadores A y B estn cerrados asumen el valor 1; en cambio, si
los conmutadores A y B estn abiertos, asumen el valor O. Finalmente, el diseo del circuito en serie nos muestra que ste se comporta exactamente igual que una conjuncin. Por lo tanto, en el
lenguaje lgico este circuito se expresa a travs de la frmula conjuntiva: p A q
El circuito en paralelo
El circuito en paralelo es un circuito con dos conmutadores A y B,
dispuestos de tal manera que uno queda al lado del otro. En este
caso, para que la corriente pase y se encienda el foco basta que
uno de los conmutadores ste cerrado. Para que la corriente se interrumpa es necesario que los dos conmutadores estn abiertos.
Esto quiere decir que el circuito en paralelo se comporta exactamente igual que una disyuncin, es decir, son dos funciones
isomrcas, tal como puede apreciarse en el siguiente diseo del
circuito en paralelo.
ConmutadorA
A / A
1
1 I
> 0 > HAB)
0 1
ConmutadorB l
1
mi M LuzO o
0
1
4M 0 I I I I
l Bateria
ABf(A,B) pq pvq
1 1 1 VV V
1 O 1 V F V
O 1 1 F V V
O O O F F F
El circuito en paralelo y la disyuncin son dos funciones
isomrcas.
En consecuencia, para que la corriente pase y se encienda el
foco es suficiente que uno de los dos conmutadores ste cerrado.
Solamente en el caso de que los dos conmutadores estn abiertos
la corriente se interrumpe y el foco no se enciende. Asimismo, si
los conmutadores A y B estn cerrados, entonces asumen el valor
1; mientras que si A y B estn abiertos, entonces asumen el valor
O. Finalmente, el diseo del circuito en paralelo nos muestra que
ste se comporta exactamente igual que una disyuncin. Por tanto, en el lenguaje lgico este circuito se expresa a travs de la frmula disyuntiva: p v q
Construccin, traduccin y simplificacin de circuitos
Sobre la base de estas consideraciones es posible, en primer lugar,
construir circuitos para frmulas conjuntivas o disyuntivas; en
segundo lugar, expresar estos circuitos a travs de frmulas
moleculares y, nalmente, simplicar los circuitos aplicando las
reglas lgicas estudiadas.
Equivalencias tautolgicas empleadas en la construccin y
simplicacin de circuitos:
1. De Morgan (De M)
a) w(pAq)=(wpvwq)
b) w(pvq)=(wpAwq)
2. Implicacin material (Imp.)
a)(pAq)=(wpvq)
b)(pAq)=w(pAw q)
3. Equivalencia material (Equiv.)
a)(p<*>q)=[(p>q) A(q>p)]
b)(p<*>q)=[(pAq) v(wpAwq)
4. Distribucin (Distr.)
a)[pA(qvr)] = [(pAq)v(pAr)]
b)[pv(qAr)] = [(pvq)A(pvr)]
5. Tautologa (Tau.)
a)(pAp)=p
b)(pvp)=p
6. Absorcin (Abs.)
a)[pA(pv q)] =p
b)[pv(pAq)] =p
c)[pA(wp v q)]=(pAq)
d)[pv(wpAq) =(pvq)
A) Ejemplos de traduccin de frmulas a circuitos:
a) Frmula:
1. w(pAqAr)Aw(wpAwqAwr)
2.(wpvwqvwr)A(pvqvr) DeM(1)
Circuito:
A / A / A
B/
MJ c)
b) Frmula:
1. w(wpvwq)v[(rvs)A(wsvr)]v(pAwq)
2. (pAq)v[(rvs)A(wsvr)]v(pAwq) DeM(1)
Circuito :
3>
X
UU
X
o
Q
\
tr
E
-C/
c)Frmula:
1. wpAw[wqvw(rvws)]vw(qvr)
2.pvw[wqvw(rvws)]vw(qvr) Imp(1)
3.pv[qA(rvws)]v(wqAwr) DeM(2)
Circuito:
A /
C /
__B/_
D/
B / cy
d) F rmula:
1. w(p<+>q)
2. w[(pvq)A(wpvwq)] DE(1)
3.w(pvq)vw(wpvwq) DeM(2)
4.(wpAwq)v(p/\q) DeM(3)
Circuito:
A/ B/
A/ B/
e)Frmula:
1. w(wp<m>wq)
2. w[(wpAwq)v(pAq)] Equiv.(1)
3.w(wpAwq)Aw(p/\q) DeM(2)
4. (pvq)A(wpvwq) DeM(3)
Circuito:
A/ A/
B) Ejemplos de traduccin de circuitos a frmulas:
a) Circuito:
C
/
LA/ LB/__D/
E/
Frmula:
p AqA(rv svt)Aw
b) Circuito:
A/ RV
c / n!
D/ C /
R/ A/
Frmula:
(pAwq)v[(rvs)A(wsvr)]v(qAwp)
c) Circuito:
_C/_
,,: m
LA/_
cy
Frmula:
[pA(qvr)]v[wqA(wrvp)]vwr
d) Circuito:
A!
i?
C/ A/ C/ i
Formula:
[pA(wrv wq)]v[rAwpA(qvwrvwp)]Aq
e) Circuito:
ria
E/
Formula:
pAqA[rA(svt)]v[wrA(pvwq)]vwt
C) Ejemplos de simplicacin de circuitos:
a) Circuito:
A/
B/ C/
Frmula:
p v(qAr)v(qAwr)
Simplificacin de la frmula:
1. p v(qAr)v (qwr)
2. p v [(qvq)A (qvwr)A (rvq)A(rv wr)]
3. p v[qA(qv wr)A(rvq)A (rv wr)]
4. p v[qA (rv wr)]
5. pvq
R.1.:(TA Q)(>Q
T:tautologa
Q: frmula cualquiera
Circuito simplificado:
_A/
__B/}
b) Circuito:
T3
A,
LA/ LB/LC/_
R/
C/
Dist. (1)
Tau. (2)
Abs. (3)
R.1. (4)
Frmula:
p AqArA(svwp v wqv wr)
Simplificacin de la frmula:
1. pAqArA(svwpvwqwr)
2. pAqA rAs Abs.(1)
Circuito simplificado:
A/ B/C D/
c) Circuito:
mA/
R/ rr/
C/ B/
A > R /
B? A?
Frmula:
pv[(qvr)A(wrvq)]v(wpAq)v (wqAwp)
Simplificacin de la frmula:
1. pv[(qvr)A(wrvq)]v(wpAq v(wqAwp)
2.pv[(qvr)A(wrvq)]vqvwp Abs.(1)
3. p vwp R2. (2)
R.2. :(Tv Q) (>T
T : tautolo ga
Q : frmula cualquiera
Circuito simplificado:
A
A /
d) Circuito
A
/
B / A/
j 3 =
A/ r
Frmula:
pvqv[(rvp)A(wrv q)Awp]v(wp Ar)
Simplificacin de la frmula:
1. p vqv [(rvp)A (wrv q)Awp]v(wp Ar)
2.pvqv(rAqAwp)v(wpAr) Abs.(1)
3. p vqv (wp Ar) Abs. (2)
4. p vqv r Abs. (3)
Circuito simplificado:
A
/
B /
C
e) Circuito:
A/
B B C C
/ / / /
A/ 1 A 1 A/ _ A/
Frmula:
p v [(qv p)A(qv wp)A(rv wp)A(rv wp)]
Simplificacin de la frmula:
1. pv[(qvp)A(qvwp)A(rvp)A(rv wp)]
2. (pvqvp)A(pvqvwp)A(pvrvp)A(pvrvwp) Dist(1)
3. (pvq)A(pvqvwp)A(pvr)A(pvrvwp) Tau.(2)
4. (pvq)A(p vr) R. 1. (3)
R. 1. :(TA Q){>Q
T:tautologa
Q :frmulacualquiera
5.(pAp)v(pAr)v(qAp)v(qAr) Dist.(4)
6.pv(pAr)v(qAp)v(qAr) Tau.(5)
7. p v (qAr) Abs. (6)
Circuito simplificado:
A/
CUESTIONARIO N? 11
1. Por qu es relevante la presencia de la lgica matemtica en la
solucin de problemas cientficos y tecnolgico s?
2. Cul fue el descubrimiento del matemtico norteamericano
Claudio Shannon?
3. En qu consiste el isomorsmo entre la lgica proposicional y
lo s circuito s elctrico s?
4. Cul es la aplicacin de la teora de los circuitos elctricos en el
campo de lainformtica?
5. Qu funciones lgica es necesario considerar para establecer el
iso mo rsmo entre la lgica matemtica y lo s circuito s elctrico s?
6. Qu tipos de circuitos elctricos existen?
g)w[(pAq)v(rAs)]
h)w[(pvq)v(rAs)]
i) w[(pAq)vw(NP/\"q)]
j) "["(p\/q)/\N(PVq)l
k)(pvq)A(rAs)
l) (pAq)A(rAs)
m)w[(p>q)>(r>s)]
n)wp<e>wq
o)wpwq
p)(pAq)I(rAs)
q)w(pAq)(Lw(rAs)
r)w[(p>q)(r>s)]
s) [(p(Lp)(L(q(Lq)](L[(p(Lp)(L(q(Lq)]
t) [(p I p) I (q |q)] | [(p | p) |(q I q)]
2. Traduzca a frmulas los siguientes circuitos:
a)
e)
S)
h)
I_I
I_ DJ
I_I
D4
213
i)
A,
C D
J)
C
m A:
D
A, m
B m
B,
k)
m)
A B C
_A, B,_ C,A, _ B,_
D A E F
Da Ea Fa
n)
A
B
C D
E
F
)
A B F
D E F
_A_ _B_
D E F
C) Simplique los siguientes circuito s:
a)
A
A C
B C
b)
AAB
MB
c)
ZA ZB ZC
d)
32323232
magma:
e)
A B C
AA B C A B C
A B C
)
C
c c C C
S)
A
B B
A
B Z
C
A
A,
h)
i)
AAAB
J)
k)
1)
B A
A :|
B
A B
B A
m)
A B: A B
A j: A_B A
B A
n)
A
B
Ai B Z
A B
UNA PRESENTACIN AXIOMTICA DE LA LGICA
PROPOSICIONAL
El sistema axiomtico
El sistema axiomtico es, desde los tiempos de la geometra
euclidiana, la forma tpica de presentar el clculo o lenguaje formalizado. Lo caracterstico del sistema axiomtico consiste en disponer de un conjunto de enunciados o frmulas que se admiten sin
demostracin y a partir de los cuales se obtienen todas las dems
armaciones de la teora, las cuales se llaman teoremas. Las frmulas aceptadas sin demostracin se llaman axiomas o postulados.
El conjunto de los axiomas ms la definicin de enunciado o
frmula del sistemay el conjunto de las reglas para la obtencin
de teoremas a partir de los axiomas (reglas de transformacin)
constituyen la base primitiva del sistema. El nombre de reglas
de transformacin est justificado porque las operaciones mediante las cuales se obtienen teoremas a partir de los axiomas
consisten en transformaciones de stos, como sustituciones de
unas variables por otras, composicin de axiomas para formar
otras frmulas.
Suele distinguirse entre sistemas axiomticos formalizados y
no formalizado s. La diferencia principal entre unos y otros consiste en que los formalizados presentan explcitamente todas las
reglas de transformacin, mientras que los otros no lo hacen. En
un sistema axiomtico formalizado el conjunto de los axiomas y
el de las reglas de transformacin son ambos efectivo s.
Como es natural las reglas de transformacin y de formacin
de frmulas o enunciados son metalingsticas respecto de las frmulas del sistema, puesto que son armaciones acerca de lo que
puede hacerse con frmulas del sistema. Igualmente, un enunciado que diga que tal o cual frmula es un axioma ser metalingstico respecto del lenguaje al que pertenezca dicho axioma.
Finalmente, del mismo modo que los teoremas se obtienen de
los axiomas, as tambin los predicados no primitivo s, no conte220
nidos en los axiomas, se obtienen en el sistema a partir de las nociones primitivas, contenidas en los axiomas. El modo de hacerlo
se especica mediante reglas de denicin.
Idea de demostracin
Ax. 1 (p v p) Ap
Ax 2 qA(pvq)
Ax3 (pvq)A(qvp)
Ax4
(q>r)>[(pvq)>(pvr)]
Ejemplos de demostracin de teoremas
1. Demuestre los siguientes teoremas:
Teoremal qA(p Aq)
1.qA(pvq) Ax.2
2.q>(wpvq) R.1wp/p(1)
3. qA(p Aq) Def. 1(2)
222
Teorema 2 (q A r) A [(p A q) A (p A r)]
1.(qAr)A[(pvq)A(pvr)] Ax.4
2. (qAr)A[(wpvq)A(wpvr)] R.1wp/p(1)
3.(qAr)A[(pAq)A(pAr)] Def.1(2)
Teorema3 (pAwp)Awp
1.(pvp)Ap Ax.1
2.(wpvwp)>wp R-1wp/p(1)
3.(pAwp)Awp Def.1(2)
Teorema4 (pAwq)A(qAwp)
1. (pvq) A(qvp) Ax.3
2. (wpvwq)>(wqvwp) R.1wp/p,wq/q(1)
3.(pAwq)A(qAwp) Def.1(2)
Teorema5 p Ap
1.(qAr)A[(pAq)A(pAr)] T2
2. [(p v p) >p]A{[p A(p v p)] A(p Ap)} R.1p v p/ qp/ r(1)
3. (pvp)Ap Ax.1
4. [(pA(pvp)]A(pAp) R.2(2,3)
5.qA(pvq) Ax.2
6. p >(pvp) R-1p/q(5)
7. p Ap R2 (4,6)
Teorema6 (q v p) A (p v q)
1. (pvq)A(qvp) Ax.3
2. (rv s)A(svr) R.1r/ p,s/q(1)
3. (qvp)A(pvq) R.1q/ r, p/ s(2)
223
224
Teorema7 wpvp
1. pAp T.5
2. wpvp Def. 1(1)
Teorema8 pvwp
1. pAp T.5
2.wpAwp R.1wp/p(1)
3. pvwp Def.1(2)
Teorema9 p Aw wp
1. pvwp T.8
2.wpvwwp R.1wp/p(1)
3.pAwwp Def.1(2)
TeoremalO pv wwwp
1. (qAr)[(pvq)A(pvr)] Ax.4
2.(wp>wwwp)>[(pvwp)>(pvwwwp)]
R.1wp/q,wwwp/r(1)
3. pAwwp T.9
4. wpAwwwp R.1wp/p(3)
5.(pvwp)>(pvwwwp) R.2(2,4)
6. pvwp T.8
7. pvwwwp R.2(5,6)
Cuestionario N? 12
1. Qu es el sistema axiomtico?
2. A qu se denominan axiomas?
3. Cul es la base primitiva del sistema axiomtico?
4. Cul es la diferencia principal entre los sistemas axiomticos
formalizados y aquellos que no son tales?
5. Por qu las reglas de transformacin y formacin de frmulas
son consideradas metalingsticas?
6. Cul es la nalidad con que se constituye un sistemaaxiomtico?
7. En el contexto de un sistema axiomtico, qu es una demostracin?
8. Qu es un teorema?
9. Qu smbolos primitivos, reglas de formacin y deniciones
contiene el sistema axiomtico de PM?
10. Cules son las reglas de transformacin y los axiomas que se
consideran en PM?
Ejercicio N? 16
Demostracin de teoremas de la lgica proposicional
1. Demuestre lo s siguientes teo remas:
a) Teorema 11 w w p A p
b) Teorema 12 (w p A p) A p
c) Teorema 13 w (p Aq) A(w p v w q)
d)Teorema14 (wpvwq)Aw(pAq)
e) Teorema 15 w (p A w p)
f)Teorema16 (p Aq)A(wqAw p)
225
226
g) Teorema 17
h) Teorema 18
i) Teorema 19
j) Teorema 20
PqAwp%HpA
UpAA%qAm
p-Hpvm
pemem