Comprender los diversos conceptos y aplicar los procesos, para la solucin de problemas con proposiciones,

relacionados con el entorno natural y social del estudiante y, con el desarrollo y prctica de valores humanos.
Las proposiciones son estructuras lingsticas cuyo valor de verdad es, o
verdadero o falso. A cada proposicin se le hace corresponder un valor de
verdad, o falso F o verdadero . !s por esta ra"n #ue tambi$n se habla de
una lgica bivalente. La asignacin de los valores de verdad F o de una
proposicin, no es tan sencillo de determinar. Aun#ue en el principio de la
bivalencia se e%presa claramente #ue una proposicin es falsa o verdadera,
no se puede decir inmediatamente si cada proposicin es falsa o verdadera.
&enominaremos proposicin a una frase narrativa #ue puede calificarse
como verdadera o falsa, pero no ambas al mismo tiempo.
Los valores verdadero y falso mencionados en la definicin se denominan
valores de certe"a o valores de verdad.
Las siguientes frases son proposiciones'
( La tierra es plana
( )*+ es un n,mero primo
( Los n,meros irracionales son comple-os
( Los n,meros comple-os son un subcon-unto de los reales
( La !./! es un instituto de educacin superior.
( 0o es verdadero #ue 1 sea un entero par o + un primo.
( 2
n
3 n
2
para alguna n 0.
( 2
45167
8 7 es un n,mero primo.
( .i un rbol tiene n v$rtices, entonces tiene e%actamente n ( 7 aristas.
( 2
n
8 n es un n,mero primo para una infinidad de n.
( 9odo entero par mayor #ue * es la suma de dos n,meros primos.
( Las matemticas son divertidas.
( Los rboles son ms interesantes #ue las matrices.
Las siguientes frases no son proposiciones'
( :/or#u$ es importante la lgica proposicional;
( 121+45 e%t 26)
( :/or#u$ es importante la induccin;
( x < y 3 y < x.
Con la negacin de una proposicin #ueremos e%presar la idea de #ue esto
no se refiere a la circunstancia #ue a ella corresponde. Cuando negamos
una proposicin /, entonces obtenemos otra proposicin /, es decir, la
negacin de /. A trav$s de esta operacin obtenemos una proposicin cuyo
valor de verdad es contrario al valor de verdad de /.
.e denomina negacin a la funcin veritativa de un lugar, cuyos valores se
fi-an de la manera siguiente'
/ /
F
F
La negacin corresponde a la funcin proposicional de un lugar /. La
afirmacin / es verdadera cuando la proposicin / es falsa, y / es falsa
cuando la proposicin / es verdadera. =ediante la negacin de una
proposicin / se obtiene una nueva proposicin / cuyo valor de verdad es
opuesto al valor de verdad de /.
.ea /' >Las monedas de )6 centavos tienen acu?ado el busto de !loy
Alfaro>.
La negacin de / es la proposicin'
/' >Las monedas de )6 centavos no tienen acu?ado el busto de !loy
Alfaro>.
!n la b,s#ueda de un profesor la !./! publica el siguiente aviso'
>.e solicita profesor con especialidad en /edagoga y @lgebra>.
.e presentan cuatro candidatos A, A, C y & con las caractersticas
siguientes'
A' 9iene ambas especialidades B, C
A' .lo tiene la especialidad de /edagoga B, FC
C' .lo tiene la especialidad de @lgebra BF, C
&' .lo tiene la especialidad de Dumica BF, FC
Como podemos darnos cuenta, puesto #ue A cumpli con los re#uisitos,
entonces A es el ganador del empleo.
.e denomina con-uncin o producto lgico de las proposiciones / y D,
dadas en este orden, a la funcin veritativa de dos lugares #ue se obtiene
enunciando D luego de enunciar /, unidas ambas por la palabra >y>, cuyos
valores de verdad se fi-an de la siguiente manera'
/ D / D

F F
F F
F F F
!l enlace de proposiciones / D es verdadero cuando ambas
proposiciones /, D son verdaderas. Ena con-uncin cuyo valor de verdad
es , e%presa #ue las circunstancias #ue se refle-an a trav$s de las
proposiciones parciales, e%isten en con-unto. /ero, cuando una con-uncin
tiene el valor de verdad F, esto significa #ue, por lo menos, una de sus
proposiciones parciales no refle-a correctamente una circunstancia. !n las
e%plicaciones posteriores, consideraremos el enlace de varias
proposiciones como una con-uncin si aparece la e%presin yFo sus
sinnimos.
.ean las proposiciones'
/' >2 es un divisor de 76>
D' >) es un divisor de 76>.
La con-uncin de / y D es la siguiente proposicin'
/ D' >2 es un divisor de 76, pero tambi$n ) es un divisor de 76>.
/or lo tanto la proposicin / D es verdadera.
Consideremos ahora el siguiente aviso'
>.e solicita profesor con especialidad de /edagoga o @lgebra>.
.e presentan cuatro candidatos A, A, C y & con las caractersticas
siguientes'
A' 9iene ambas especialidades B, C
A' .lo tiene la especialidad de /edagoga B, FC
C' .lo tiene la especialidad de @lgebra BF, C
&' .lo tiene la especialidad de Dumica BF, FC
!n este caso slo & no podr ser seleccionado.
!l punto central de esta parte lo constituye el uso de la palabra >o>, la cual
puede ser utili"ada en un sentido e%clusivista >o ... o ... > o no e%clusivista.
/or este motivo procederemos en dos pasos intermedios.
.e denomina disyuncin a la funcin veritativa bivalente cuyos valores se
fi-an de la manera siguiente'
/ D / D

F
F
F F F
La disyuncin corresponde a la funcin proposicional bivalente / o D.
.eg,n la definicin anterior / o D es verdadera cuando, como mnimo, una
de las proposiciones enla"adas es verdadera. !n discusiones posteriores, el
enlace de varias proposiciones con >o> recibe el nombre de disyuncin.
!ntonces, un enlace de proposiciones de este tipo representa una
proposicin verdadera cuando todas las proposiciones enla"adas son
verdaderas.
=ediante la definicin anterior se ha determinado el sentido de la palabra
>o>. /ara nosotros son de gran inter$s a,n los valores de verdad de las
proposiciones parciales. !n otros enlaces se proceder de forma similar.
.e denomina alternativa a la funcin veritativa de dos lugares cuyos
valores se fi-an de la manera siguiente'
/ D /
D
F
F
F
F F F
La alternativa corresponde a la funcin proposicional de dos lugares >o / o
D> es verdadero cuando una de las dos proposiciones es verdadera. !s falso
cuando ambas proposiciones son verdaderas o falsas. La alternativa es
igualmente e%tensional.
!n las e%plicaciones #ue demos posteriormente, un enlace de ms de dos
proposiciones con >o ... o> recibe el nombre de alternativa. !n el uso diario
del lengua-e se dice frecuentemente >o> en lugar de >o ... o>, actuando esta
palabra, en tales casos, de forma e%cluyente. Cuando en el lengua-e familiar
corriente se habla de una disyuncin, se hace referente a la alternativa #ue
hemos definido. !stos hechos hay #ue tenerlos siempre en cuenta.
( La suma de los siete primeros n,meros naturales es o par o impar.
( 75G5 es o un n,mero primo o divisible por 5.
/roposiciones como / D y / D #ue resultan de combinar otras
proposiciones reciben el nombre de proposiciones compuestas.
!n el Hnstituto de Ciencias Asicas e%iste el siguiente reglamento' >/ara
#ue un estudiante pueda tomar materias de avance de primer nivel, tiene
#ue haber aprobado materias concatenadas de prepolit$cnico>. :!n cules
de los siguientes casos se viola el reglamento;
A' 9oma avances y aprob materias concatenadas B, C.
A' 9oma avances y no aprob materias concatenadas B, FC.
C' 0o toma avances pero aprob materias concatenadas BF, C.
&' 0i toma avances ni aprob materias concatenadas BF, FC.
En poco de refle%in nos conduce a aceptar #ue se viola el reglamento en el
caso A.
.e denomina implicacin o condicional a la funcin veritativa de dos
lugares cuyos valores de verdad se fi-an de la manera siguiente'
/ D / D

F F
F
F F
La proposicin / se denomina hiptesis o antecedente y la proposicin D,
conclusin o consecuente. Consid$rese el problema de asignar un valor de
verdad a la proposicin implicacin >si /, entonces D>. !n efecto, si la
hiptesis / es verdadera y la conclusin D es tambi$n verdadera Besto es, la
hiptesis y la conclusin son ambas verdaderasC, entonces la proposicin
condicional >si /, entonces D> debe ser verdadera.
/or otra parte, si la hiptesis / es verdadera y la conclusin D es falsa,
entonces >si /, entonces D> debe ser falsa. B0o se debe deducir una
conclusin falsa de una hiptesis verdaderaC. La definicin normal dice #ue
>si /, entonces D> es verdadera en caso de #ue la hiptesis / sea falsa, sin
considerar el valor de verdad de la conclusin D. !n las ulteriores
e%plicaciones, al enlace de varias proposiciones con >si /, entonces D> lo
llamaremos implicacin.
.ean las siguientes proposiciones'
/' >Ioy es 16 de Febrero>
D' >entre ) y 7) hay n,meros primos>.
/ D' >.i hoy es 16 de febrero, entonces entre ) y 7) hay n,meros
primos>. !sta proposicin compuesta es verdadera, ya #ue podemos decir
#ue toda implicacin, cuyo primer miembro sea falso tiene el valor de
verdad , sin tener en cuenta si el primero y el segundo miembros tienen
relacin de contenido o no.
La proposicin compuesta >si entre ) y 7) hay n,meros primos, entonces
entre 71 y 7) hay n,meros primos>, es falsa, ya #ue el primer miembro de
esta implicacin es verdadero y su segundo miembro es falso.
.e denomina e#uivalencia o bicondicional a la funcin veritativa de dos
lugares, cuyos valores de verificacin se fi-an de la manera siguiente'
/ D / D

F F
F F
F F
Jtra forma de enunciar >/ si y slo si D> es >/ es una condicin necesaria
y suficiente para D>. As mismo, >/ si y slo si D> en ocasiones se escribe
>/ ssi D>. La proposicin compuesta K2L, tambi$n podemos e%presarla en
simbologa lgica de la siguiente manera
/ D B/ DC BD /C
.ean
/' >!l n,mero 2671 es divisible por 1>
D' >La suma de las cifras bsicas de 2671 es divisible por 1>.
/ D' >!l n,mero 2671 es divisible por 1 cuando la sumas de sus cifras
bsicas es divisible por 1>. !sta proposicin es verdadera, ya #ue ambos
enlaces son verdaderos.
.i / D es una proposicin implicacin, entonces denominamos'
D / recproca de / D.
/ D inversa de / D.
D / contrapositiva de / D.
Hmplicacin' .i 22+2 es divisible por *, entonces 22+2 es un n,mero par.
Mecproca' .i 22+2 es un n,mero par, entonces 22+2 es divisible por *.
Contrapositiva' .i 22+2 no es un n,mero par, entonces 22+2 no es divisible
por *.
Hnversa' .i 22+2 no es divisible por *, entonces 22+2 no es un n,mero par.

Hmplicacin' .i un tringulo es e#uiltero, entonces es issceles.

Mecproca' .i un tringulo es issceles, entonces es e#uiltero.
Contrapositiva' .i un tringulo no es issceles, entonces tampoco es
e#uiltero.
Hnversa' .i un tringulo no es e#uiltero, entonces tampoco es issceles.
.uponga #ue x, y, z M. Mepresente en forma simblica los enunciados dados tomando'
/' x N y, D' y N z, M' x N z
aC Bx y e y N zC o x zO
bC 0o es cierto #ue Bx N y e y N zCO
cC x N y o no es verdad #ue By N z y x N zCO
dC B0o es verdad #ue Bx N y y Bx N z o y N zCCC o Bx y y x N zC.
:Cules de las siguientes e%presiones son proposiciones; /roporcione los valores de verdad de las
proposiciones.
aC x
2
3 x para toda x MO
bC x
2
3 x para alguna x MO
cC x
2
3 xO
dC x
2
3 x para e%actamente una x MO
eC xy 3 xz implica y 3 zO
fC xy 3 xz implica y 3 z para toda x, y, z M.
.ean /, D, M las proposiciones'
/' !st lloviendo, D' !l .ol est brillando,
M' Iay nubes en el cielo.
9radu"ca la siguiente notacin lgica, utili"ando /, D, M y conectivos lgicos.
aC !st lloviendo y el .ol est brillandoO
bC .i est lloviendo, entonces hay nubes en el cieloO
cC .i no est lloviendo, entonces el .ol no est brillando y hay nubes en el cieloO
dC !l .ol est brillando si y slo si no est lloviendoO
eC .i no hay nubes en el cielo, entonces el .ol est brillando.
.ean /, D, M como en el e-ercicio anterior. 9radu"ca lo siguiente a oraciones en espa?ol'
aC B/ DC MO bC B/ MC DO cC / BD MCO dC B/ BD MCCO eC B/ DC M.
A un blanco se han efectuado tres tiros. .ea /i la proposicin Pel blanco ha sido batido por el i($simo tiroQ,
i 3 7, 2, 1. :Du$ significan las siguientes proposiciones'
aC /7 /2 /1O bC /7 /2 /1O cC B/7 /2 C /1;
:Cules de estas tres proposiciones son verdaderas si /1 es verdadera y /7 y /2, falsas;
aC =uestre #ue n 3 1 es un contrae-emplo de la afirmacin n
1
N 1
n
para toda n 0O
bC :/uede encontrar otros contrae-emplos;
aC =uestre #ue x 3 (7 es un contrae-emplo de Bx 8 7C
2
x
2
para toda x MO
bC !ncuentre otro contrae-emploO
cC :/uede servir de contrae-emplo cual#uier n,mero no negativo; !%pli#ue su respuesta.
!ncuentre contrae-emplos de las siguientes afirmaciones'
aC 2
n
( 7 es primo para toda n 2O
bC 2
n
8 1
n
es primo para toda n 0O
cC 2
n
8 n es primo para todo entero impar positivo n.
aC /roporcione un contrae-emplo para' x R y implica x
2
R y
2
para toda x, y M. .u respuesta debe ser un
par ordenado.
bC :Cmo debe restringir x e y para #ue sea verdadera la proposicin de la parte aC;
!%prese en forma simblica cada uno de los enunciados, suponiendo #ue x, y, z M y #ue
/' x N y, D' y N z, M' x N z'
aC .i x N y, entonces y zO
bC .i Bx N y e y N zC, entonces x N zO
cC .i Bx y e y N zC, entonces x zO
dC .i no es verdad #ue Bx N z e y N zC, entonces x zO
eC x N y si y slo si By N z y x N zCO
fC .i es falso #ue Bx N y y Bya sea x N y o y N zCC, entonces Bx y, entonces x N zC.
Considere la frase ambigua x
2
3 y
2
implica x 3 y para todo x, y.
aC 9ransforme esta frase en una proposicin no ambigua cuyo valor de verdad sea verdaderoO
bC 9ransforme esta frase en una proposicin no ambigua cuyo valor de verdad sea falso.
Formule verbalmente las e%presiones simblicas contenidas en los siguientes literales, utili"ando las
proposiciones'
/' Ioy es lunes, D' !st lloviendo, M' Iace calor.
a) / BD MCO b) B/ DC MO c) B/ DC MO d) / BD MCO
e) B/ BD MCC BM BD /CCO f) B/ BD MCC BM BD /CCO
g) B/ B/ BD MCCC B/ BM DCCO h) B/ B/ BD MCCC B/ BM DCC.
!n los siguientes literales, represente cada proposicin en la forma de una proposicin condicional'
aC /ara todo n,mero x M, SxS N 2 siempre #ue 6 N x N 2O
bC Ena condicin suficiente para #ue una funcin f sea integrable es #ue f sea continua.
!nuncie la recproca, la inversa y la contrapositiva de cada uno de los literales del e-ercicio anterior.
/roporcione las recprocas, las inversas y las contrapositivas de las siguientes proposiciones'
aC .i soy listo entonces soy ricoO
bC .i x
2
3 x entonces x 3 6 o x 3 7O
cC .i 2 8 2 3 * entonces 2 8 * 3 4.
/roporcione la recproca, inversa y contrapositiva de cada una de las siguientes proposiciones'
aC .i x 8 y 3 7 entonces x
2
8 y
2
7O
bC .i 2 8 2 3 * entonces 1 8 1 3 4.
Considere la proposicin' si x R 6 entonces x
2
R 6 para x 0'
aC /roporcione la recproca, inversa y contrapositiva de la proposicinO
bC :Cul de las siguientes proposiciones es verdadera' la proposicin original, la recproca, la inversa o la
contrapositiva;
:Cules de las proposiciones /, D, M deben ser verdaderas y cules falsas para #ue
BB/ /C DC M
sea verdadera;
Mepresente simblicamente cada una de las proposiciones condicionales dadas a continuacin. !scriba
su recproca, inversa y contrapositiva tanto con smbolos como con palabras. &etermine tambi$n el valor de
verdad para la proposicin condicional, para su recproca, inversa y para su contrapositiva'
aC .i * N G, entonces 5 R 72O
bC .i * R G, entonces 5 R 72O
cC S7S N 1 si (1 N 7 N 1O
dC S*S N 1 si (1 N * N 1.
Luis, Carlos, Toe, Fred ocuparon en la olimpiada de matemticas los cuatro primeros puestos. Cuando les
preguntaron acerca de la distribucin de los puestos, dieron las tres siguientes respuestas'
aC Fred < primero, Carlos < segundoO
bC Fred < segundo, Luis < terceroO
cC Toe < segundo, Luis < cuarto.
:Cmo se distribuyeron los puestos si en cada una de las respuestas slo una de las afirmaciones era verdadera;
En lgico le di-o a su hi-o .i no terminas tu cena, te irs directo a dormir y no vers televisin. 9ermin
su cena y fue enviado directamente a la cama. &isc,talo.
&etermine cul de cuatro estudiantes dio el e%amen si sabemos #ue'
aC si lo dio el primero, el segundo tambi$nO
bC si lo dio el segundo, el tercero tambi$n o bien el primero no lo dioO
cC si no lo dio el cuarto, lo dio el primero, pero el tercero noO
dC si el cuarto lo dio, el primero tambi$n.
&etermine los valores de verdad de las siguientes proposiciones compuestas'
aC .i 2 8 2 3 *, entonces 2 8 * 3 4O
bC .i 2 8 2 3 ), entonces 2 8 * 3 4O
cC .i 2 8 2 3 *, entonces 2 8 * 3 GO
dC .i 2 8 2 3 ), entonces 2 8 * 3 GO
eC .i la tierra es plana, entonces icente Mocafuerte fue el primer presidente de !cuadorO
fC .i la tierra es plana, entonces .i%to &urn(Aall$n es presidente de !cuador en el periodo 52 < 5GO
gC .i .i%to &urn(Aall$n es presidente de !cuador en el periodo 52 ( 5G, entonces la tierra es planaO
hC .i .i%to &urn(Aall$n es presidente de !cuador en el periodo 52 ( 5G, entonces 2 8 2 3 *.
.upngase #ue sabemos #ue / D es falso. /roporcione los valores de verdad para'
aC / DO bC / DO cC D /O dC / DO eC / DO fC D /O gC D /O
hC / DO iC / DO -C B/ DC.
A la pregunta de cul de tres estudiantes estudiaba lgica fue obtenida una respuesta correcta' si la
estudiaba el primero, tambi$n lo haca el tercero, pero no era cierto #ue si la estudiaba el segundo lo haca
asimismo el tercero. :Dui$n estudiaba lgica;
/ara una e%pedicin de ocho pretendientes A, A, C, &, !, F, U, I hay #ue elegir seis especialistas'
bilogo, hidrlogo, sinptico, radista, mecnico y m$dico. Las funciones del bilogo pueden ser reali"adas por
! y U, las del hidrlogo, A y F. Las del sinptico, F y U, las del radista, C y &, las del mecnico, C y I, las del
m$dico, A y &. Aun#ue algunos de los pretendientes tienen dos especialidades, en la e%pedicin cada uno
puede reali"ar slo una funcin. :Dui$n y en calidad de #u$ ha de incluirse en la e%pedicin si F no puede ir sin
A, & sin I y sin C, C no puede ir simultneamente con U, y A no puede ir -unto con A;
!l enunciado U / KBD MC DL incluye tres proposiciones' /, D y M,
cada una puede ser verdadera o falsa de manera independiente. !%isten en
total 2
1
3 4 combinaciones posibles de los valores de verdad para /, D y M y
la tabla de verdad para U deber dar el valor de verdad de U para cada uno
de los casos.
.i una proposicin compuesta U consta de n enunciados, habr 2
n
combinaciones de valores de verdad, es decir, n filas en la tabla de verdad de
U.
Ena tabla #ue despliega todos los valores de verdad de una frmula, para
todas las posibles interpretaciones #ue pueda tener, se denomina tabla de
verdad de la frmula.
!sta tabla puede construirse sistemticamente de la siguiente manera'
7.( Las primeras n columnas se encabe"an con las variables
proposicionalesO y se construyen ms columnas para las combinaciones
parciales de enunciados y se culmina con el enunciado dado.
2.( Aa-o cada una de las primeras n columnas, se enlistan las 2
n
n(adas
posibles de los valores de verdad de los componentes del enunciado U.
Cada n(tupla se enlista en una fila separada.
1.( /ara cada fila se calculan sucesivamente los valores de verdad
restantes.
.ea U B/ DC B/ DC, construir la correspondiente tabla de verdad'
/ D / D / D U

F F F
F
F F F
.ea U B/ DC KB/ DC BD /CL, construir la correspondiente
tabla de verdad'
/ D / D / D D / B/ DC BD /C U

F F F F
F F F F
F F
!n el estudio de las funciones proposicionales hemos utili"ado las
variables /, D, M, ... para designar las proposiciones. !stas variables
podemos interpretarlas con elementos de un dominio bsico, es decir, con
proposiciones. .u dominio est formado solamente por dos elementos, los
valores de verdad y F. Las constantes en este caso las constituyen los
conectores lgicos. =ediante el enlace lineal de las variables con valores
de verdad /, D, etc., y conectores, as como mediante la aplicacin de los
signos t$cnicos Bpar$ntesisC, podemos formar series de signos.
Ena frmula bien formada, se define dentro de la lgica proposicional en
los siguientes t$rminos recursivos'
7C Las variables /, D, ... son frmulas.
2C a.( .i / es una frmula, entonces / tambi$n es una frmula.
b.( .i / y D son frmulas entonces
/ D, / D, / D, / D
tambi$n son frmulas.
1C Ena serie de signos /, D, ... es una frmula solo cuando se trata de los
casos 7 y 2.
!n la representacin simblica se interpretan los signos , , , , ,
#ue reciben el nombre de conectores, como signos de funciones
proposicionales y tambi$n como signos de funciones veritativas. A los
literales tales como /, D, M,... #ue son usados para denotar proposiciones
se denominan frmulas atmicas o tomos.
0o es difcil reconocer #ue e%presiones como / , / no son frmulas.
Cuando no e%ista confusin se suprimen los par$ntesis asignando rangos
decrecientes a los conectores proposicionales de la siguiente maneraO ,
, , , de manera #ue al conector proposicional con mas alto rango se
lo debe evaluar al final.
( / D M 3 / BD MCO
( / D M . 3 / D BBMC .C 3 / BD BBMC .CC.
Ahora vamos a establecer una relacin entre los valores de verdad y las
funciones veritativas por una parte y las e%presiones, por otra. Las
variables /, D, ... las utili"amos ahora como variables del valor de verdad,
y de igual forma los conectores proposicionales , , , , como
signos de las funciones veritativas clsicas. .obre la base de las
afirmaciones hechas podemos indicar el correspondiente valor de verdad
para cada interpretacin de las variables /, D, ... con los valores de verdad.
!n las e%presiones complicadas de la lgica proposicional tambi$n es
posible calcular de esta forma, en finitos pasos, los valores de verdad, al
hacer las diferentes interpretaciones de las variables.
Comparando las tablas de verdad podemos decidir si dos frmulas U y I
tienen la misma tabla de valores de verdad. Con esto tambi$n podemos
mostrar si una frmula formada a partir de U y I, es una identidad de la
lgica proposicional. La igualdad de las tablas de valores de verdad y la
identidad de la lgica proposicional, sin embargo, no son e%actamente lo
mismo. La igualdad de la tabla de valores de verdad es una relacin entre
dos frmulasO y la propiedad de ser una identidad es una peculiaridad de
una frmula.

A continuacin se dan las propiedades ms importantes'
Ena frmula doblemente negada tiene la misma tabla de valores de
verdad #ue la correspondiente frmula dada, es decirO / / es una
identidad de la lgica proposicional.
/ara la con-uncin, la disyuncin y la e#uivalencia se cumplen la ley
conmutativa y la ley asociativa con respecto a la igualdad de las tablas de
valores de verdad. /ara la implicacin no se cumple ni la ley asociativa, ni
la ley conmutativa.
/ara las proposiciones id$nticamente verdaderas e id$nticamente
falsas, con todo / son ciertas las siguientes frmulas'
/ / / / F /
/ / F / / / F F
Las e#uivalencias siguientes
/ D VD V/ / D VD /
/ D D V/ / D D /
son identidades de la lgica proposicional.
Las siguientes frmulas
B/ DC / DO B/ DC / DO
B/ DC / /O B/ DC / /O
B/ DC D DO B/ DC D DO
/ D / DO / D B/ DC BD /C
son identidades de la lgica proposicional.
La con-uncin es, con respecto a la disyuncin en ambos lados,
distributiva y viceversa, es decir, #ue las siguientes frmulas son
identidades de la lgica proposicional.
/ BD MC B/ DC B/ MC
BD MC / BD /C BM /C
/ BD MC B/ DC B/ MC
BD MC / BD /C BM /C
Con-untamente con la distributividad se cumple #ue la implicacin,
con respecto a las dems funciones veritativas, es distributiva a la derecha,
pero no distributiva a la i"#uierda, es decir, #ue las siguientes frmulas son
de valide" general.
/ BD MC B/ DC B/ MC
/ BD MC B/ DC B/ MC
/ BD MC B/ DC B/ MC
/ BD MC B/ DC B/ MC
.i la conclusin, segundo miembro, de una implicacin es igualmente
una implicacin, entonces las dos premisas Bprimeros miembrosC, se
pueden unir formando una sola premisa
/ BD MC B/ DC M
B/ DC M B/ MC BD MC
Etili"ando las leyes de la lgica proposicional, demostrar #ue'
B/ DC B/ DC B/ DC B/ DC.
B/ DC B/ DC KB/ DC B/ DCL KB/ DC B/ DCL
KB/ DC B/ DCL KB/ DC B/ DCL
KB/ DC B/ DCL KB/ DC B/ DCL
B/ D / DC KB/ DC B/ DCL
KB/ /C BD DCL KB/ DC B/ DCL
B C KB/ DC B/ DCL
KB/ DC B/ DCL
B/ DC B/ DC.
Etili"ando las leyes de la lgica proposicional, demostrar #ue'
KB/ DC /L D D /.
KB/ DC /L D KB/ DC /L D
KB/ DC /L D
B/C D
/ D D /.
Etili"ando las leyes de la lgica proposicional, demostrar #ue'
KB/ DC B/ MCL BD MC D B/ MC.
KB/ DC B/ MCL BD MC KB/ DC B/ MCL BD MC
B/ DC B/ MC BD MC
B/ DC B/ MC D M
D M B/ MC
D KBM /C BM MCL
D KBM /C L
D BM /C
D B/ MC.
Construya la tabla de verdad para cada una de las siguientes proposiciones'
aC B/ DC KB/ DC B/ DCLO bC KB/ DC ML B/ DCO
cC KB/ DC B/ MCL BD /CO dC KB/ DC BD MCL B/ MCO
eC K/ BD MCL KB/ DC MLO fC KB/ DC DL /O
gC B/ DC BD /CO hC KB/ DC /L D.
Etili"ando las leyes de la lgica proposicional, demuestre o refute'
aC B/ DC KB/ DC B/ DCLO bC K/ BD MCL KB/ DC B/ MCLO
cC B/ DC M / BD MC.
Etili"ando las leyes de la lgica proposicional, demostrar las siguientes proposiciones'
aC KB/ DC ML KBD /C ML B/ DC MO bC B/ DC KB/ DC B/ DCLO
cC KB/ DC /L B/ DC / D.
Construya la tabla de verdad para cada una de las siguientes proposiciones'
aC B/ DC MO bC B/ /C /O cC B/ DCO dC B/ DCO eC / /.
.i una proposicin compuesta es siempre verdadera ba-o todas sus
interpretaciones, independientemente de los valores de verificacin de sus
componentes, decimos #ue la proposicin compuesta es una tautologa.
!s decir, a un enunciado #ue es verdadero para todos los valores posibles
de sus variables proposicionales se le denomina tautologa. Cuando se
comprueba #ue una e#uivalencia es una tautologa, significa #ue sus dos
partes componentes son siempre o ambas verdaderas o ambas falsas, para
cuales#uier valores de las variables proposicionales. /or tanto los dos
lados son slo diferentes maneras de proponer el mismo enunciado y se
dice #ue son lgicamente e#uivalentes.
Ena frmula U es una falacia, si U es una tautologa.
Etili"ando una tabla de verdad, determinar si la frmula
U B/ DC B/ DC
es tautologa.
/ D / D / D B/ DC B/ DC

F F F
F
F F
/or lo tanto U si es tautologa.
La igualdad de los valores de verdad de dos proposiciones la hemos
demostrado hasta ahora utili"ando las tablas completas de valores de verdad.
Con su ayuda pudimos decidir si una frmula dada es o no una identidad de
la lgica proposicional.
/or esta va hemos conocido numerosas frmulas con las tablas de valores.
Jtras identidades, es decirO las leyes de la lgica proposicional, las
obtenemos a partir de las frmulas dadas y mediante sustituciones o
transformaciones en frmulas e#uivalentes.
!n esta seccin veremos cmo obtener e#uivalencias e implicaciones
lgicas sin utili"ar tablas de verdad. 9ambi$n e%plicaremos el significado
de teorema y de demostracin. !mpe"aremos con dos reglas ,tiles, #ue sin
embargo deben mane-arse con cuidado.
.i en una frmula de valide" general, es decir, en una identidad de la
lgica proposicional, se sustituye una variable proposicional por una
frmula cual#uiera en todos los lugares donde se presenta la frmula
correspondiente, entonces se obtiene nuevamente una frmula de valide"
general.
Cuando en una frmula U se sustituye una cierta subfrmula U7 por una
frmula U2, #ue toma los mismos valores de verdad #ue U7, entonces la
frmula obtenida F tiene los mismos valores de verdad #ue la frmula U.
La frmula U, una ve" sustituida U7 debe sustituirse por U2 en todos los
lugares donde esta se presenta.
Consideremos la proposicin U K/ B/ DCL D, #ue es una
tautologa. .i reempla"amos, cada ve" #ue aparece /, por la proposicin
U7 D M, obtenemos la tautologa
I KBD MC BBD MC DCL D.
.i en cambio reempla"amos D, cada ve" #ue aparece, por U7, obtenemos la
tautologa
I K/ B/ BD MCCL BD MC.
Consideremos la proposicin
U KB/ DC B/ MCL KD B/ MCL
#ue no es una tautologa. Jbtenemos proposiciones lgicamente
e#uivalentes si reempla"amos B/ DC por su e#uivalencia lgica B/
DC o si reempla"amos una o las dos veces #ue aparece B/ MC por B/
MC. /odemos tambi$n reempla"ar KB/ DC B/ MCL por K/ BD
MCL. &e esta manera U es lgicamente e#uivalente a las siguientes
proposiciones entre otras'
KB/ DC B/ MCL KD B/ MCL
KB/ DC B/ MCL KD B/ MCL
KB/ BD MCL KD B/ MCL.
Ena frmula U es vlida o constituye una tautologa, si y slo si es
verdadera ba-o todas las interpretaciones. !n caso contrario la frmula U es
invlida.
Ena frmula U se denomina inconsistente o insatisfactible, si y slo si es
falsa ba-o todas las interpretaciones. !n caso contrario la frmula U es
consistente o satisfactible.
&e las definiciones anteriores, las observaciones siguientes son obvias'
aC Ena frmula es vlida, si y slo si su negacin es inconsistente
bC Ena frmula es inconsistente, si y slo si su negacin es vlida.
cC Ena frmula es invlida, si y slo si hay por lo menos una
interpretacin ba-o la cual la frmula es falsa.
dC Ena frmula es inconsistente, si y slo si hay por lo menos una
interpretacin ba-o la cual la frmula es verdadera.
eC .i una frmula es vlida, entonces es consistente pero no viceversa.
fC .i una frmula es inconsistente, entonces es invlida pero no viceversa.
erificar la valide" o inconsistencia de la frmula'
U K/ BD MCL KB/ DC ML.
/ D M / BD MC B/ DC M U

F F F
F
F F
F
F F F F
F F
F F F F F
/or lo tanto U es una frmula vlida.
!n lgica matemtica es muy importante el poder transformar frmulas de
una forma a otra, especialmente a las denominadas formas normales. /ara
lograr estas transformaciones de frmulas, se utili"a el concepto de
e#uivalencias de frmulas.
Las frmulas U y I son e#uivalentes si los valores de verdad de U y I son
los mismos ba-o todas las interpretaciones de estas frmulas.
/or supuesto #ue nuestro inter$s no se limita a estudiar una simple
clasificacin de los enunciados del lengua-eO pero tampoco intentamos
internarnos en el fascinante mundo de la deduccin lgica sin antes estar
seguros de conocer y comprender algunos conceptos elementales.
Las dos formas normales #ue nos interesa obtener y #ue son utili"adas en
prueba mecnica de teoremas, son la forma normal con-untiva y la forma
normal disyuntiva.
Ena frmula U se dice #ue est en forma normal con-untiva si y slo si U
tiene la forma
U U7 U2 ... Un n 0
donde cada una de las frmulas U7, U2, ..., Un, se e%presan como una
con-uncin de literales.
!%presar la frmula U K/ BD MCL KB/ DC ML en forma
normal con-untiva.
U WKB/ BD MCL KB/ DC MLX
WKB/ DC ML KB/ BD MCLX
WKB/ BD MCL KB/ DC MLX WKB/ DC ML
KB/ BD MCLX
WKB/ BD MCL WKB/ DC ML KB/ BD MCLX
WKB/ DC ML WKB/ DC ML KB/ BD MCLXX.
Ena frmula U se dice #ue est en forma normal disyuntiva si y slo U si
tiene la forma
U U7 U2 ... Un n 0,
donde cada una de las frmulas U7, U2, ..., Un, se e%presan como una
disyuncin de literales.
!%presar la frmula U KB/ DC ML K/ BD MCL en forma
normal disyuntiva
U WKB/ DC ML K/ BD MCLX WK/ BD MCL
KB/ DC MLX
WKB/ DC ML K/ BD MCLX WK/ BD MCL
KB/ DC MLX
WWKB/ DC ML K/ BD MCLX K/ BD MCLX
WWKB/ DC ML K/ BD MCLX KB/ DC MLX.
En hecho #ue es muy importante anotar, es #ue cual#uier frmula de la
lgica proposicional puede ser transformada a una de las formas normales,
utili"ando las leyes de la lgica proposicional.
&adas las frmulas U7, U2, ..., Un y una frmula U, U se denomina
consecuencia lgica de U7, U2, ..., Un si y slo si para cual#uier
interpretacin en la cual U7 U2 ... Un es verdad, U tambi$n lo es U7,
U2, ..., Un se denominan a%iomas de U.
&adas las frmulas U7, U2, ..., Un y una frmula U, U es una consecuencia
lgica de U7, U2, ..., Un si y slo si la frmula BU7 U2 ... UnC U es
vlida.
.ean
U7
U2
/ BD MC
B/ .C M
U D
/ruebe si U es consecuencia lgica de U7 y U2.
&ebemos probar #ue la frmula
U WK/ BD MCL KB/ .C MLX D
es verdadera o falsa, decir'
U WK/ BD MCL K/ . MLX D
KB/ D MC B/ . MCL D
B/ D MC B/ . MC D
B/ D MC B/ D MC .
.
Lo cual indica #ue U es consecuencia lgica de U7 y U2.
&adas las frmulas U7, U2, ..., Un y una frmula U, U es una consecuencia
lgica de U7, U2, ..., Un si y slo si la frmula U7 U2 ... Un U es
inconsistente.
.ean
U7
U2
/ BD MC
B/ .C M
U D
/robar si U es consecuencia lgica de U7 y U2.
&ebemos probar #ue la frmula
U WK/ BD MCL KB/ .C MLX D
es verdadera o falsa, decir'
U B/ D MC B/ . MC D
B/ D MC B/ D MCL .
B/ D MC B/ D MC .
F.
Lo cual indica #ue U es consecuencia lgica de U7 y U2.
.implifi#ue las siguientes frmulas y diga cuales son tautologas y cuales falacias'
aC K/ B/ DCL B/ DCO bC B/ DC KBM /C DLO cC BD /C B/ DCO
dC B/ DC BD /CO eC BM DC B/ D MC B/ D MCO
fC B/ DC BM DCO gC B/ DC D KBM DC /LO hC B/ DC BM .C B/ .CO
iC B/ DC B/ MC MO -C B/ DC B/ MC BD .CO YC B/ DC D B/ MCO
lC B/ DC B/ MC BD MCO mC B/ DC D K/ BM .CLO
nC / BD /C KBD MC .LO oC B/ DC KB/ DC BD /CLO
pC KB/ DC BD MC /L M.
&etermine la valide" o inconsistencia, luego transforme a una de sus formas normales las siguientes
frmulas'
aC K/ B/ DCL B/ DCO bC BM DC B/ D MC B/ D MCO
cC B/ DC KBM /C DLO dC B/ DC D KBM DC /LO
eC B/ DC BM .C B/ .CO fC B/ DC B/ MC MO
gC B/ DC B/ MC BD .CO hC B/ DC D B/ MCO
iC B/ DC B/ MC BD MCO -C KB/ DC BD MC /L MO
YC B/ DC D K/ BM .CLO lC B/ .C B/ DC KB. MC 9L BD MCO
mC / BD /C KBD MC .LO nC B/ DC BM DC BM .C KB. /C 9LO
oC B/ DC KB/ DC BD /CLO pC KB/ DC BD MCL B/ MC
#C B/ DC KB/ DC BD /CLO rC B/ DC KB/ DC BD /CLO
sC KB/ DC ML K/ BD MCLO tC K/ BD MCL KB/ DC ML.
Tuego f,tbol o estudio. .i paso el e%amen no estudio. .ucede #ue no voy a -ugar f,tbol. !n consecuencia
no pas$ el e%amen.
.i ganamos el campeonato, recibimos el premio. .i -ugamos y ganamos el campeonato, recibiremos el
premio. Tugaremos y ganaremos el campeonato. !n consecuencia, recibiremos el premio.
&ecir cul de los siguientes enunciados son consecuencia lgica'
aC
U7
U2
U1
U*
U)
B/ DC M
. 9
E L
/ E
. L
U M
bC
U7
U2
U1
U*
B/ DC M
M .
B/ DC
B. 9C E
U E
cC
U7
U2
U1
B/ DC BM .C
B/ DC
BM .C B9 EC
U 9 E
dC
U7
U2
U1
/ D
D M
M
U M
eC
U7
U2
U1
/ D
D M
M
U M
Los alumnos son estudiosos o los estudiosos reprueban. .i los estudiosos reprueban, entonces los
inteligentes son felices o los alumnos no son estudiosos. Los alumnos son estudiosos y los inteligentes no
son felices. 0o es verdad #ue los inteligentes son felices. Los estudiantes no reprueban;
La lgica es fcil. .i el lgebra es hermosa, entonces la Lgica no es fcil o la =atemtica es la reina de
las ciencias. !l @lgebra es hermosa. !n consecuencia, la =atemtica es la reina de las ciencias.
Lus har un via-e a !uropa si logra terminar su carrera. Lus termina su carrera, y si hace un via-e a
!uropa, entonces no asiste a nuestra reunin anual. !n consecuencia, Lus no asistir a nuestra reunin anual.
.i faltan e-ercicios o encuentro premisas, entonces acabo la tarea. .i el libro est claro y no me falta
creatividad, entonces encuentro premisas. 0o acabo la tarea. !n consecuencia me falta creatividad o el libro
no est claro.
Ayer no fue mi$rcoles o ma?ana no es martes. Ioy es -ueves y ayer fue mi$rcoles. Ioy es lunes si y
slo si ma?ana es martes. !n consecuencia, hoy es lunes.
Mepruebo el e%amen o sigo mis estudios. .i repruebo el e%amen, perder$ la beca y me ir$ de la ciudad.
0o perder$ la beca o no me ir$ de la ciudad. Luego, seguir$ estudiando.
Los aviones son veloces o las diligencias respetan los semforos. .i los hombres vuelan y las bicicletas
no contaminan, entonces no es verdad #ue las diligencias respetan los semforos. Los hombres vuelas y las
bicicletas no contaminan. !n conclusin, los aviones son veloces.