MATERIAL COMPLEMENTARIO

DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir
una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento
que objetivamente es verdadero o falso. (Astudillo, Dolores; nciso, !iliana".
El enunciado. Es la e#presin verbal o escrita del juicio.
Ejemplos$
%edro es estudiante de la &niversidad 'acional de !oja
# ( ) * +
, ( ) * -
No !on enunciado!"
La! o#acione! e$cla%a&i'a!. (.entimientos, interjecciones". Ej.$ /socorro0,
/au#ilio0 /te quiero0
La! o#acione! i%(e#a&i'a!. (1rdenes", Ej.$ 2ierra la puerta; te vas afuera.
La! de!ide#a&i'a!. (Deseos, s3plicas". Ej.$ 4jala no 5a6a clases.
La! o#acione! in&e##o)a&i'a!. (%reguntas". Ej.$ 78u9 5ora es:
Ra*ona%ien&o.-Es un conjunto de afirmaciones o juicios relacionados de manera al
que se supone que uno de ellos (llamado conclusin" se desprende o infiere del o los
otros (llamados premisas". !a pretensin de que la conclusin se deriva de las
premisas se manifiesta a trav9s de e#presiones especiales como$ por lo tanto, luego,
por consiguiente, etc.
La (#o(o!ici+n.- Es un enunciado que puede ser falso o verdadero, pero no ambas
cosas a la vez. !a proposicin es un elemento fundamental de la lgica matem;tica;
generalmente se las e#presa en oraciones declarativas o aseverativas, tales como$
O#acione! a,i#%a&i'a!. (nforman". Ej.$ <a=ana es lunes.
O#acione! de!c#i(&i'a!. (Describen". Ej.$ !a tiza es blanca
O#acione! e$(lica&i'a!. (E#plican". Ej.$ .i 5ace fr>o entonces es invierno
A continuacin se tienen algunos ejemplos de proposiciones v;lidas 6 no v;lidas, 6 se
e#plica el porqu9 algunos enunciados no son proposiciones. !as proposiciones se
indican por medio de una letra min3scula, dos puntos 6 la proposicin propiamente
dic5a.
Ejemplo.
p !a tierra es plana.
q -?+ ( ,@ * )?
r # A 6-B
s !a !iga de !oja ser; campen en la presente temporada de f3tbol.
t$ Cola 7como estas:
D !ava el coc5e por favor.

!os incisos p 6 q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones v;lidas. El inciso r tambi9n es una proposicin v;lida, aunque el
valor de falso o verdadero depende del valor asignado a las variables # 6 6 en
determinado momento. !a proposicin del inciso s, es v;lida .in embargo los
enunciados t 6 D no son v;lidos, 6a que no pueden tomar un valor de falso o
verdadero, uno de ellos es un saludo 6 el otro es una orden.
Earea$
Escribir ?F proposiciones v;lidas 6 ?F inv;lidas.
-alo# de 'e#dad.- &na proposicin es verdadera o es falsa; si es verdadera se
denotar; por la letra GHI o el G?I 6 si es falsa se denotar; por GJI o por el GFI. .i no se
puede determinar su valor de verdad, se podr; analizar los posibles valores de verdad
(tablas de certeza".
CLASES DE PROPOSICIONES"
!as proposiciones se clasifican en proposiciones simples o atmicas 6 proposiciones
compuestas o moleculares$
P#o(o!icione! !i%(le!.- .on aquellas proposiciones que no se pueden descomponer.
Ejemplo$
p$ Eodo organismo viviente se adapta a su medio f>sico.
q$ .i un n3mero es divisible por K tambi9n lo es por ).
r$ (a (b"
)
* a
)
( )ab ( b
)
P#o(o!icione! co%(ue!&a! o %olecula#e!. .on aquellos enunciados que est;n
formados por dos o m;s proposiciones simples 6 unidos por t9rmino lgico.
Ejemplos$
p$ !a ni=a <ar>a canta 6 su 5ermano !uis toca el piano.
q$ Ecuador es un pa>s Amaznico 6 latinoamericano.
%odemos observar en los ejemplos anteriores que tanto p como q est;n compuestas de
dos proposiciones simples.
!os conectivos lgicos son elementos gramaticales que unen dos o m;s proposiciones
simples; estos son$
CONECTI-OS L.ICOS
OPERADOR L.ICO L.ICA SIM/LICA TERMINOLO.0A L.ICA
'egacin

no
2onjuncin 6
Dis6uncin o
Dis6uncin e#clusiva v o en sentido e#clu6ente
2onjuncin negativa niL.ni
Dis6uncin negativa M noLno
2ondicional

.iL., entonces
Nicondicional

.i 6 slo si
PROPOSICIONES COMPUESTAS Y CONECTI-OS L.ICOS
!os operadores lgicos tambi9n permiten formar proposiciones compuestas (formadas
por varias proposiciones". !os operadores o conectores b;sicos son$
CONJUNCIN 1 2 3UE SE LEE Y
.e utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. .u s>mbolo que se lee G6I. .e lo conoce como la
multiplicacin lgica 6 tiene estrec5a relacin con la interseccin de conjuntos.

Ejemplo.
.ea el siguiente enunciado GEl coc5e enciende cuando tiene gasolina en el tanque 6
tiene corriente la bater>aI. .imbolizando tenemos$
p$ el conc5e enciende cuando tiene gasolina en el tanque
q$ tiene corriente la bater>a.
H(p" * H
H(q" * H
En consecuencia$
H(p q" * H
4tro ejemplo$
, ( K * O 6 , ( + * ?F
p$ , ( K * O H(p" * J
q$ , ( + * ?F H(q" * H
%or consiguiente$
H (p q" * J
De tal manera que la representacin del enunciado anterior usando simbolog>a lgica
es como sigue$
p 6 q
p pero q
p q; que se lee$ p aunque q
p incluso q
p tambi9n q; etc.
.u tabla de verdad es$
p q p q
H
H
J
J
H
J
H
J
H
J
J
J
EAPEA$
Escribir - ejercicios de conjuncin 6 determine el valor de verdad de cada uno.
LA DISYUNCION"
LA DISYUNCIN INCLUSI-A" 1 2 3UE SE LEE" O.
Es la unin de dos proposiciones simples con el conectivo lgico GoI. .imblicamente
se lo representa as>$ p q que se lee p q o ambas. El enunciado es verdadero
cuando alguna de las proposiciones es verdadera o ambas son verdaderas; .e conoce
tambi9n como la suma lgica 6 se relaciona estrec5amente con la unin de conjuntos.
Ejemplos$

.ea el siguiente enunciado G&na persona puede entrar al cine si compra su boleto u
obtiene un paseI. Donde.
p$ &na persona puede entrar al cine si se compra su boleto.
q$ 4btiene su pase.
.imblicamente tenemos$
p q
H( p " * H
H( q " * H
En consecuencia$ H (p q" * H
K ( , * B o , ( - * @
p$ K ( , * B H ( p" * J
q$ , ( - * @ H (q " * H
En consecuencia$ H (p q" * H
.u tabla de verdad es$
p q p q
H
H
J
J
H
J
H
J
H
H
H
J
EAPEA$
Escriba - ejemplos de dis6uncin inclusiva 6 determine su valor de verdad.
DISYUNCIN E4CLUSI-A. 1 - 2 3UE SE LEE O EN SENTIDO E4CLUYENTE
El enunciado es verdadera cuando p es verdadero 6 q es falso o viceversa.
.imblicamente se lo representa por p q que se lee p o q pero no ambas.
Ejemplos$
2armen es 5ija de Qos9 de Hicente
.imblicamente tenemos$
p$ 2armen es 5ija de Qos9 H(p" * H
q$ 2armen es 5ija de Hicente H (q" * H
En consecuencia$ H (p q" * J
(p q" que se lee$ p q, pero no ambas.
25 * O o , ( B * +
p$ 25 * O H (p" J
q$ , ( B * + H @q" * J
En consecuencia$ H (p q" * J
TAREA$
Escribir - ejercicios de dis6uncin e#clusiva 6 determine el valor de verdad.
.u tabla de verdad es$
p q ( p q "
H
H
J
J
H
J
H
J
J
H
H
J
CONJUNCIN NE.ATI-A"
El enunciado es verdadero cuando las proposiciones simples que la forman son falsas.
!a conjuncin negativa de dos proposiciones p 6 q, se representa por Gp qI o por p
q se lee$ ni p, ni q
Ejemplos$
Gni , ( ) * -, ni ) ( K * OI
.imblicamente tenemos$
p q
p$ , ( ) * - H (p" * H
q$ ) ( K * O H (q" * H
2onsecuentemente tenemos que$
H (p q" * J
p$ , ( ) - H ( p" * J
q$ ) ( K O H ( q" * J;
2onsecuentemente$
H ( p q" * J
Entonces se deduce que$
(p q" ( p q "
.u tabla de verdad es$
p q
( p
q "
H
H
J
J
H
J
H
J
J
J
J
H
EAPEA$ Escribir - ejercicios de conjunciones negativas 6 determinar el valor de verdad.
DISYUNCIN NE.ATI-A"
El enunciado es falso cuando las proposiciones simples que la forman son verdaderas.
!a dis6uncin negativa de proporciones se representa por p M q; que se lee no no q.
Ejemplo$
'o eres pintor o no eres artista p M q
p$ eres artista H (p" * H
q$ eres pintor H ( q" * H
En consecuencia$
H (p M q" * J
p$ no eres artista H (p" * J
q$ no eres pintor H (q " * J
2onsecuentemente$
H (p q" * J
!uego$ p M q (p q "
.u tabla de verdad es$
p q ( p M q "
H
H
J
J
H
J
H
J
J
H
H
H
'egacin ( " no
.u funcin es negar la proposicin. Esto significa que s> alguna proposicin es
verdadera 6 se le aplica el operador no se obtendr; su complemento o negacin
(falso". Al negar una proposicin simple, se transforma en una proposicin compuesta
Este operador se indica por medio de los siguientes s>mbolos$ (R, " Ejemplo.
Ejemplos$
p$ %atricio est; estudiando en la sala H (p" * H
p$ %atricio no esta estudiando en la sala. H ( p" * J
q$ <ar>a es novia de v;n H (q" * J
q$ 'o es cierto que <ar>a es novia de v;n H (q" * H
.u tabla de verdad es$
p p
H
J
J
H
A veces la negacin de una proposicin simple se obtiene mediante otra proposicin
simple, as>$
p$ # es mortal
p$ # es inmortal
q$ 6 es par
q$ 6 es impar
!a negacin en matem;ticas se realiza as>$
p$ ) ( , * - H (p" * H
p$ ) ( , - H (p" * J
NE.ACIN DE PROPOSICIONES COMPUESTAS"
.e puede tambi9n utilizar otras formas de negar como$ no es el caso que; no es cierto
que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan
proposiciones compuestas"
'o es el caso que$ , < ) 6 K ( ? * -; simblicamente tenemos$ ( p q "
'o es cierto que$ , < ) 6 K ( ? * -; simblicamente tenemos$ ( p q "
p$ , < ) H (p" * J
q$ K ( ? * - H (q" * H
2onsecuentemente$
H ( p q " * H
EAPEA$ Escriba - ejemplos de negacin.
PROPOSICIONES CONDICIONALES ( " que se lee GentoncesI

&na proposicin condicional, es aquella que est; formada por dos proposiciones
simples (o compuesta" p 6 q. !a cual se indica de la siguiente manera$ que se lee Gsi
p, entonces q; simblicamente se la representa por$
.e lee G.i p, entonces qI
.i p, q
p q p, slo si q
p es necesario para q; etc. En este caso p$ es el antecedente 6 q$ es el
consecuente.
.e lee$
q puesto que p
q, si p
q cuando p
q p q cada vez que p
q dado que p
q porque p
q 6a que p; etc. .e caracterizan porque despu9s de cada uno de
estos conectivos est; el antecedente o condicin.
Ejemplo$ .imbolice 6 determine el valor de verdad$
&n candidato a presidente del Ecuador dice$ G.i salgo electo presidente de la Pep3blica
del Ecuador, entonces recibir;n un -FS de aumento en su sueldo el pr#imo a=oI. &na
declaracin como esta se conoce como condicional. .u tabla de verdad es la siguiente$
p$ .i salgo electo %residente de la Pep3blica del Ecuador H (p" * H
q$ Pecibir;n un -FS de aumento en su sueldo el pr#imo a=o H (q" * H
De tal manera que el enunciado se puede e#presar de la siguiente manera$ p q
El H( p q " * H
4tro ejemplo$
-(+*?) @- - * K ; .imblicamente tenemos$ p q
p$ - ( + * ?) H( p" * H
q$ @ T - * K H( q " * J
.u valor de verdad es$ H (p q " * J
.u tabla de verdad es$
p q p q
H
H
J
J
H
J
H
J
H
J
H
H
Esto significa que una proposicin condicional es falsa cuando p * H 6 q * J; en los
dem;s casos ser; verdadera.
-ARIANTES DE LA CONDICIONAL
A toda proposicin condicional se le asocia tres proposiciones igualmente importantes,
que son$ proposicin rec>proca, inversa 6 contra rec>proca.
P#o(o!ici+n #ec5(#oca. Dada la proposicin condicional Gp q G, se llama
proposicin rec>proca a la proposicin que se denota por$ Gq pI
Ejemplo$
.i 6 es par, entonces, 6 es m3ltiplo de ) ; simblicamente$ p q. 2ondicional
.i 6 es m3ltiplo de ), entonces, 6 es par ; simblicamente$ p q. .u rec>proca$
.i b es perpendicular a c, entonces c es perpendicular a 6.
!a proposicin anterior simblicamente la denotamos por Gp qI; mientras que la
proposicin rec>proca ser;$ Gq pI.
c es perpendicular a 6, si 6 es perpendicular a c.
P#o(o!ici+n in'e#!a. Dada la proposicin condicional Gp q G, se llama
proposicin inversa a la proposicin que se denota por$ G p qI.
Ejemplo$ .i Quan consigue la beca, entonces viajar; a Jrancia; simblicamente
tenemos$ p q
!a proposicin inversa ser;$ U p qI, ser;$
.i Quan no consigue la beca, entonces no viajar; a Jrancia.. .imblicamente tenemos$
U p q
P#o(o!ici+n con&#a #ec5(#oca. Dada la proposicin condicional$ Gp qI, se
denomina proposicin contra rec>proca a la que se denota por$ q p.
Ejemplo$
.i vivo en 2ariamanga, vivo en la provincia de !oja; simblicamente$ p q
!a proposicin contra rec>proca ser; $ 'o vivo en la provincia de !oja, si no vivo en
2ariamanga ; simblicamente$ G q pI
En los siguientes ejercicios escribir la proposicin dada en la forma Gsi p entonces qI;
determine su valor de verdad. A continuacin, escribir la rec>proca 6 la contrarec>proca
6 determinar la verdad o falsedad de cada una.
a" !as lec5ugas son verduras
b" .lo las rectas paralelas no se cortan
c" .lo las rectas perpendiculares forman ;ngulos rectos.
d" &n tri;ngulo equil;tero tiene tres lados iguales
e" .i a es ma6or que b entonces b es ma6or que a
f" !os tri;ngulos issceles son equil;teros
g" &n 5ombre natural de Vapotillo es natural de !oja
5" .i # * K entonces #
)
* ?O
i" 'ing3n profesor de idiomas tiene mala ortograf>a
j" Eoda persona ma6or de ?@ a=os puede votar.
PROPOSICIN /ICONDICIONAL" 1 2, 3UE SE LEE 7SI Y SLO SI8
.ean p 6 q dos proposiciones simples entonces se puede indicar la proposicin
bicondicional de la siguiente manera$ p q; que se lee Gp si 6 solo si qI

Esto significa que p es verdadera si 6 solo si q es tambi9n verdadera. 4 bien p es falsa
si 6 solo si q tambi9n es falsa. Ejemplo; el enunciado siguiente es una proposicin
bicondicional
G!uis es buen estudiante, si 6 solo si; tiene promedio de diezI
.imblicamente tenemos$
p$ !u>s es buen estudiante H (p" * H
q$ Eiene promedio de diez. H (q" * H
%or consiguiente$ H (p q" * H
.u tabla de verdad es$
p q p q
H
H
J
J
H
J
H
J
H
J
J
H
!a proposicin bicondicional solamente es verdadera si tanto p como q son falsas o
bien ambas verdaderas.
!a proposicin bicondicional, tambi9n se forma por la conjuncin de una proposicin
condicional 6 su rec>proca, simblicamente tememos$
p q * p q q p
Ejemplo$ Quan viajar; a la ciudad de 2uenca si 6 slo si obtiene un pr9stamo en el
Nanco de !oja; .imblicamente tenemos$ q p
Equivale a decir$ .i Quan viaja a la ciudad de 2uenca, entonces obtiene un pr9stamo
en el Nanco de !oja, 6 si obtiene un pr9stamo en el Nanco de !oja viajar; a la ciudad
de 2uenca. .imblicamente tenemos$ * p q q p
%or lo tanto la primera 6 segunda proposicin son iguales$
p q * p q q p
SI.NOS DE PUNTUACIN, A.RUPACIN Y ORDEN DE LOS OPERADORES O
CONECTI-OS L.ICOS
!os signos de agrupacin m;s conocidos tenemos$ el par9ntesis, corc5ete 6 llaves
( "; W X ; {}
Estos signos reemplazan a los signos gramaticales$ punto (.", la coma (,", el punto 6
como (;", 6 los dos puntos ($".
!os signos de agrupacin se usan en lgica cuando se trata de obtener esquemas
lgicos m;s complejos con el fin de evitar la ambigYedad de las frmulas$
?. .i las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe
colocar los par9ntesis de izquierda a derec5a as>$
p q r * (p q" r
p q r s * W(p q" r X s
p q r s * W(p q" rX s
). .i no 5a6 signos de puntuacin ni par9ntesis se debe considerar el siguiente orden
de menor a ma6or jerarqu>a de los operadores 6 de izquierda a derec5a, para ubicar
los par9ntesis.

, , , ,
Ejemplos$
p q r * (p q" r
p q r v s * (p q" (r v s "
p q r s * (p q" (r s"
,. .i la proposicin compuesta est; escrita con par9ntesis, la ubicacin de 9stos nos
indicar; cual es el operador predominante$
Ejemplo$
p q r * (p q" v r Es un esquema dis6untivo
p q r v s * (p q" ( r v s " Es un esquema condicional
p q r s * (p q" (r s " Es un esquema bicondicional.
K. .i un esquema molecular no lleva los signos de agrupacin, se puede indicar cual
es el operador predominante as>$
?" 2onjuncin p r s (p r" s
)" 2ondicional p q s --------------------------------
," 2ondicional p q r --------------------------------
K" 2ondicional r p q --------------------------------
-" 2onjuncin r p q --------------------------------
O" Dis6uncin r q t --------------------------------
+" Dis6uncin q p s --------------------------------
@" Dis6uncin q p s --------------------------------
B" Dis6uncin q r s --------------------------------
?F" 2ondicional q r s --------------------------------
??" 'egacin p r --------------------------------
?)" 2ondicional p r --------------------------------
?," 'egacin t s --------------------------------
Dadas las siguientes proposiciones matem;ticas, incluir los par9ntesis.
?. Dis6uncin # F # A 6 6 * z # F ( # A 6 6 * z"
). condicional # * F # A 6 6 z --------------------------------
,. condicional # * F # F 6 z --------------------------------
K. condicional # A 6 # 6 6 A z --------------------------------
-. conjuncin # * F # A F 6* F --------------------------------
O. condicional # * 6 6 * z #* z --------------------------------
+. conjuncin # * 6 6 * z 6 z --------------------------------
En la proposicin compuesta$ p ( q r " el conector principal es .
En la proposicin compuesta$ p q el conector principal es
En la proposicin compuesta$ p ( p r" el conector principal es
En la proposicin compuesta$ W ( p q" (r s"X el conector principal es
2omo podemos darnos cuenta, que los signos de puntuacin permiten, entre otras
cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O
CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA
Debemos recordar que un esquema molecular es la combinacin de las variables,
operadores lgicos y los signos de agrupacin.
C9LCULO PROPOSICIONAL
-ALORES DE -ERDAD DE PROPOSICIONES COMPUESTAS
Ca6 dos formas de establecer los valores de verdad$
:. Po# %edio de la! &a6la! de 'e#dad
!as tablas de verdad permiten determinar el valor de verdad de una proposicin
compuesta 6 depende de las proposiciones simples 6 de los operadores que
contengan.
Es posible que no se conozca un valor de verdad espec>fico para cada proposicin; es
este caso es necesario elaborar una tabla de verdad que nos indique todas las
diferentes combinaciones de valores de verdad que pueden presentarse. !as
posibilidades de combinar valores de verdad dependen del n3mero de proposiciones
dadas.
%ara una proposicin (n * ?", tenemos )
?
* )

combinaciones
%ara dos proposiciones (n * )", tenemos )
)
* K combinaciones
%ara tres proposiciones (n * ,", tenemos )
,
* @ combinaciones
%ara n proposiciones tenemos )
n
combinaciones
Ejemplo$ dado el siguiente esquema molecular, construir su tabla de valores de verdad$
%asos para construir la tabla$
( p q" (p r"
?. Determinamos sus valores de verdad )
,
* @ combinaciones
). Determinamos las combinaciones$

p q r
H
H
H
H
J
J
J
J
H
H
J
J
H
H
J
J
H
J
H
J
H
J
H
J
,. Adjuntamos a 9ste cuadro el esquema molecular 6 colocamos debajo de cada una
de la variables sus valores de verdad $
p q r ( p q " ( p r "
H
H
H
H
J
J
J
J
H
H
J
J
H
H
J
J
H
J
H
J
H
J
H
J
J
J
J
J
H
H
H
H
J
J
J
J
H
H
J
J
(K"
H
H
J
J
H
H
J
J
H
J
H
J
H
H
J
J
(O"
H
H
H
H
J
J
J
J
J
H
J
H
H
H
H
H
(-"
J
H
J
H
J
H
J
H
K. Aplicamos la conjuncin de$
( p q "
-. Aplicamos la condicional
( p r "
O. Aplicamos la bicondicional
( p q " ( p r "
El operador de ma6or jerarqu>a es el que determina los valores de verdad del esquema
molecular.
Ejercicios$
.abiendo que p es falsa, q es verdadera 6 r es falso, 5allar el valor de verdad de las
siguientes proposiciones compuestas por medio de la tabla de verdad.
a" (p q" (p q"
b" p (q r"
c" q (p q"
d" ( p q" (p r"
e" ( q " (q r"
f" (r r" r
;. Po# %edio del dia)#a%a de <#6ol.
Es un procedimiento corto 6 f;cil, se necesita conocer los valores de verdad de cada
variable 6 aplicar las tablas de certeza lgica$
Ejemplos$
a. .abiendo que p es falsa, q es verdadera 6 r es verdadera. 2u;l es el valor de
verdad de la proposicin q (p r".
.olucin$
Eenemos$ q ( p r "
H J H
J
J
!uego la proposicin$ q (p r", es falsa.
b. Dado el siguiente esquema molecular$
( p q" (p r"
.i$ GpI es falsa GqI es verdadera 6 GrI es verdadera. El conector dominante es el
bicondicional encontrar el valor de verdad del esquema por medio del diagrama del
;rbol$
.olucin$
( p q " ( p r"


H H J J
H H

H
!uego la proposicin$ ( p q" (p r" es verdadera
Eje#cicio!
?. .i el valor de verdad de la proposicin$ q p, es falsa, 72u;l ser; el valor de
verdad de$ q p.
). 2ompletar con H o J, cada una de las siguientes proposiciones, justificar la
respuesta$
a. .e sabe que p q es verdadera. %or lo tanto el valor de verdad de p q es$
-----------------------
b. .e sabe que p q es falsa. %or lo tanto, el valor de verdad de p q es$
-----------------------
c. .e sabe que p q es falsa. %or lo tanto, el valor de vedad de p q es$
-----------------------
d. .e sabe que p es falsa 6 p q es verdadera. %or lo tanto, p q es$
-----------------------
e. .e sabe que q 6 r es verdadera. %or lo tanto q ( p r" es$
------------------------
,. Escribir simblicamente las proposiciones siguientes 6 encontrar el valor de verdad
por el diagrama del ;rbol$
a. ) es n3mero par 6 )? es m3ltiplo de ,, - es la ra>z cuadrada de ?F
b. .i el m.c.m. de ?) 6 ?- es OF 6 , es el cuadrado de B, entonces, estudio o juego
ajedrez.
CONTIN.ENTES, TAUTOLO.0AS Y CONTRADICCIONES
!os esquemas moleculares se clasifican seg3n el resultado que se obtenga en el
operador de ma6or jerarqu>a, pueden ser$
CONTIN.ENTES
2uando en su resultado 5a6 por lo menos una verdad 6 una falsedad Ejemplo$ dado el
siguiente esquema$ ( p q" (p r"
p q r ( p q " ( p r "
H
H
H
H
J
J
J
J
H
H
J
J
H
H
J
J
H
J
H
J
H
J
H
J
J
J
J
J
H
H
H
H
J
J
J
J
H
H
J
J
H
H
J
J
H
H
J
J
H
J
H
J
H
H
J
J
H
H
H
H
J
J
J
J
J
H
J
H
H
H
H
H
J
H
J
H
J
H
J
H
El esquema es contingente
TAUTOLO.0A
Es una proposicin que siempre es verdadera, independientemente del valor lgico de
las proposiciones simples que la componen..
.e puede decir tambi9n que un esquema es un tautolgico cuando los valores de
verdad del operador principal son todos verdaderos.
Eje%(lo
.i p 6 q son proporciones simples distintas, demuestre mediante tablas de certeza que
el siguiente esquema proposicional es una tautolog>a.
(p q" (p q"
p q ( p q " ( p q "
H
H
J
J
H
J
H
J
H
H
J
J
H
J
J
J
H
J
H
J
H
H
H
H
H
H
J
J
H
J
J
H
H
J
H
J
Es un esquema tautolgico
CONTRADICCIN
Es cuando en el resultado todos los valores de verdad son falsos o &n esquema A es
una contradiccin si Gno AI ( A", es una contradiccin cuando todos los valores del
operador de ma6or jerarqu>a son falsos.
ndeterminacin$ es la sentencia que ni es verdadera ni falsa.
Ejemplo$ Dado el siguiente esquema molecular$
[( p q" r ] W r ( p q "], determinar si se trata de una contradiccin$
p q r [( p q " r ] W r ( p q "]
H H H J J H H J J H J
H
H
H
J
J
J
J
?
H
J
J
H
H
J
J
)
J
H
J
H
J
H
J
,
J
J
J
H
H
H
H
K
J
J
J
H
H
J
J
?F
H
J
J
H
H
J
J
-
H
H
H
J
H
H
H
??
H
J
H
J
H
J
H
O
J
J
J
H
J
J
J
?-
J
H
J
H
J
H
J
+
J
J
J
H
J
J
J
?K
%odemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si
es un es un esquema contingente.
O/SER-ACIN"
A la tautolog>a se la simboliza con la letra E
A la idea de tautolog>a se la relaciona con el conjunto universal
A la contradiccin se la simboliza con la letra 2
A la contradiccin se la relaciona con el conjunto vac>o.
!a negacin de una tautolog>a es una contradiccin
!a negacin de una contradiccin es una tautolog>a.
EJERCICIOS
2omprobar por medio de una tabla de verdad que las siguientes esquemas
compuestas son tautolog>as, contingentes o contradictorios
?. p p
). (p q" ( q p"
,. [( p q " ( q r "X ( p r"
K. Wp ( p q "] q
-. ( p q" ( q p"
INFERENCIA L.ICA
IMPLICACIONES L.ICAS
.e lo representa por el s>mbolo GI, no es un conectivo lgico, es un signo de relacin
.e dice que un esquema A implica a otro esquema N, cuando al unirlos por la
condicional nos da una tautolog>a. .imblicamente se lo representa as>$ A N.
.i la proposicin compuesta A implica a la proposicin compuesta N, entonces N se
deduce necesariamente de A, o tambi9n se dice que N se infiere lgicamente de A.
Ejemplo$ Demostrar que el esquema A implica a N
A$ p q
N$ p q
!uego unimos con la condicional 6 construimos la tabla$
p q p q
p q p q p q
H
H
J
J
H
J
H
J
H
J
J
J
H
H
H
H
H
H
H
J
2omo el resultado es una tautolog>a, se 5a demostrado que A implica a N.
'ota$ la relacin de implicacin no es rec>proca.
E3UI-ALENCIAS L.ICAS
.e lo representa por GI pero no es un operador lgico.
Decimos que dos proposiciones compuestas % 6 8 son equivalente, s> al unir las dos
con la bicondicional nos da una tautolog>a, es decir que % 6 8 tienen los mismos
valores de verdad en su operador principal. .imblicamente se escribe as>$
% 8 % 8 .e lee % es equivalente a 8 8 es equivalente a %.

.i no son equivalentes se los escribe as>$ % 8
.i % 6 8 son equivalentes, entonces 8 se deduce v;lidamente a partir %, 6 a la vez
tambi9n % se deduce necesariamente a partir de 8.
%ara demostrar que una proposicin compuesta es equivalente a otra, se lo puede
5acer por medio de las tablas de verdad o por medio de las le6es 6 reglas de inferencia
que veremos a continuacin.
A los esquemas moleculares compuestos se los representa con las letras ma63sculas
A, N, 2,.. etc. con %, 8, P, etc.
Eje%(lo!"
Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de
verdad$
A $ .i %edro aprob el curso preuniversitario, entonces ingres a la &'!.
.imblicamente$ p q
N$ 'o es el caso que$ %edro apruebe el curso preuniversitario 6 no ingrese a la &'!

.imblicamente $ ( p q "
!uego demostramos que$ p q ( p q "
.eguidamente para demostrar que estos dos esquemas son equivalentes, los unimos
con la bicondicional as>$ ( p q " ( p q " 6 construimos una tabla de
verdad$
p q ( p q " ( p q "
H
H
J
J
H
J
H
J
H
J
H
H
H
H
H
H
H
J
H
H
J
H
J
J
Dado que el resultado de la tabla es una tautolog>a, las proposiciones A 6 N son
equivalentes.
O&#o Eje%(lo"
%$ q p ; 8$ ( q p "
p q ( q p " ( q p "
H
H
J
J
H
J
H
J
J
H
H
H
?
H
H
H
H
J
H
H
H
,
H
J
J
J
)
Aqu> observamos que la columna ? 6 , de los operadores principales de las
proposiciones % 6 8 son iguales, por lo tanto son equivalentes.
Eambi9n las proposiciones % 6 8 son equivalentes porque al unirlas con la
bicondicional nos dio una tautolog>a.
Ejercicios$ Demostrar que los siguientes esquemas moleculares son equivalentes
a2 W p ( q r " X W ( p q " ( p r "]
62 [ p ( q r " X [ ( p q " ( p r "]
c2 ( p ( q r" (p q " r
d2 (p (q r" (p q" r
e2 ( p q " ( p q "
,2 ( p q " ( p q "
LEYES DEL 9L.E/RA PROPOSICIONAL
En lgica, las tautolog>as son conocidas con el nombre de le6es o principios lgicos. A
continuacin anotamos las principales le6es que vamos a utilizarlos en el futuro 6 que
usted de familiarizarse$
L :" Le=e! de Ide%(o&encia (a#a = (a#a
Si ( e! una (#o(o!ici+n !i%(le o co%(ue!&a, en&once!"
a. 1( (2 (
6. 1( (2 (
.eg3n estas le6es, las proporciones ( p p" o (p p" pueden sustituirse por p.
L > ;" Le=e! de Iden&idad (a#a = (a#a
Si ( e! una (#o(o!ici+n !i%(le o co%(ue!&a, en&once!"
a2 ( 1 - 2 1 - 2? e! deci#, cuando ,o#%a%o! la di!=unci+n de una
(#o(o#ci+n (, cu=o 'alo# de 'e#dad e! de!conocido, con o&#a
cu=o 'alo# de 'e#dad de 1 - 2, el #e!ul&ado e! 1 - 2, =a @ue la
di!=unci+n e! 1 - 2 cuando al %eno! una de la! (#o(o!icione!
dada! e! 'e#dade#a.
62 ( 1 F 2 (? e! deci#, el 'alo# de 'e#dad de la di!=unci+n de una
(#o(o!ici+n (, cu=o 'alo# de 'e#dad no conoce%o!, con o&#a cu=o
'alo# de 'e#dad e! 1 F 2, de(ende del 'alo# de (.
c2 ( 1 - 2 (? en e!&e ca!o el an<li!i! e! !i%ila# a la (a#&e 62,
&eniendo en cuen&a @ue a@u5 el conec&o# e!
d2 ( 1 F 2 1 F 2? el an<li!i! e! !i%ila# al de la (a#&e a2, &eniendo en
cuen&a a@u5 @ue el conec&o# e!
L A" Le=e! Con%u&a&i'a! = (a#a
Si ( = @ !on (#o(o!icione!, en&once!"
a2 1 ( @ 2 1 @ ( 2
62 1( @ 2 1@ (2, e! deci#, do! (#o(o#cione! conec&ada! con
(ueden e!c#i6i#!e en cual@uie# o#den.
L B" Le=e! A!ocia&i'a!
Si (, @, , !on (#o(o!icione! cuale!@uie#a, en&once!"
)2 1 ( 1 @ #2 1( @ 2 #
C2 1( 1@ #2 1( @2 #
L> D" Le=e! Di!&#i6u&i'a!"
Si (, @, # !on (#o(o!icione! cuale!@uie#a, en&once!.
i2 E ( 1 @ # 2 F E 1 ( @ 2 1 ( # 2]
j2 [ ( 1 @ # 2 F [ 1 ( @ 2 1 ( # 2]
Estas le6es son similares a las que conocemos en el ;lgebra para la suma 6 la
multiplicacin. Pecordemos que$
K( # ( 6 " * (K#" ( ( K6"
L > G" Le= de la Do6le Ne)aci+n"
Si ( e! una (#o(o!ici+n !i%(le cual@uie#a, en&once!"
1 ( 2 (

Al negar dos veces una proposicin obtenemos una afirmacin.
L > H" Le= del Te#ce# E$cluido"
Si ( e! una (#o(o!ici+n cuale!@uie#a, en&once!"
1 ( (2 1 - 2
Esta propiedad establece que independientemente del valor de verdad que tenga p, la
proposicin$ (p p" siempre es verdadera. %or tanto, en un esquema lgico
complejo podemos reemplazar (p p", (q q", (r r", (a b" (a b", etc.,
por (".
L > I" Le= de Con&#adicci+n"
Si ( e! una (#o(o!ici+n cuale!@uie#a, en&once!"
1 ( ( 2 1 F 2
Esquemas como (p p", (q q", (r r" pueden remplazarse por (J"
L > J" Le=e! de De Mo#)an"
Si (, @ !on (#o(o!icione! !i%(le! o co%(ue!&a!, en&once!"
K2 1 ( @ 2 1 ( @ 2
l2 1 ( @ 2 1 ( @ 2
Estas le6es nos indican cmo negar una dis6uncin 6 una conjuncin. !a parte$ a"
establece que para negar una conjuncin es necesario cambiar la conjuncin por
dis6uncin ( por " 6 negar las proposiciones dadas.
!a parte b" establece que para negar una dis6uncin debemos cambiar la dis6uncin
por la conjuncin (la por " 6 negar las proposiciones dadas.
Eje%(lo"
'egar la proposicin$ G+ es un n3mero primo 6 ,F es divisible por -I.
.olucin$
2ambiamos G6I por GoI 6 negamos las proposiciones simples que forman el enunciado,
as>$
G+ no es un n3mero primo o ,F no es divisible por -I.
L> :L" Le= de la condicional"
U!ando &a6la! de 'e#dad (ode%o! 'e#i,ica# @ue" ( @ e@ui'ale a ( @ .
La (#o(o!ici+n ( @ e! una a6#e'iaci+n de la (#o(o!ici+n ( @? e! deci#"
1 ( @ 2 1 ( @2
'4EA$ .on muc5os los esquemas lgicos que ofrecen alguna complejidad 6 pueden
simplificarse utilizando esta definicin alterna del condicional.
Eje%(lo :"
Escribamos sin condicional las proposiciones siguientes$
a. ( p q" r
b. p ( q "
c. p q
SOLUCIN"
a. [ (p q " r X ( p q " r
b. [ p ( q r " X p ( q r "
c. ( p q " ( p " q p ( q "
Eje%(lo ;"
Escribamos una proposicin equivalente a$
G.i Z es par entonces # es divisible por )I
SOLUCIN"
&sando la definicin alterna de la implicacin tenemos$
G# no es par o # no es divisible por )I
Eje%(lo A"
2omprobemos que ( p q" ( p q"
SOLUCIN"
Elaboramos la tabla de verdad$
p q p ( p q" ( p q"
H
H
J
J
H
J
H
J
J
J
H
H
H H H
J H J
H H H
H H H
(?" (," ()"
L :: Le= de la /icondicional
p q ( p q " ( q p "
L :; Conjunci+n Ne)a&i'a.

p q p q
L:A Di!=unci+n E$clu!i'a.
p q ( p q " ( p q "
Ejercicios$ Demuestre las le6es mediante el uso de las tablas de verdad.
APLICACIONES DE LAS LEYES DEL AL.E/RA PROPOSICIONAL
!as le6es nos pueden servir para demostrar que un esquema es equivalente a otro,
tambi9n podemos utilizar en la simplificacin de proposiciones etc.
Eje%(lo :"
%robemos que ( p q " [ p q "X
SOLUCIN"
?. ( % 8 " [( p " q ] Definicin alterna de implicacin
). ( p" ( q " !e6 de De <organ para
,. p ( q" !e6 de la Doble 'egacin
!uego$ ( p q " [ p (q"]
Eje%(lo ;"
%robemos que la proposicin ( p q" p es una tautolog>a.
SOLUCIN"
?. [ ( p q " p X ( p q " p Definicin alterna de
). ( p q" p !e6 de De <organ para
,. ( p p " ( q" !e6 Asociativa de la
K. ( H " ( q " !e6 del Eercer e#cluido
-. ( H " !e6 d9ntica de la
%or lo tanto, al ser [( p q " p] ( H ", concluimos que es una tautolog>a.
Ejemplos$
?. %robemos que la proposicin W ( p q" ( q"X ( p" es una tautolog>a.
). %robemos que la siguiente proposicin es una contradiccin$
W ( p q " ( p q " X W ( p q " ] ( p q "
Elaborar la tabla de verdad de las siguientes proposiciones 6 decir en cada caso si se
trata de una tautolog>a, una contradiccin o una determinacin.
a" ( p q" ( p q "
b" ( p q" ( p q"
c" p ( q r "
d" p ( p q"
e" ( p q " ( p q"
f" ( p q " p
g" ( q r " ( q r"
5" ( r r " r
!os siguientes ejercicios deben resolverse aplicando las !e6es del [lgebra
proposicional 6 no por tablas de verdad.-
%robar que las proposiciones siguientes son tautolog>as$
a) W q ( p q " X ( p "
b) W ( p q " q X ( p "
c) W ( p ( q r " X W ( p q " r X
d) W p ( p q " X q
e) p ( p q "
.implificar las siguientes proposicin utilizando le6es$
a" ( p q " ( p q "
b" p ( p q "
c" m ( m n "
d" W t ( m t " ]
e" [ ( p q " ( p q " X
INFERENCIA L.ICA"
!a inferencia es el paso de un conjunto de premisas a la conclusin.
.imblicamente se lo representa as>$
%
?
%
)
%
,
.
.
.
%
n
\\\\\\
2
Al unir cada una de las premisas por el operador conjuntivo 6 estas a la vez con la
conclusin por medio del condicional, se obtiene la siguiente frmula inferencial$

%
?
%
)
%
,
LL %
n
2
2omo las premisas 6 la conclusin est;n constituidas por proposiciones, podemos decir
que la inferencia es una estructura de proposiciones, donde a partir de una o m;s
proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin$
Ejemplos$
?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i Hicente
viaja al norte del pa>s entonces no se quedar; en la capital.
). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el
concurso de poes>a. !uego Quan obtendr; una beca.
!a conclusin se puede distinguir de sus premisas porque generalmente van
precedidas por alguno de los t9rminos como Gpor lo tantoI, GluegoI, en consecuenciaI,
Gde a5> queI, etc. 6 las premisas podemos distinguirlas casi siempre por los signos de
puntuacin como el punto seguido o por el sentido que tiene el enunciado.
-ALIDEM Y -ERDAD
!a validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del
an;lisis del contenido del pensamiento. En todo razonamiento o inferencia 5a6 que
distinguir su validez de su verdad.

El razonamiento o la inferencia son v;lidos cuando la conjuncin de premisas implica a
la conclusin; 6, si esto no sucede, la inferencia es inv;lida.
!a validez o invalidez de una inferencia depende 3nicamente de su forma lgica, 6 la
forma lgica depende de la funcin que desempe=an las conectivas en la estructura del
enunciado inferencial.
.i una inferencia v;lida tiene su premisa o conjunto de premisas verdaderas, entonces
se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas
o conjunto de premisas no son verdaderas, as> la inferencia sea v;lida, lgicamente no
se puede saber la verdad o falsedad de la conclusin. Entonces, el 3nico caso que se
puede saber la verdad de la conclusin es cuando la inferencia es v;lida 6 tiene
premisas verdaderas.
MNTODOS PARA DETERMINAR LA -ALIDEM DE UNA INFERENCIA L.ICA
Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la
inferencia es v;lida o no, para esto conocemos dos m9todos$
:. POR LA TA/LA DE -ALORES

.e sugiere seguir los siguientes pasos$
a. .imbolizar las premisas 6 la conclusin$
b. 4btener la formula inferencial
c. Aplicar la tabla de valores. .i el resultado es tautolgico, la conjuncin de premisas
implica a la conclusin, 6 por tanto la inferencia es v;lida, pero si el resultado no es
tautolgico, la inferencia no es v;lida.
Ejemplos$
?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i
Hicente viaja al norte del pa>s entonces no se quedar; en la capital.
a. .imbolizamos$
p q
\\\\\\\\\\\\\
p q
b. 4btenemos la formula inferencial$
( p q " ( p q "
c. Elaboramos la tabla de valores$

p q ( p q " ( p q "
H
H
J
J
H
J
H
J
H J J
H H H
H H H
J H H
El esquema no es tautolgico, luego la premisa no implica a la conclusin 6 la
inferencia no es v;lida,
). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el
concurso de poes>a. !uego Quan obtendr; una beca.
a. .imbolizando tenemos$
p q
p
\\\\\\\\\\
q
b. 4btenemos la formula inferencial$

W( p q " p X q

c. Elaboramos la tabla de valores$

p q W( p q " p X q
H
H
J
J
H
J
H
J
H H H
J J H
H J H
H J H
El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin 6 la
inferencia es v;lida.
;. POR EL MNTODO A/RE-IADO
Es un procedimiento que evita estar constru6endo la tabla de valores de verdad para
determinar la validez de la inferencia.
Este m9todo consiste en suponer la conjuncin de premisas verdaderas 6 la conclusin
falsa, 3nica posibilidad que invalidad la implicacin.
%
?
%
)
%
,
LL %
n
2
H H H H J
Ejemplo$
?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i Hicente
viaja al norte del pa>s entonces no se quedar; en la capital.
a. .imbolizamos$
p q
\\\\\\\\\\\\\
p q
b. 4btenemos la formula inferencial$
( p q " ( p q "
c. .uponemos valores, a las premisas verdaderas 6 la conclusin falsa
( p q " ( p q "
H J
2omo cada una de las variables (p, q", cumplen una sola funcin veritativa, decidimos
que la inferencia no es v;lida. Esto es, se 5a demostrado que la premisa es verdadera
6 la conclusin es falsa.
). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el
concurso de poes>a. !uego Quan obtendr; una beca.

a. .imbolizando tenemos$
p q
p
\\\\\\\\\\
q
b. 4btenemos la formula inferencial$
W(p q" pX q
c. .uponemos valores, a las premisas verdaderas 6 la conclusin falsa$
W(p q" pX q

H H J
d. 2omprobamos$
W( p q " p X q

J J
H H J
2omo la variable p tiene dos valores$ verdadero 6 falso a la vez. %or lo tanto, 5a6
implicacin 6 la inferencia es v;lida.
Re)la! de in,e#encia"
%ara inferir un razonamiento a partir de otros se requiere de un proceso en el que se
aplican propiedades o le6es fijadas de antemano 6 que no 5a6an sido obtenidas de
casos particulares o para casos particulares.
Estas le6es dan la certeza de que solo es posible obtener conclusiones ciertas de
premisas ciertas.
:. MODUS PONENDO PONENS 1 RE.LA DE SEPARACIN2" .u abreviatura
es %%.

.imblicamente tenemos$
p q (?"
p (?"
\\\\\\\
q (?"

.u frmula inferencial es$
W ( p q " p ] q
.i una proposicin condicional es verdadera 6 si verdadero el antecedente, entonces
necesariamente ser; verdadero el consecuente.
Ejemplo$
%remisa ?$ .i 9l est; en el partido de f3tbol, entonces 9l est; en el estadio.
%remisa )$ El est; en el partido de f3tbol
2onclusin$ El est; en el estadio.
.e simboliza de la siguiente manera el ejercicio anterior
p q (?"
p (?"
\\\\\\\
q (?"

Eje#cicio!"
A. 78u9 conclusin se puede sacar de cada uno de los siguientes conjuntos de
premisas:
Es decir 7qu9 proposicin lgica se sigue de las premisas:
1) .i usted est; en <adrid, entonces su reloj se=ala la misa 5ora que en Narcelona.
&sted est; en <adrid.
2) .i no nos despedimos a5ora, entonces no cumpliremos nuestro plan. 'o nos
despedimos a5ora.
3) .i vivo en la capital del Ecuador, entonces no vivo en ninguno de las )?
provincias del Ecuador. Hivo en la capital del Ecuador.
N. &tilizando <odus %onendo %onens sacar una conclusin de cada uno de los
conjuntos de premisas siguientes. Escribir la conclusin en la l>nea (,"
?" p q r
)" p q
,"
?" p r
)" p
,"
?" r
)" r q p
2. %oner una 2 junto a cada ejemplo en el que la conclusin es correcta seg3n el
<odus %oniendo %onens. %oner una junto a cada conclusin incorrecta.
?. %remisas$ s 6 s t$ conclusin$ t
). %remisas$ t v 6 t$ conclusin v
,. %remisas$ p q 6 q$ conclusin r
K. %remisas$ s 6 r s
-. %remisas$ r 6 r s
;. DO/LE NE.ACIN. !a regla de doble negacin es una regla simple que permite
pasar de una premisa 3nica a la conclusin.
.imblicamente tenemos$
p (?" p (?"
\\\\\\\\ \\\\\\\
p (?" p (?"

Ejemplo$
'o ocurre que <ar>a no es estudiante
.imbolizando el ejemplo anterior tenemos$
p (?"
\\\\\\\\
p (?"
!a conclusin es que <ar>a es estudiante.
Eje#cicio!"
A. 8u9 conclusin podemos sacar de cada una de las proposiciones siguientes por la
doble negacin$
?. Eodos los mam>feros son animales de sangre caliente
). El granito es un tipo de mineral >gneo
,. 'o ocurre que un quinto no es el veinte por cierto
N. Demostrar que las conclusiones son consecuencia de las premisas dadas$
?. Demostrar$ t ). Demostrar$ b
(?" s t (?" a
()" s ()" a b
(," (,"
(K" (K"
A. MODUS TOLLENDO TOLLENS. .u abreviatura es EE.
.imblicamente tenemos$
(?"
(?"
p (?"
.u frmula es$
W ( p q " q X p
.i una proposicin condicional es verdadera 6 si es verdadera la negacin del
consecuente, entonces necesariamente ser; verdadera la negacin del antecedente.
Ejemplo$
%remisa ?$ .i tiene luz propia, entonces el astro es una estrella
%remisa )$ El astro no es una estrella.
2onclusin$ %or tanto no tiene luz propia
.e simboliza de la siguiente manera el ejercicio anterior
%
%
p EE ?, )
Ejercicios$
A. 78u9 conclusin se puede deducir de cada uno de los conjuntos de premisas
siguientes utilizando EE: Escribir las conclusiones es castellano.
?" .i la luz fuera simplemente un movimiento ondulatorio continuo, entonces
la luz m;s brillante dar; lugar siempre a una emisin de electrones con ma6or
energ>a que los originados por luz m;s tenue. !a luz m;s brillante no siempre emite
electrones con ma6or energ>a que los originados.
)" .i un ;ngulo de un tri;ngulo es ma6or de BF grados, entonces la suma de
los otros dos ;ngulos es menor de BF grados. !a sima de los otros dos ;ngulos no
es menor de BF grados.
p q
q
p q
q
," .i el arriendo se mantiene v;lido, entonces el due=o es responsable de las
reparaciones. El due=o no es responsable de las reptaciones.
N. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes,
aplicando la regla del <odus Eollendo Eollens.
?. (?" q r ). (?" q r ,. (?" ( p q" r
()" r ()" r ()" r
(," (," (,"
2. Demostrar que las conclusiones son consecuencia de las premisas dadas. ndicar
la demostracin completa.
Demostrar$ c Demostrar$ r s Demostrar$
(?" b (?" p q (?" f
()" a b ()" q ()" e f
(," a c (," p r s
B. MODUS TOLLENDO PONENS. .u abreviatura es$ <E%

.imblicamente tenemos$
(?"
(?"
q (?"

(?"
(?"
p (?"
.us frmulas son$
[ (p q " p ] q
[ (p q " q ] p
.i una proposicin dis6untiva es verdadera 6 si es verdadera la negacin de una de sus
componentes, entonces necesariamente ser; verdadera la otra componente de la
dis6uncin.
Ejemplo$
.upngase que se tiene como premisa$
4 esta sustancia contiene 5idrgeno o contiene o#>geno
!a segunda premisa dice$
Esta sustancia no contiene o#>geno
%or medio del <odus Eollendo %onens se puede concluir$
Esta sustancia contiene o#>geno
%ara aclarar la forma de esta inferencia, se puede simbolizar el ejemplo$
p$ Esta sustancia contiene 5idrgeno
p q
p
p q
q
q$ Esta sustancia contiene o#>geno
!a demostracin de la conclusin es$


q E% ?, )
Eje#cicio!"
A. 78u9 conclusin, en forma de proposicin escrita en
castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes
utilizando la regla E%:
?. Este 5ombre o es un abogado o es un pol>tico. 'o es un abogado.
2. Quan o 5a terminado el libro o no 5a ido a devolverlo 5o6 a la biblioteca.
3. Quan no 5a terminado el libro.
N. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas
usando el <odus Eollendo %onens.
(?" q r % (?" t ( p q" % (?" (s t" r %
()" r % ()" t % ()" (s t" %
2. Demostrar que las conclusiones son consecuencia de las premisas dadas en los
Ejercicios que siguen. Dar una demostracin completa.
?" Demostrar$ p )" Demostrar a b ," Demostrar$ p
(?" p q % (?" a b % (?" t p q %
()" t % ()" a e % ()" t %
(," q t % (," e % (," q %
D. TAUTOLO.0A SIMPLIFICATI-A
.imblicamente tenemos$
p q
p
p q
q
.u frmula es$
(p q" p
(p q" q
.i una conjuncin de proposiciones es verdadera entonces necesariamente ser;
verdadera cada una de sus componentes.
Ejemplo$
Apruebo los talleres 6 apruebo el mdulo )
p q %
p %
%remisa ?$ apruebo los talleres
%remisa )$ apruebo el mdulo )
2onclusin$ ?" apruebo los talleres
2onclusin$ )" apruebo el mdulo )
G. TAUTOLO.0A ADJUNCIN
.imblicamente tenemos$
p
q
p q
.u frmula es$
[ ( p " ( q " ] ( p q"
.i dos proporciones cualesquiera son verdaderas, entonces necesariamente ser;
verdadera la conjuncin que con dic5as proposiciones se forme.
Ejemplo$
.al> bien en el e#amen 6 tengo ?F
p$ sal> bien en el e#amen
q$ tengo ?F
( p q " $ sal> bien en el e#amen 6 tengo ?F
H. TAUTOLO.0A ADICIN

.imblicamente tenemos$
p
p q

.u frmula es$
p [ p qX
.i una proposicin cualesquiera es verdadera, entonces necesariamente ser;
verdadera la dis6uncin que se forme con dic5a proposicin 6 cualquier otra.
Ejemplo$
Estudio con responsabilidad o pierdo el mdulo
p$ estudio con responsabilidad
q$ pierdo el mdulo
p q$ estudio con responsabilidad o pierdo el mdulo.
I. SILO.ISMO OIPOTNTICO 1LEY TRANSITI-A". .u abreviatura es C.
.imblicamente tenemos$
p q
q r
p r
.u frmula es$
[( p q " ( r s " ( p r "] (q s"
.i una proposicin condicional es verdadera 6 si es verdadera otra condicional que
tenga como antecedente el consecuente de la primera, entonces necesariamente ser;
verdadera otra condicional que tenga por antecedente el de la primea 6 por
consecuente el consecuente de la segunda.
Ejemplo$
(?" .i 5ace calor, entonces Quana va a nadar
()" .i Quana va a nadar, entonces arregla la casa despu9s de comer.
.e puede concluir$
(," .i 5ace calor, entonces arregla la casa despu9s de comer.
Ejercicios$
En los ejemplos siguientes de la le6 del silogismo 5ipot9tico obs9rvese que algunos de
los antecedentes 6 consecuentes son proposiciones moleculares. !a forma, sin
embargo es la misma.
a. (?" p q %
()" q r %
(," p r C. ?,)

b. (?" (p q" r %
()" r (q t " %
(," (p q" ( q t " C. ?,)
A. 78u9 conclusiones se puede sacar, si se puede sacar alguna, por la le6 de
silogismo 5ipot9tico de los conjuntos de proposiciones siguientes:
?. .i el agua se 5iela, entonces sus mol9culas forman cristales. .i las mol9culas
forman cristales, entonces el agua aumenta de volumen.
). .i un 5az fino de fotones penetran en un gas en una c;mara de niebla, entonces los
fotones e#pulsan electrones de lo s ;tomos del gas. .i los fotones e#pulsan
electrones de ;tomos de gas, entonces la energ>a de la luz se convierte en energ>a
cin9tica de los electrones.

N. Eraducir los razonamientos del ejercicio A en s>mbolos lgicos 6 demostrar que su
conclusin es consecuencia lgica de las premisas.
2. &tilizar la le6 del silogismo 5ipot9tico 6 obtener una conclusin del siguiente
conjunto de premisas.
?. (?" q p ). (?" s t r q
()" p r ()" r q p
D. ndicar una deduccin formal de las siguientes conclusiones a partir de las premisas
dadas.
?. Demostrar$ t ). Demostrar$ q
(?" ( q r" p (?" r s
()" r t ()" s p q
(," ( q r " t (," r t
(K" t
J. SILO.ISMO DISYUNTI-O 1LEY DEL DILEMA2. .u abreviatura es D.
.imblicamente tenemos$
p q
r s
p r
q s
.u frmula es$
[(p q" (r s " (p q"] (q s"
.i dos proposiciones condicionales son verdaderas 6 si es verdadera la dis6uncin que
se forme con los antecedentes de dic5as condicionales, entonces necesariamente
ser; verdadera la dis6uncin que se forme con los consecuentes.
Ejemplo$
4 llueve o el campo est; seco
.i llueve, entonces jugaremos dentro.
.i el campo est; seco, entonces jugaremos al baloncesto
78u9 conclusin se puede sacar de estas proposiciones: !a conclusin es que o
jugaremos dentro o jugaremos el baloncesto. !a conclusin es otra dis6uncin.
.imbolizamos$
r$ llueve
d$ el campo est; seco
p$ jugaremos dentro
b$ jugaremos al baloncesto
Esto se simboliza as>$
(?" r d %
()" r p %
(," d b %
(K" p b D .?, ), 6 ,
Ejercicios$
A. 78u9 conclusin se puede sacar de cada uno de los siguientes conjuntos de
premisas, por la le6 del silogismo dis6untivo: Dar como conclusin una proposicin
en lenguaje corriente.
K" 4 Quan tiene ma6or>a o %edro tiene ma6or>a. .i Quan tiene ma6or>a. %edro
ser; el tesorero. .i %edro tiene ma6or>a, entonces Quan ser; el tesorero.
-" 4 la planta es un aplanta verde o es una planta no verde. .i es una planta
verde, entonces fabrica su propio elemento. .i es una planta no verde,
entonces depende de las materias de otras plantas para su alimento.
N. .imbolizar los razonamientos de los ejemplos anteriores 6 demostrar que las
conclusiones son consecuencia lgica de las premisas.
2. &tilizar la le6 del silogismo dis6untivo (D." para obtener una conclusin de cada uno
de los siguientes conjuntos de premisas.
?. (?" p q ). (?" t s
()" q r ()" s p
(," p s (," t q
D. Dar una deduccin completamente formal de las siguientes conclusiones a partir de
las premisas dadas.
?. Demostrar$ r (p q " ). Demostrar$ q s
(?" p q (?" s r
()" q r ()" r t
(," p t (," q t
(K" t
:L. CONMUTATI-A
.imblicamente tenemos$

p q p q
PPPPPPP PPPPPP
q p q p
.u frmula es$
(p q " (q p" (p q" ( q p"
Ejemplo$
%edro trabaja 6 estudia p q
%or lo tanto$
%edro estudia 6 trabaja q p
::. SIMPLIFICACION DISYUNTI-A"
.imblicamente tenemos$
p p
PPPPPPPP
p

.u frmula es$
(p p" p
Ejemplo$
%edro trabaja o %edro trabaja p p
.e conclu6e$ que %edro trabaja.
:;. LAS LEYES DE DE MOR.AN"
.imblicamente tenemos$

a" (p q" b" p q
PPPPPPPP PPPPPPPP
p q (p q"
Ejemplos$
a" 'o ocurre a la vez que$ 5ace calor o que 5ace fr>o (p q"
.e puede tambi9n e#presar$
'o 5ace calor 6 no 5ace fr>o p q
b" 'o llueve 6 no 5ace sol p q
.e puede tambi9n e#presar$
'o ocurre que$ llueve o 5aga sol (p q"
Ejercicios$
A. 78ue se puede concluir de las premisas siguientes utilizando las le6es de De
<organ:
?. 4 los ar;cnidos no son insectos o no tienen oc5o patas
). 'o ocurre que o el aire es un buen conductor del calor o el agua es un buen
conductor del calor.
,. 'o ocurre que los murci9lagos son p;jaros o que las focas son peces
N. Aplicar las le6es de De <organ para deducir conclusiones$
?. ( p q"
). r t
,. ( r s"
K. g 5
2. ndicar una demostracin formal completa para cada uno de los razonamientos
simbolizados siguientes$

?. Demostrar$ s ). Demostrar$ r q
(?" (p q" (?" s ( p t"
()" q t ()" t (q r"
(," p t (," s
(K" s t

D. Dar una demostracin formal completa para cada uno de
los razonamientos siguientes$
?. Demostrar$ # * ?
(?" (z < ," ( # > 6" 6 * )
()" # < 6 # * ?
(," # > z # > 6
(K" # > z # < 6
:A. RE.LA DE LA /ICONDICIONAL. .u abreviatura es !N
.imblicamente tenemos$
p q p q
\\\\\\\\\\\\\\\\\\\ q p
(p q " (q p" \\\\\\\\\\\\
p q
Eje#cicio!"
A. .imbolizar las siguientes proposiciones 6 dar una deduccin formal$

?. Esta le6 ser; aprobada en esta sesin si 6 solo si es apo6ada por la ma6or>a. 4
es apo6ada por la ma6or>a o el gobernador se opone a ella. .i el gobernador se
opone a ella, entonces ser; pospuesta en las deliberaciones del comit9. %or
tanto o esta le6 ser; aprobada en esta sesin o ser; pospuesta en la
deliberacin del comit9.
). , # - * ?) - (- (- * ?)
K # K ?,
- (- (- * ?) K # K * ?,
%or lo tanto$ , # - ?)
N. Dar una demostracin formal completa de cada uno de los razonamientos
siguientes$
?. Demostrar$ ) # - * - ( - ) # K * K ( K
(?" ) # K * K ( K ) # - * - ( -
). Demostrar$ # * K ,# ( ) * ?K
(?" ,# ( ) * ?K ,# * ?)
()" ,# * ?) # * K
:B. CONJUNCIN NE.ATI-A
.imblicamente$
p q
PPPPPPPPP
p q
.u frmula es$
1p q" ( p q"
Ejemplo$
'i !uis estudia ni Quan trabaja p q
.e conclu6e que$
!uis no estudia 6 Quan no trabaja. p q
:D. DISYUNCIN E4CLUSI-A

.imblicamente$

p v q
\\\\\\\\\\\\\
(p q " ( p q"
Ejemplo$
n9s es 5ija de %edro o 5ija de !uis p v q

.e conclu6e$
n9s es 5ija de %edro o n9s es 5ija de !uis 6 no es cierto que$ n9s es 5ija de %edro 6
de !uis
PROCESOS DE DEDUCCIN
De un conjunto de premisas dadas, que se puede deducir$
?. Determinar el valor de verdad de las premisas. .i alguna de ellas es falsa no es
posible inferir nada de ellas.
Ejemplo$ que se puede deducir de$

) ( , * - , * ,
K ( ) * + B ( ) * ??
K ( ) * + ) * )

Determinamos el valor de verdad
) ( , * - , * , H
K ( ) * + B ( ) * ??H
K ( ) * + ) * ) J

De este conjunto de premisas no se puede concluir nada.
). Determinar si las premisas son inconsistentes o no.

a. .i las premisas no son consistentes (inconsistentes" no se puede inferir nada de
ellas.
b. .i las premisas son consistentes es posible deducir una conclusin utilizando las
reglas de inferencia.
Ejemplo$ que se deduce de$
.i , ( ) * -, O T K * )
.i O T K * ), O * , ( ,
?. Determinamos el valor de verdad de las premisas$
, ( ) * - O T K * ) H
O T K * ) O * , ( , H
). Determinamos la conclusin$

, ( ) * - O * , ( ,
Ejemplo$
2onsiderando que las premisas son verdaderas, que se puede deducir de$
p q
r p
q r
p q %
?
r p %
)
q r %
,
r 2
?
de %
)
(Pegla de la simplificacin"
q 2
)
de %
,
6 2
?
(< E.E"
p 2
,
de %
?
6 2
)
(<. E.E"
p 2
K
de %
)
(Pegla de la simplificacin"
p p 2
-
de 2
,
6 2
K
(Pegla de adjuncin"
!as premisas son inconsistentes, en consecuencia nada se puede deducir de ellas
Ejercicios$
8ue se puede deducir de$
?. K ( , * + ) * ) ,. q v r
, ( ) * O K ( , * + q p
, ( ) O ) ) r ( s t"
). p q K. p q
p q [ s (r p" ]
s q
MNTODOS DE DEMOSTRACIN
!os m9todos de demostracin pueden ser$ directo, condicional e indirecto. !a
demostracin de una proposicin tiene por objeto establecer que es verdad, infiri9ndola
de verdades conocidas o 6a demostradas.
MNTODO DIRECTO"
2onsiste en inferir una conclusin, partiendo 3nicamente de un conjunto de premisas.
Ejemplo$
Demostrar$ s; de
p q p q %
?
p s p s %
)

q s q s %
,

s 2
?
; de %
?
, %
)
6 %
,
(Pegla del .ilogismo Dis6."
s 2; de 2
?
(.implificacin Dis6untiva"
RE.LA DE DEMOSTRACIN CONDICIONAL" 1R.D.C2
.i de un conjunto de premisas 6 de p se deduce q, entonces de tal conjunto de
premisas se deduce p q.
!a premisa p, puede ser introducida en cualquier momento del proceso deductivo .
Ejemplo$
Demuestre$ q s; de$
p q
p s
'o e#iste regla alguna que nos permita inferir la conclusin pedida, sin embargo por la
regla de la demostracin condicional si podemos concluir as>$
p q %
?
p s %
)
q %
p 2
?;
%
?
6 % (<odus E.%."
s 2
)
; %
)
6 2
?
(<odus %. %"
q s 2, (P.D.2"
DEMOSTRACIN INDIRECTA"
Esta demostracin se la denomina tambi9n demostracin por contradiccin o
reduccin al absurdo. .eg3n el <odus Eollens, se puede deducir la negacin del
antecedente de una condicional cuando se sabe que el consecuente es falso. .i el
consecuente es una contradiccin se sabe que es lgicamente falso. As> de p ( q
q", se puede deducir p. (!e6 del Absurdo"
Ejemplo$
Demuestre$ s, de$
q s %
?
p q %
)
p r %
,
s r %
K
r s 2
?
; %
),
%
?
6 %
,
(.ilogismo dis6untivo"
s %
r 2
)
; 2
?
6 % (Doble 'eg. ] <.E.%"
r 2
,
; %
K
, 6 % (<.%.%"
r r 2
K
; de 2
)
6 2
,
(Pegla de Adjuncin"
s ( r r" 2
-
; de % 6 2
K
(Pegla de contradiccin."
s 2; de 2
-
!e6 del absurdo
RE.LA DE LA DEMOSTRACIN CONTRA RECIPROCA 1R. C. R2
.i de un conjunto de premisas, se infiere q p, de dic5o conjunto se infiere
tambi9n$ p q. (que es la contra rec>proca"
Ejemplo$
Demostrar$ q (p r" de$
p q
r q
Demostraremos$ (p r " q de$
p q %
?
r q %
)
p r %
p 2
?
, de % (.implificativa"
r 2
)
, de % (.implificativa"
q 2
,
, de 2
?
6 %
?
(<.%.%"
(p r" q 2
K
, de % 6 2
,
(P.D. 2"
q (p " 2. de 2
K
(P. 2. P"
Earea$ Pesolver ejercicios, aplicando los m9todos 6 reglas antes indicadas.
CIRCUITOS L.ICOS
El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un
circuito el9ctrico controlado por un interruptor.
En efecto, para representar un interruptor mediante una proposicin p, se tiene$
p p
2ircuito cerrado 2ircuito abierto
Es decir, el interruptor est; cerrado (pasa corriente" si H(p" * H, 6 est; abierto (no pasa
corriente" si H(p" * J. De aqu> establecemos una identificacin entre las proposiciones 6
los interruptores de un circuito el9ctrico. !as operaciones proposicionales (conjuncin,
dis6uncin, etc." pueden representarse mediante circuitos con tantos interruptores
como proposiciones componentes. 2onsiderando las clases de instalaciones$ en serie 6
en paralelo, es factible dise=ar esquemas de circuitos el9ctricos para representar a
proposiciones compuestas o viceversa.
CIRCUITOS EN SERIE"
2onsideremos dos interruptores p 6 q conectados en serie$
p q
.e observa que este circuito admite poso de corriente cuando los dos (interruptores p 6
q est;n cerrados, en cualquier otro caso no 5a6 paso de corriente. De aqu> tenemos el
comportamiento de la conjuncin de las proposiciones p q. %or tanto$
a" p q$ representa un circuito cerrado en serie, que deja posar corriente solo si los
interruptores p 6 q est;n cerrados a la vez. Diremos que solo en este estado p q
es verdadera.
b" ^ p ^ q$ representa un circuito abierto en serie que deja pasar corriente. Diremos
entonces que en este estado ^ p ^ q es falsa.
p q p q
p q p q
Ci#cui&o! en (a#alelo"
2onsideremos a5ora dos interruptores instalados en paralelo$

p
q
.e observa en el circuito que 5a6 paso de corriente cuando uno de los interruptores o
ambos est;n cerrados; no 5a6 paso de corriente cuando los dos interruptores est;n
abiertos. Eenemos, entonces, el comportamiento de la dis6uncin de las proposiciones
p 6 q. !a falsedad de p q, es decir, el 5ec5o de que no pase corriente, solo se verifica
en el caso de la falsedad simult;nea de p q; %or tanto$
a" p q$ representa un circuito cerrado en paralelo que deja pasar corriente si por lo
menos uno de los interruptores el9ctricos est; cerrado. Diremos que solo en este
estado p q es verdadero
b" ^ p ^ q$ representa un circuito abierto en paralelo que no deja pasar corriente,
polo que en este estado ^ p ^ q es falsa.
p ^ p
q ^ q
p q p q

!as representaciones anteriores nos permiten dise=ar o simbolizar redes de circuitos
el9ctricos conectados en serie 6 en paralelo, o tambi9n simplificar circuitos mu6
complicados 5aciendo uso de las 6a conocidas equivalencias notables.
Ejemplo$
Disertar circuitos lgicos de las siguientes proposiciones$
a" (p q" r b" p q c" p q
.olucin$
a" Hemos que (p q" r es la conjuncin de p q 6 r, que deben estar conectados
en serie$
p q r
%ero, p q se representa por$ (?"
p
q

!uego sustitu6endo en (?", tendremos la representacin pedida, esto es$
p r
q

b" .eg3n la condicional$ p q ^ p q
!uego, la representacin de p q, es la dis6uncin (cone#in en paralelo" de ^ p q.
Esto es$
p


q
c" De la equivalencia$ p q (p q" (q p"
(^ p q " (^ q p"
Entonces, la representacin de p q es conjuncin (cone#in en serie" de (^ p v q " 6
(^ q p", esto es$

^ p q ^ q p

%ero ^p q 6 ^ q p, se representan, respectivamente, por$
()"
^ p ^ q

q p
.ustitu6endo en ()" se tiene$
(,"
p q
q p

%ero, seg3n la equivalencia$ p q ( p q " (^ p ^ q"
Pepresentando la dis6uncin de p q 6 ^ p ^ q, tendremos$
pq p q
^ p q ^ p ^q
!os circuitos (," 6 (K" son representaciones de p q; se dice entonces que (," 6 (K"
son circuitos equivalentes.
Ejercicios$
?. Describir simblicamente el circuito$
r
p
^ q

q ^ r
). . Determinar el circuito equivalente al circuito$
^ p ^ q p
p q
q
q ^ p


p
q
q
q
p
,. 2onstruir el circuito lgico equivalente del esquema$
( ) [ ] ( ) [ ] p q p p q p
^ p
q
K. 7!a proposicin p _ q (Dis6uncin e#clusiva" a cu;les de los siguientes circuitos es
equivalente:
p q p p p q
(?" ()"
q p q

q p p q
(," (K"
p q q p
-. 8u9 representa el circuito equivalente a$

p ^ p

q ^ q
p q
^ p ^ q
O. Callar la menor e#presin que representa el circuito$
p r ^ q
q q
^ r
^ r q

r ^ q

+. .ea A el circuito lgico m;s simple correspondiente a la proposicin$
( ) ( ) [ ] ( ) ( ) [ ] s p s p r p q p
6 N el circuito lgico m;s simple equivalente a$
q ^ p ^ q
^ p q q
2onstruir el circuito lgico correspondiente a$ A N

p
r p
q
q
q
t
p
q
r r
q p
p
B A
@. Callar la proposicin # de manera que sea una tautolog>a el circuito simplificado
siguiente$
^ p ^ q p
p q q p q


p q
p
q
r
^ p ^ r
B. 2onstruir el circuito lgico m;s simple equivalente a$
p q
p p

?F. 7.i el costo de cada llave de nstalacin del circuito E de la figura adjunta
es `?F, cu;nto se a5orrar>a si se reemplaza 9ste por un circuito lgico m;s simple
equivalente:
Continuar.
r s t
r s t
p
q