Cap 1 Logica

Moiss Villena Muoz Lgica Matemtica
1

1
Proposiciones
Operadores Lgicos
Proposiciones Moleculares
Formas Proposicionales
Bicondicional. Equivalencias lgicas
Algebra de proposiciones
Razonamientos
Cotidianamente tratamos de pensar y actuar inteligentemente. Nuestras acciones estn
dirigidas a que sean o parezcan coherentes. Pero para situaciones formales un tanto
complicadas, nuestros argumentos elementales no nos ayudan a resolerlas. !s aqu" donde
entra la necesidad de considerar mecanismos a#stractos para el anlisis formal. $a l%gica
matemtica nos permite hacer estos anlisis, haciendo que todas las erdades de la raz%n
sean reducidas a una especie de clculo.
Con la l%gica matemtica podemos precisar la equialencia entre e&presiones
a#stractas, podemos analizar la alidez de argumentos o razonamientos, podemos realizar
demostraciones formales,...
. PROPO!"#"O$E!
OBJETIVOS:
'! P(!)!N*! +,! !$ !'),*-.N)!/
*efina proposici%n.
Conozca la notaci%n para proposiciones.
(econozca proposiciones.
* e0emplos de proposiciones.
* e0emplos de enunciados que no sean proposiciones.
La Lgica Matemtica, hace uso exclusivo de expresiones que manifiestan o una
verdad o una falsedad. A estas expresiones se las llaman PROPOSICIONES.
Entonces:
PROPOSICIONES son afirmaciones a las que se les
puede asignar o #ien un alor de erdad de V!(*.*!(1 o
#ien un alor de erdad de 2.$'1.
Ejemplos
3. 4Hoy es Lunes4 5suponga que efectiamente estamos en el d"a lunes de la
semana, entonces esta e&presi%n ser una afirmaci%n V!(*.*!(.6.
7. 4Estoy en la clase de matemticas" 5suponga
que la persona que emite esta afirmaci%n, efectiamente
est presenciando la clase de matemticas8 en este caso
esta e&presi%n ser una afirmaci%n tam#in V!(*.*!(.6.
9. 4Estoy en Espaa4 5suponga ahora que la persona que emite sta frase se
encuentra en !cuador y no en !spaa, entonces esta afirmaci%n ser una
proposici%n 2.$'.6.
tras expresiones, como las exclamaciones, las preguntas, deseos o mandatos!
no son consideradas como proposiciones por la Lgica Matemtica.
Ejemplos%
3.:10al $luea;
7.<=iciste el de#er de Matemticas>
9.'intate y estate quieto.
.. $O&A#"'$
"e aqu# en adelante adoptaremos los siguientes s(mbolos para el $AL% "E
$E%"A" de una proposicin:
V!(*.*!(1 1
2.$'1 &
Los '(M)L' que se adoptan para las proposiciones suelen ser las *%+ME%A'
LE,%A' "EL A)E-E"A%+ en min.scula.
/
Ejercicio Propuesto 1.1
Indique cules de los siguientes enunciados son proposiciones y cules no?:
a6 !sta fruta est erde.
#6 <!sts contenta>
c6 'intate y estate quieto
d6 9 ?@A 3B
e6 !l rat%n trep% a la mesa.
f6 Maana se aca#ar el mundo.
g6 (am%n (am"rez de#e pagar sus deudas a menos que quiera ir a la crcel.
h6 <!s feo Cuan>
i6 $a edad del unierso es de unos 3D mil millones de aos.
06 :Mrchate;
Ahora 0ien en nuestro lengua1e com.n usamos frecuentemente proposiciones
ms extensas como:
$o hice el de#er de Matemticas.
!stoy en !cuador ) estoy feliz.
!studio 0uego fEt#ol.
!i estudio entonces sacar #uena calificaci%n en el e&amen.
'urge entonces la necesidad de definir a los nexos de estas proposiciones, los
llamados -onectores u peradores lgicos.
.* OPERA+ORE! ,#O$E#&ORE!- L'."#O!
OBJETIVOS:
'! P(!)!N*! +,! !$ !'),*-.N)!/
Conozca la notaci%n para los operadores l%gicos.
*eduzca, con e0emplos, la esencia de los operadores l%gicos y la ta#la de erdad para
las operaciones l%gicas.
.nalice e interprete las condiciones suficientes y las condiciones necesarias en una
condicional.
Comprenda e interprete la rec"proca, la inersa y la contrarec"proca de una condicional.
)raduzca del lengua0e comEn al lengua0e formal
.*. $E.A#"'$
La negacin se presenta con los t2rminos:

El !/MBOLO L'."#O que se emplea para traducirla es:
Aunque tam0i2n se suele emplear: 0

Analicemos lo siguiente.
Ejemplos
3
No
No es verdad que
No es cierto que
3. ',P1NF. +,! !').M1' !N !$ *G. $,N!' *! $. '!M.N., entonces al decir/
a / 4Hoy es Lunes4
5ser una proposici%n V!(*.*!(.6.
a / 4Hoy no es Lunes "
5en cam#io esta proposici%n ser 2.$'.6.
7. ',P1NF. +,! N1 !')H $$1V-!N*1, entonces al decir/
a / 4Est lloviendo"
5ser una proposici%n 2.$'.6
a / 4No est lloviendo4
5en cam#io esta proposici%n ser V!(*.*!(.6
'i u0icamos estas o0servaciones en una ta0la que nos indique todas estas
posi0ilidades formamos la llamada &ABLA +E 1ER+A+.
4ue para la negacin ser#a:
a a
1
&
&
1
0serve que:
!l operador NEGACIN C.MI-. !$ V.$1( *! V!(*.* de una
proposici%n.
.*.* #O$23$#"'$
Este operador lo tenemos cuando enla5amos proposiciones con el t2rmino 6
En lengua1e formal se lo traduce con el !/MBOLO:
Ejemplo
C1N'-*!(!M1' $.' '-F,-!N)!' P(1P1'-C-1N!'/
a : "en!o una moneda de "# centavos en el $olsillo"
b : "en!o una moneda de %" centavos en el $olsillo"
$. C1NC,NC-JN *! $.' *1' P(1P1'-C-1N!' '!(G./
b a : "en!o una moneda de "# y una de %" centavos en el $olsillo"
!ntonces al suponer que/
3. !n erdad se tiene las dos monedas 5
1 ! 1 b a
6 entonces decir 4Tengo una moneda de 50 y
una de 25 centavos en el bolsillo4, ser una V!(*.*.
7. 'i se tiene la moneda de DB centaos y no la de 7D centaos 5
& ! 1 b a
6, la proposici%n
4Tengo una moneda de 50 y una de 25 centavos en el bolsillo4, ser 2.$'..
9. 'i no se tiene la moneda de DB centaos y si la de 7D centaos 5
1 ! & b a
6, la proposici%n
4Tengo una moneda de 50 y una de 25 centavos en el bolsillo4, ser tam#in 2.$'..
K. 'i no se tienen las dos monedas 5
& ! & b a
6, la proposici%n 4Tengo una moneda de 50 y una
de 25 centavos en el bolsillo4, tam#in ser 2.$'..
*or lo tanto, LA ,A)LA "E $E%"A" para la con1uncin ser#a/
a b b a
7
1
1
&
&
1
&
1
&
1
&
&
&
0serve que:
$a CON&'NCIN de dos proposiciones es V!(*.*!(.
siempre y cuando am#as proposiciones sean erdaderas.
.*.4 +"!53$#"'$ "$#L3!"1A
La dis6uncin inclusiva aparece cuando enla5amos proposiciones con el
t2rmino:
'e lo traduce con el !/MBOLO L'."#O:
Ejemplo
Considerando las mismas proposiciones anteriores/
a : "en!o una moneda de "# centavos en el $olsillo"
b : "en!o una moneda de %" centavos en el $olsillo"
$. *-'L,NC-1N *! $.' *1' P(1P1'-C-1N!' '!(G./
b a : "en!o una moneda de "# o una de %" centavos en el $olsillo"
!ntonces al suponer que/
3. !n erdad se tenga las dos monedas 5
1 ! 1 b a
6entonces decir 4Tengo una moneda de 50 o
una de 25 centavos en el bolsillo4, ser una V!(*.*.
7. 'i se tiene la moneda de DB centaos y no la de 7D centaos 5
& ! 1 b a
6, la proposici%n
4Tengo una moneda de 50 o una de 25 centavos en el bolsillo4, ser tam#in una V!(*.*.
9. 'i no se tiene la moneda de DB centaos y si la de 7D centaos 5
1 ! & b a
6, la proposici%n
4Tengo una moneda de 50 o una de 25 centavos en el bolsillo4, ser tam#in una V!(*.*.
K. 'i no se tienen las dos monedas 5
& ! & b a
6, la proposici%n 4Tengo una moneda de 50 o una
de 25 centavos en el bolsillo4, ser una 2.$'!*.*.
*or lo tanto, LA ,A)LA "E $E%"A" para la dis6uncin inclusiva ser#a:
a b b a
1
1
&
&
1
&
1
&
1
1
1
&
8
9ote que:
$a (IS)'NCIN INCL'SI*A de dos proposiciones es
2.$'. siempre y cuando am#as proposiciones sean falsas.
.*.6 +"!53$#"'$ E7#L3!"1A
'eguramente usted ha expresado dis6untivas en donde se admite, lo uno lo
otro pero no am0as cosas.
Ejemplos
3. 4Daniel est en Espaa o Italia4
7. 4Jessica tiene una altura de 1.0 m. o 1.!5 m.4
9. 4El motivo del crimen "ue o bien el robo o bien la vengan#a4
Estos e1emplos se los puede interpretar como:
:*aniel est en !spaa o est en -talia, pero no puede estar en am#os lugares a la ez:
:Cessica tiene una altura de 3.@B m. o una altura de 3.MD m., pero no puede tener am#as
estaturas a la ez:
:!l motio del crimen fue s%lo el ro#o o s%lo la enganza:
En el .ltimo e1emplo, con el t2rmino :slo: desechamos la idea de que el motivo
del crimen sea el ro0o 6 la vengan5a a la ve5.
Entonces el t2rmino en lengua1e com.n ser#a: :88:. -omo tam0i2n el
t2rmino :o bien88o bien8..:.
EL !/MBOLO L'."#O que se emplea para traducirla es: . Aunque tam0i2n se
emplea el s#m0olo
'in em0argo, la dis6uncin exclusiva se la traduce en t2rmino de la dis6uncin
inclusiva de la forma:
( ) ( ) b a b a
LA ,A)LA "E $E%"A" para la dis6uncin exclusiva ser#a:
a b
b a
1
1
&
&
1
&
1
&
&
1
1
&
*or lo tanto, se podr#a decir que:
$a (IS)'NCIN E+CL'SI*A de dos proposiciones es
2.$'. siempre y cuando am#as proposiciones sean falsas
y tam#in cuando am#as sean erdaderas.
;
.*.9 E$3$#"A#"'$ :"PO&;&"#A
Este es el conector lgico ms importante. Llamado tam0i2n condicional o
implicacin.
Aparece cuando enla5amos dos proposiciones
a
6
b
de la forma: :Si
a

entonces
b
: ,
'e traduce con el !/MBOLO L'."#O:
b a
En este caso a la proposicin :
a
: se la llama:
6 a la proposicin : b : se la llama:
Existen ,%' LE9<=A>E' %ELA-+9A"'
con la enunciacin hipot2tica. Estos son:
4
a
implica
b
4
4Iasta
a
para que
b
4
4
a
s%lo si
b
4
4
a
solamente si
b
4
4
b
si
a
4
4
b
cada ez que
a
4
4
b
siempre que
a
4
4
b
puesto que
a
4
4
b
ya que
a
4
4
b
cuando
a
4
4
b
de#ido a que
a
4
4
b
porque
a
4
Ejemplo
'up%ngase que un padre le dice a su hi0o/
4Si ap,ue$as el p,eunive,sita,io entonces te ,e!ala,- un ca,,o4.
Iien, ahora piense que/
3. !fectiamente el hi0o aprue#a el preuniersitario, y que el padre le regala el carro. !ntonces el
padre ha dicho una V!(*.*.
7. 'i el hi0o aprue#a el preuniersitario y el padre no le regala el carro. !ntonces el padre ha
dicho una M!N)-(. 52.$'!*.*6.
9. 'i el hi0o no aprue#a el preuniersitario y sin em#argo el padre le regala el carro, aunque no
est o#ligado a hacerlo. !ntonces el padre N1 ha dicho una M!N)-(..
K. 'i el hi0o no aprue#a el preuniersitario y el padre no le regala el carro. !l padre tampoco ha
dicho una M!N)-(..
Entonces, LA ,A)LA "E $E%"A" para la enunciacin hipot2tica ser#a:
?
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.
a b b a
1
1
&
&
1
&
1
&
1
&
1
1
*or lo tanto, se podr#a decir que:
$a EN'NCIACIN HIPO.ICA es 2.$'. s%lo cuando el
antecedente es erdadero y el consecuente falso.
$ale la pena recalcar que, no es necesario que exista relacin causal entre la
proposicin :
a
: 6 la proposicin : b :. El valor de verdad de la nueva proposicin
depende de los valores de verdad de cada una de las proposiciones.
.*.9. #ondiciones necesarias ) su<icientes
En ocasiones, una enunciacin hipot2tica verdadera, en donde existe relacin
causal entre el antecedente
a
6 el consecuente b , se interpreta como:
:
a
es condicin suficiente para b :
: b es condicin necesaria para
a
:
Lo cual nos indica otras dos formas de lengua1e relacionado para la enunciacin
hipot2tica.
Ejemplo
/Si un n0me,o es divisi$le pa,a 1 entonces es divisi$le pa,a %/
!ste enunciado puede ser interpretado, parafrasendolo de la siguiente manera/
4!s S!I"IE#TE que un nEmero sea diisi#le para K para que sea diisi#le para 74
1 tam#in/
4!s #E"ES$%IO que un nEmero sea diisi#le para 7, para que sea diisi#le para K4 5tam#in/ 4si un
nEmero es diisi#le para K, necesariamente ser diisi#le para 746
Es importante mencionar que si se intercam0ia el antecedente con el consecuente
la enunciacin hipot2tica cam0ia.
Ejemplo
Considerando el e0emplo anterior, al enunciar la proposici%n de la siguiente forma/
" Si un n0me,o es divisi$le pa,a % entonces es divisi$le pa,a 1"
es 2.$'.& porque es induda#le que e&isten nEmeros diisi#les para 7 que no son diisi#les
para K 5M por e0emplo6.
El enunciado anterior tam0i2n puede ser parafraseado de las siguientes formas:
4 $a diisi#ilidad para K implica la diisi#ilidad para 7 4
4 ,n nEmero es diisi#le para K s%lo si es diisi#le 74
4 Iasta que un nEmero sea diisi#le para K para que sea diisi#le para 74.
4 ,n nEmero es diisi#le para 7 siempre que sea diisi#le para K4
4 ,n nEmero es diisi#le para 7 si es diisi#le para K4
@
4 ,n nEmero es diisi#le para 7 puesto que es diisi#le para K4
4 ,n nEmero es diisi#le para 7 ya que es diisi#le para K4
4 ,n nEmero es diisi#le para 7 cada ez que sea diisi#le para K4
4 ,n nEmero es diisi#le para 7 cuando es diisi#le para K4
4 ,n nEmero es diisi#le para 7 de#ido a que es diisi#le para K4
4 ,n nEmero es diisi#le para 7 porque es diisi#le para K4
.*.9.* 1AR"A#"O$E! +E LA #O$+"#"O$AL
Para la implicaci%n
a
se define/
LA REC2PROCA//
a
LA IN*ERSA//
a
LA CONRARREC2PROCA//
a
Ejemplo
'ea la proposici%n/
'I,- el s$ado3 si me pa!an(
Primero identifiquemos el antecedente a / Me pagan
y el consecuente b / ir el s#ado
$uego tenemos/
N'i me pagan, entonces ir el s#adoO
*e aqu"/
(!CGP(1C./ N'i oy el s#ado, entonces me paganO
-NV!('./ N'i no me pagan, entonces no ir el s#adoO
C1N)(.((!CGP(1C./ N'i no oy el s#ado, entonces no me paganO
Ejercicios Propuestos 1.2
3. !n las siguientes proposiciones, identifique el .N)!C!*!N)! y el C1N'!C,!N)!.
a6 'i no se ama a primera ista, no se ama como es de#ido.
#6 Para ser secretaria se necesita ensear la rodilla.
c6 !l que ro#a un dolar, ro#a un mill%n.
d6 Pienso, luego e&isto.
e6 +uien siem#re ientos, cosecha tempestades.
f6 Para que un pol"gono sea rectngulo, es suficiente que sea cuadrado.
g6 No somos d#iles si hacemos uso apropiado de los medios que el *ios de la Naturaleza ha puesto #a0o
nuestro dominio.
h6 )endrs &ito solamente si aprecias la opini%n de los dems.
i6 Pnicamente mediante el error autntico y el tra#a0o espontneo y creatio puede el ser humano superar
su angustia y soledad.
7. Considerando las proposiciones/
a / Lo termin mi de#er antes de comer.
b / Lo 0uego tenis por la tarde.
c / =oy hace sol.
d / =oy hay poca humedad.
!scri#ir en $!NF,.C! '-MIJ$-C1 /
a6 !s necesario que termine de hacer mi de#er antes de comer y que haya poca humedad para que si
hace sol yo 0uegue tenis por la tarde.
#6 Para m" es suficiente que no haya sol y haya poca humedad para que no salga a 0ugar tenis por la
tarde.
9. 'ean las proposiciones/
a / )e gustan las matemticas
b / )e gusta este de#er
)(.*,QC. las siguientes proposiciones al lengua0e comEn/
A
a6 a
#6 a
c6 a
d6 ( ) a a
K. *ada la proposici%n/
"Si un t,in!ulo est ci,cunsc,ito en un semic4,culo3 entonces es ,ectn!ulo"
!scri#a la rec"proca, la inersa y la contrarrec"proca.
.4 PROPO!"#"O$E! MOLE#3LARE!
OBJETIVOS:
'! P(!)!N*! +,! !$ !'),*-.N)!/
*efina proposiciones at%micas y moleculares.
!sta#lezca el alor de erdad de una proposici%n molecular.
$as PROPOSICIONES 5OLEC'LARES son e&presiones
que estn compuestas por arias proposiciones conectadas
por operadores l%gicos. . las proposiciones simples, en las
que no aparecen operadores l%gicos, se las denominan
PROPOSICIONES A5ICAS.
Ejemplo

( ) ( ) ( ) b a c b a
Las proposiciones atmicas para este e1emplo ser#an
a
, 6
c
.
El valor de verdad de la proposicin molecular depende del valor de verdad de
las proposiciones atmicas que la componen.
'uponga que: 1 a ! & b 6 1 c , entonces la proposicin molecular anterior
es $E%"A"E%A, porque:

1
&
& 1
&
&
1
1
& 1

,
_
,
_
,
_
b a c b a
.
Ia0o la suposici%n de que los alores de erdad de las proposiciones at%micas
a
, ,
c
, d ,
e
,
y
!
son respectiamente B,B,3,3,B,38 determinar el V.$1( *! V!(*.* de cada una de las proposiciones
moleculares siguientes/
3. ( ) ( ) [ ] c a a
1&
7. ( ) [ ] ( ) [ ] ( ) { } ( ) a ! d e d c a a
9. ( ) [ ] ( ) { } ( ) [ ] ( ) { } ! a ! d e d c a a
.6 FORMA! PROPO!"#"O$ALE!
OBJETIVOS%
'! P(!)!N*! +,! !$ !'),*-.N)!/
*efina formas proposicionales.
*efina tautolog"as, falacias y contradicciones.
.plique la definici%n de tautolog"a y la de falacia para clasificar formas proposicionales dadas.
*efina formas equialentes
*etermine si formas proposicionales dadas son equialentes o no
,na 6OR5A PROPOSICIONAL es una e&presi%n
constituida por s"m#olos que representan o conectores
l%gicos o aria#les proposicionales.
Ejemplo

( ) ( ) ( ) q p r q p
"onde
r q p , ,
son $A%+A)LE' *%*'+-+9ALE', que pueden representar
proposiciones atmicas o proposiciones moleculares.
'i reempla5amos a
p
,
q
6 r por proposiciones falsas 6 verdaderas los
resultados son proposiciones moleculares.
El n.mero de proposiciones moleculares que se generan es igual a
n
/
, donde
n
es el n.mero de varia0les proposicionales.
*ara el e1emplo anterior, como la forma proposicional tiene 3 varia0les
proposicionales, entonces ha6 @ /
3
proposiciones moleculares, cu6os valores de
verdad se muestran en la siguiente ta0la:
p q
r
q p
r ( ) r q p
q p
( ) ( ) ( ) q p r q p
11
1
1
1
1
&
&
&
&
1
1
&
&
1
1
&
&
1
&
1
&
1
&
1
&
1
1
1
1
1
1
&
&
&
1
&
1
&
1
&
1
&
1
&
1
&
1
&
&
1
1
&
&
&
&
&
&
1
1
1
&
1
&
1
1
0serve que con tres varia0les, para no repetir casos, las dos .ltimas varia0les
q
6 r mantienen las cuatros com0inaciones 0sicas Bam0as verdaderas, una de ellas
verdadera mientras la otra falsa 6 am0as falsasC 6 la primera varia0le
p
es verdadera.
Luego, lo mismo para las dos .ltimas varia0les, pero con la primera falsa.
'i hu0iesen 7 varia0les proposicionales, se hacen las ocho com0inaciones
anteriores con las .ltimas tres varia0les 6 la primera varia0le verdadera! luego, lo
mismo que lo anterior pero con la primera falsa, es decir:
p q
r s
1
1
1
1
1
1
1
1
&
&
&
&
&
&
&
&
1
1
1
1
&
&
&
&
1
1
1
1
&
&
&
&
1
1
&
&
1
1
&
&
1
1
&
&
1
1
&
&
1
&
1
&
1
&
1
&
1
&
1
&
1
&
1
&
*ara ms varia0les repetir el proceso de forma anloga.
Existen formas proposicionales mu6 singulares 6 que van a ser de mucho inter2s
para nuestras necesidades.
A'OLOG2A7 2orma proposicional cuya estructura l%gica
da lugar a proposiciones V!(*.*!(.' para todos los casos
de alores de erdad de las aria#les proposicionales que
las componen.
-uando una forma proposicional 9 E' ,A=,LD<+-A se la llama FALA#"A.
1/
CONRA(ICCION7 2orma proposicional cuya estructura
l%gica da lugar a proposiciones 2.$'.', sin importar el alor
de erdad de sus aria#les.
Ejemplo
.l o#serar la ta#la de erdad de la forma proposicional

( ) ( ) q p q p
p q p q p q p
( ) ( ) q p q p
1
1
&
&
1
&
1
&
&
&
1
1
1
&
1
1
1
&
1
1
1
1
1
1
Notamos que el alor de erdad de las proposiciones que se generan es siempre erdadero, sim importar el
alor de erdad de las aria#les proposicionales interinientes. Por tanto es una ).,)1$1FG..
'i al menos, fuese falsa en un caso, entonces ser"a una 2.$.C-..
.6. "MPL"#A#"O$E! L'."#A!
'ean
A
y
"
dos formas proposicionales. *ecimos que
A

implica l8!icamente a
"
si y s%lo s"
" A
es una
tautolog"a.
En este caso se escri0e
" A
.
Algunas implicaciones lgicas t#picas son:
[ ] q p p
.dici%n
[ ] p q p
'implificaci%n
( ) [ ] q q p p
Modus Ponens
( ) [ ] p q q p
Modus )ollens
( ) [ ] q p q p
'ilogismo *isyuntio
( ) [ ] q p q p
( ) ( ) [ ] [ ] r p r q q p
'ilogismo =ipottico
[ ] ( ) ( ) [ ] r q r p q p
[ ] ( ) ( ) [ ] r q r p q p
[ ] ( ) ( ) [ ] r p r q q p
( ) ( ) [ ] ( ) ( ) [ ] s q r p s r q p
( ) ( ) [ ] ( ) ( ) [ ] s q r p s r q p
*ilemas constructios
( ) ( ) [ ] ( ) ( ) [ ] r p s q s r q p
( ) ( ) [ ] ( ) ( ) [ ] r p s q s r q p
*ilemas
constructios
3. *!M,!')(! las -mplicaciones $%gicas anteriores.
13
7. !scri#a la ).I$. *! V!(*.* de las siguientes formas proposicionales/
a6 C B p p p
#6 C B C B q p q p
c6 q q p q p CC B C BB
d6 CC B B C B q p p q p
9. <Cul de las siguientes formas proposicionales N1 !' ).,)1$JF-C.>
a6 p q p C B
#6 p q p p CC B B
c6 C B C B q p q p
d6 q q p p CC B B
e6 C B C B q p q p
K. ,na de las siguientes formas proposicionales N1 !' ).,)1$JF-C., identif"quela.
a6 ( ) [ ] q q p p
#6 ( ) [ ] p p q p
c6 ( ) [ ] q q p p
d6 ( ) ( ) [ ] ( ) r p q p r q
e6 ( ) [ ] p q q p
D. 'ean
r q p , ,
aria#les proposicionales, entonces la forma proposicional que N1 !' ).,)1$JF-C.
es/
a6 ( ) ( ) p q q p
#6 ( ) [ ] p q q p
c6 ( ) [ ] ( ) ( ) [ ] r q r p r q p
d6 ( ) ( ) [ ] ( ) r p r q q p
e6 ( ) ( ) [ ] ( ) [ ] r q p r q r p
M. $a e&presi%n
B
para que la forma proposicional/
( ) [ ] { } { } " q q q p p
N1 '!. ).,)1$JF-C. es/
a6 ( ) q p
#6
q p

c6
q

d6
p

e6
p
@. =.$$.( el operador N O para que la forma proposicional sea tautol%gica/
( ) ( ) [ ] ( ) ( ) [ ] r q s q s r q p
.9 B"#O$+"#"O$AL
=n nuevo operador lgico es la do0le implicacin, llamado tam0i2n
)+-9"+-+9AL.
El s#m0olo empleado es:
. 4ue enla5ando dos proposiciones ser#a a .

4ue significa
( ) ( ) a a
6 se lee E
a
s y slo s
=.
17
'u ta0la de verdad ser#a:
a a
1
1
&
&
1
&
1
&
1
&
&
1
0servamos que:
$a 9ICON(ICIONAL es V!(*.*!(. cuando am#as
proposiciones son erdaderas o am#as falsas, es decir
cuando tienen el mismo alor de erdad. Caso contrario es
falsa.
.9. E>3"1ALE$#"A! L'."#A!
'ean
A
y
"
dos formas proposicionales. *ecimos que
A

es LGICA5ENE E:'I*ALENE a
"
si y s%lo s"
" A
es una tautolog"a.
En este caso se escri0e
" A
. -omo tam0i2n
" A
Analicemos la ta0la de verdad de las siguientes dos formas proposicionales:
q p
6
q p
p q

A
q p
p

"
q p
( ) ( )

" A
q p q p ( ) ( )

A "
q p q p
1
1
&
&
1
&
1
&
1
&
1
1
&
&
1
1
1
&
1
1
1
1
1
1
1
1
1
1
En am0os sentidos la implicacin con estas dos formas proposicionales es
tautolgica, lo cual quiere decir que son formas Lgicamente Equivalentes. Es decir,
q p

q p
-omo conclusin se puede decir que:
*os formas proposicionales son LGICA5ENE
E:'I*ALENES si tienen el M-'M1 V.$1( *! V!(*.*
#a0o iguales condiciones de alores de erdad de las
aria#les interinientes.
Aqu# se puede o0servar la importancia de la lgica de s#m0olos. Es mu6 dif#cil
precisar con nuestros sentidos que la expresin ESi estudio entonces aprender#F es
Lgicamente Equivalente a E No estudio o aprendoF.
18
Ejemplo
.l decir/ ''na mat,i; tiene inve,sa3 si y s8lo si su dete,minante es di<e,ente de
ce,o()
'e de#er entender que es equialente que una matriz
A
tenga inersa a que su determinante
sea diferente de cero.
Ahora analicemos estas otras dos formas proposicionales
q p
6
p q
p q p q q p p q
1
1
&
&
1
&
1
&
&
&
1
1
&
1
&
1
1
&
1
1
1
&
1
1
*or lo tanto,
q p
es Lgicamente Equivalente a su contrarrec#proca
p q
-nestigue si las siguientes !+,-V.$!NC-.' '1N C1((!C).' 1 N1/
a6 ( ) [ ] ( ) [ ] r q p r q p
#6 ( ) [ ] ( ) [ ] r q p r q p
c6 ( ) [ ] ( ) [ ] r q p r q p
d6 ( ) [ ] ( ) [ ] r q p r q p
e6 ( ) [ ] ( ) [ ] r q p r q p
f6 ( ) [ ] ( ) [ ] r q p r q p
.? AL.EBRA +E PROPO!"#"O$E!
OBJETIVOS/
'! P(!)!N*! +,! !$ !'),*-.N)!/
)raduzca del lengua0e comEn al lengua0e formal.
.plique l!quialencias $%gicas para encontrar traducciones equialentes.
-lasificando algunas Equivalencias Lgicas, resulta:
#O$23$#"'$ +"!53$#"'$
( ) ( ) p q q p
Conmutativa
( ) ( ) p q q p
( ) ( ) r q p r q p
Asociativa
( ) ( ) r q p r q p
( ) p p p
Idempotencia
( ) p p p
( ) p p 1
Identidad
( ) p p &
( ) & & p
Absorcin
( ) 1 1 p
1;
LE5E! +"!&R"B3&"1A! $E.A#"'$
( ) ( ) ( ) r p q p r q p
( ) ( ) ( ) r p q p r q p
1 &
& 1
( ) p p
doble negacin
O&RA!%

( )
( )

)

q p q p
q p q p
Leyes de De Morgan

( ) 1 p p
Ley del tercer excludo

( ) & p p
Ley de la contradiccin
( ) ( ) p q q p Contrapositiva o Contrarrecproca
( ) ( ) q p q p Implicacin
( ) ( ) q p q p
( ) ( ) q p q p
( ) ( ) [ ] ( ) [ ] r q p r q r p
( ) ( ) [ ] ( ) [ ] r q p r p q p
( ) [ ] ( ) [ ] r q p r q p Ley de exportacin
( ) ( ) [ ] & q p q p Reduccin al absurdo
( ) ( ) ( ) [ ] p q q p q p Euivalencia
( ) ( ) p q q p
9o olvide demostrarlas.
=na utilidad de las Equivalencias Lgicas la o0servamos a continuacin.
Ejemplo 1
$a )(.*,CC-JN al lengua0e formal de la siguiente proposici%n/
'Si t0 e,es inteli!ente y no act0as con p,udencia3 e,es un i!no,ante en la
mate,ia (
'iendo/ : m tE eres inteligente
: n tE actEas con prudencia
: p
tE eres un ignorante en la materia
!s/
a6 ( ) p n m
#6 ( ) n m p
c6 ( ) p n m
d6 ( ) n p m
e6 ( ) p n m
Ejemplo 2
1?
'1$,C-JN /
$a traducci%n ser"a/ ( ) p n m . Pero tiene apariencia
diferente a las opciones de respuestas, entonces empleando el lge#ra
de proposiciones o#tenemos/ ( ) p n m

p n m
( ) p n m
( ) p n m
*ada la proposici%n molecular/ 'Hoy es =ueves y ten!o >ue da, un e?amen3 pe,o si
@ay @uel!a3 entonces no voy a la Polit-cnica(* y las proposiciones at%micas/
a
/ =oy es 0uees. / )engo que dar un e&amen.
c / =ay huelga. d / Me oy a la Politcnica.
!ntonces la )(.*,CC-JN al lengua0e formal de la proposici%n molecular es/
a6 ( ) d c a #6 ( ) ( ) a c d c6
( ) ( ) d c a
d6 ( ) ( ) d c b a e6 ( ) ( ) b a d c
SO+"I,#/
Analicemos este otro tipo de e1ercicio.
Ejemplo 3
'i la proposici%n/ ( ) ( ) [ ] ( ) [ ] s r p s r q p es VE%-$-E%$*
entonces es V!(*.* que/
a6
& q p
#6
1 s q
c6 ( ) & q s r
d6
1 q
e6
1 r p
SO+"I,#/ *e#emos ir analizando desde la proposici%n molecular hasta llegar a las proposiciones
at%micas.
R

1
&
&
1 &
&
1
1
& 1
s r q p
S R

1
1
1
1
&
1
s r p
S 1
*el anlisis se concluye que/
&
&
1
1
q
r
s
p
.hora que hemos encontrado los alores de erdad de cada una de las proposiciones, , podemos
analizar una a una las opciones proporcionadas/
a6
1 & 1 q p
mas no B como se indica
#6 & 1 & s q mas no 3 como se indica
c6 ( ) ( ) & & 1 & 1 & q s r tal como se indica y por tanto esta ser"a la
respuesta.
1@
)raduciendo tenemos ( ) ( ) d c b a , por la contrarec"proca
( ) ( ) ( ) c d b a entonces
( ) ( ) c d b a que es lo mismo que
( ) ( ) b a c d
3. 'eleccione la )(.*,CC-JN correcta de la siguiente afirmaci%n/
NSi ,eti,o el dine,o del $anco3 comp,o un ca,,o o una casaA
Considerando las proposiciones at%micas /
: p
(etiro el dinero del #anco
: q
Compro un carro
: r Compro una casa
a6 ( ) r p #6 ( ) r p c6 ( ) r p
d6 ( ) r p e6 ( ) r p
7. $a )(.*,CC-JN al lengua0e formal de la proposici%n /
4Si me voy a casa3 me voy de comp,as y si no me voy a casa3 entonces voy al cine4
siendo las proposiciones at%micas/
a / Me oy a casa b / Me oy de compras c / Voy al cine
es/
a6 C B C B c a b a c6 C B C B c a b a
#6 C B C B c a b a d6 C B C B a c a b e6
C B C B a c a b
9. $a )(.*,CC-JN al lengua0e formal de la proposici%n/ "Si se es estudioso o dedicado3 entonces se
ap,ue$a el P,epolit-cnico") 'iendo las proposiciones at%micas/
a / 'e es estudioso.
b / 'e es dedicado.
c / 'e aprue#a el Prepolitcnico.
es/ a6 ( ) c b a #6 ( ) ( ) c b c a
c6 ( ) b c a d6 ( ) c b a e6 ( ) c b a
K. *ada la proposici%n/
4Si @ay @uel!as y pa,o de t,anspo,tistas3 entonces las p-,didas se,n cuantiosas4
!ntonces es !+,-V.$!N)! a la siguiente proposici%n/
a6 'i no hay prdidas cuantiosas entonces no hay huelgas o no hay paro de transportistas.
#6 'i no hay prdidas cuantiosas entonces no hay huelgas y si hay paro de transportistas.
c6 'i no hay prdidas cuantiosas entonces hay huelgas y no hay paro de transportistas.
d6 'i no hay huelgas ni paro de transportistas entonces no hay prdidas cuantiosas.
e6 'i no hay huelgas entonces no hay paro de transportistas ni prdidas cuantiosas.
D. $a proposici%n/ C B C B a c b a es !+,-V.$!N)! a/
a6 c b a C B #6 C B c b a
c6 C B c b a d6 c b a C B e6
a c b a C C BB
M. $a forma proposicional/ ( ) [ ] ( ) [ ] ( ) ( ) [ ] p p p p p es
!+,-V.$!N)! a/
a6
p
#6
p
c6
d6 !li0a esta opci%n si la forma proposicional es siempre falsa.

e6 !li0a esta opci%n si la forma proposicional es siempre erdadera.
@. 'ea la proposici%n/ NEl auto$0s lle!a ta,de3 siemp,e >ue el conducto, se @aya desviado() 'uponiendo
que la proposici%n es erdadera. !ntonces una proposici%n !+,-V.$!N)! a la anterior, es/
a6 +ue el auto#Es llegue tarde es una condici%n suficiente para que el conductor se haya desiado.
#6 ,na condici%n suficiente para que el auto#Es llegue tarde es que el conductor se haya desiado.
c6 ,na condici%n necesaria para que el auto#Es llegue tarde es que el conductor se haya desiado.
d6 'i el auto#Es llega tarde, el conductor se ha desiado.
e6 !l auto#Es no llega tarde o el conductor se ha desiado.
T. $a C1N)(.((!CGP(1C. de la proposici%n/
'Si EL NIBO es un .en/meno o un desastre natural* entonces no es una simple llu0ia o un mal
pasa1ero( es/
a6 'i E$ %I&' es una simple lluia y no un mal pasa0ero, no es un fen%meno ni un desastre natural.
#6 E$ %I&' no es un fen%meno ni un desastre natural, porque es un mal pasa0ero y no una simple lluia.
c6 E$ %I&' es un fen%meno, desastre natural, simple lluia y un mal pasa0ero.
d6 E$ %I&' no es un fen%meno ni desastre natural, si es una simple lluia y un mal pasa0ero.
e6 E$ %I&' no es una simple lluia o un mal pasa0ero solo si no es un fen%meno.
1A
T. 'i se da la proposici%n/
"Si 2e estudiado muc2o o me 2e preparado lo su.iciente* entonces no dar3 un mal e4amen o mis
padres estarn contentos(
!ntonces su proposici%n C1N)(.((!CGP(1C. es/
a6 'i no doy un mal e&amen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
#6 =e estudiado mucho, me he preparado lo suficiente, no dar un mal e&amen y mis padres estarn
contentos.
c6 Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal e&amen.
d6 Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal e&amen y mis padres estn
contentos.
e6 No dar un mal e&amen o mis padres estarn contentos s%lo si he estudiado mucho.
3B. *adas las proposiciones at%micas/
: p
Me estoy #aando.
:
Me oy a una fiesta.
: r +uiero dormir. : s !stoy cansado.
!ntonces, la C1N)(.((!CGP(1C. de la proposici%n ( ) ( ) s r p es/
a6 'i me estoy #aando y no quiero dormir, entonces, me oy a una fiesta y no estoy cansado.
#6 No es erdad que me oy a una fiesta y estoy cansado y no me estoy #aando o quiero dormir.
c6 'i no me oy a una fiesta y estoy cansado, entonces no me estoy #aando o quiero dormir.
d6 'i no me estoy #aando o quiero dormir, entonces me oy a una fiesta o estoy cansado.
e6 'i me oy a una fiesta o no estoy cansado, entonces me estoy #aando y no quiero dormir.
33. 'i la proposici%n/ ( ) [ ] ( ) e d d b a es 2.$'., entonces es VE%-$- que/
a6 ( ) & a b
#6 ( ) & d e
c6 ( ) & a d
d6 ( ) & b a
e6 ( ) & a e
37. 'i la proposici%n ( ) ( ) [ ] q r q p es 2.$'., entonces una de las siguientes proposiciones es
!$+S$* identif"quela/
a6 ( ) ( ) [ ] & r p
#6 ( ) ( ) [ ] & p r
c6 ( ) ( ) [ ] 1 r p r
d6 ( ) ( ) [ ] 1 r r p
e6 ( ) ( ) [ ] & p r r
39. 'i la proposici%n ( ) [ ] [ ] r r p es 2.$'., entonces es VE%-$- que/
a6 !l alor de erdad de
p
es erdadero.
#6 !l alor de erdad de
es erdadero.
c6 !l alor de erdad de
p
es falso.
d6 !l alor de erdad de r es falso.
e6 !l alor de erdad de
p
no puede ser definido.
.@. RAAO$AM"E$&O!
OBJETIVOS:
'! P(!)!N*! +,! !$ !'),*-.N)!/
*efiina razonamiento.
*efina razonamiento lido.
*etermine la alidez de un razonamiento suponiendo que ste es falso.
-nfiriera una conclusi%n lida para un razonamiento, dadas las hip%tesis.
Custifique la alidez de un razonamiento.
(eplantee un razonamiento cam#iando la conclusi%n para que sea lido en el caso de que no lo sea.
/&
)ien 6a podemos dedicarnos a una estructura lgica mu6 importante, que es el
o01etivo que nos ha0#amos propuesto.
El tipo de ra5onamiento que vamos a considerar estar constituido por una
enunciacin hipot2tica que tiene como antecedente una con1uncin de hiptesis o
premisas. Es decir, su estructura lgica ser de la forma:

[ ]

CONC$%SI&N
PRINCIPA$ OPERA'OR
HIPOTESIS O PRE(ISAS
n
C H H H H
3 / 1
Estamos interesados en sa0er si un ra5onamiento es vlido o no, es decir si la
conclusin es lgicamente inferida de las hiptesis.
.@.. 1AL"+EA +E 3$ RAAO$AM"E$&O
,n razonamiento es *CLI(O cuando la forma proposicional
que se o#tiene de la proposici%n molecular que lo define, es
).,)1$JF-C.. !s decir una -mplicaci%n $%gica.
-omo la estructura lgica de los ra5onamientos presenta la forma C H ,
entonces podemos dedicarnos a determinar si se produce el siguiente caso 1 H 6
& C que es el .nico caso cuando la implicacin ser#a falsa, entonces no ser#a una
tautolog#a 6 por tanto el ra5onamiento no es vlido.
Ejemplo 1
*etermine si el siguiente razonamiento es lido o no/
4Si soy estudioso 3 ap,o$a,- el cu,so D si soy $aila,4n3 no ap,o$a,- el cu,soE
Po, lo tanto3 no puedo se, estudioso y $aila,4n al mismo tiempo/
SO+"I,#/
Considerando las proposiciones at%micas/
: a 'oy estudioso
: .pro#ar el curso.
: c 'oy #ailar"n.
!l razonamiento se traduce al lengua0e formal por la proposici%n molecular/
( ) ( ) [ ] ( ) c a c a
.
!ntonces la forma proposicional correspondiente ser"a ( ) ( ) [ ] ( ) r p q r q p
+ue de#er"a ser tautol%gica para que el razonamiento sea lido. Podemos hacer toda la ta#la de erdad, pero
para eitar tal tra#a0o nos dedicaremos a inestigar si e&iste por lo menos un caso de falsedad.

&
&
1
1
1
1
G
1
1
1 1
,
_

1
1
1
1
1
]
1
,
_
,
_
r p q r q p
Para que la enunciaci%n hipottica sea falsa, se requiere que el antecedente sea erdadero mientras que el
consecuente es falso, para lo cual ( ) & r p entonces ( ) 1 r p 8 esto significa que
1 p y
1 r
. .hora e&aminando el antecedente, o#seramos que para que la primera hip%tesis sea
/1
erdadera se requiera que 1 q , pero la segunda hip%tesis se hace falsa porque & q . !sto nos
hace pensar que no a a e&istir por lo menos una proposici%n falsa, por lo tanto el razonamiento es V.$-*1.
Ejemplo 2
*adas las siguientes hip%tesis/
1
H : +a +/gica es di.5cil o no les gusta a muc2os estudiantes)
/
H : Si la 6atemtica es .cil* entonces la +/gica no es di.5cil)
!ntonces una C1NC$,'-JN VU$-*. es/
a6 $a $%gica es dif"cil.
#6 $a Matemtica es fcil.
c6 'i la Matemtica no es fcil, a muchos estudiantes no les gusta la l%gica.
d6 'i a muchos estudiantes les gusta la l%gica, la Matemtica no es fcil.
e6 $a Matemtica no es fcil o la l%gica es dif"cil.
SO+"I,#/
*efinamos las proposiciones/ : a $a l%gica es dif"cil.
: $a l%gica les gusta a muchos estudiantes.
: c $a Matemtica es fcil.
!ntonces la traducci%n de las hip%tesis dadas ser"an/ a H :
1
a c H :
/
Cada opci%n dada ser"a una posi#le conclusi%n, analicemos con cada una/
a6 R5

1
1
& &
q p
6

1
1
&
1
p r
6S
&
p
No lido
#6 5

&
1
1
&
1
&
1
1
& 1
r p r q p

6 No lido
c6 R5

1
&
1 1
q p
6

1
&
1
&
p r
6S R

&
1
1
&
q r
S No lido
d6 R5

1
&
1 1
q p
6

&
&
1
1
p r
6S R

&
&
1
1
r q
S VU$-*1 5(espuesta6
e6 R5

1
1
& &
q p
6

1
1
&
1
p r
6S R

&
&
&
1
p r
S No lido
//
3. Con las proposiciones/ m / Lo gano las elecciones.
n / Fuayaquil tiene auto#uses articulados

p
/ ,stedes tienen transporte.
'e construye los siguientes razonamientos. *etermine cual de ellos N1 es lido.
a6 ( ) ( ) [ ] ( ) p m p n n m
#6 ( ) ( ) [ ] ( ) n p p n n m
c6 ( ) [ ] n m n m
d6 ( ) [ ] n m n m
e6 ( ) ( ) [ ] m p p n n m
7. *adas las siguientes premisas/
1
! : 'i eo mucha )V, entonces no tengo que estudiar.
/
! / Veo mucha )V.
considerando las proposiciones/
p
/ Veo mucha )V y
/ )engo tiempo para estudiar.

!ntonces una conclusi%n para un (.Q1N.M-!N)1 VU$-*1 es/
a6
p
#6
q

c6
q p

d6
q p

e6
q p
9. *ado el razonamiento C " " " "
7 3 / 1
8 donde/
1
" / 'i estudio, aprender.

/
" / 'i aprendo, apro#ar el curso.

3
" / 1 practico tenis o no practico tenis.

7
" / No aprue#o el curso.
!ntonces una conclusi%n C que hace el (.Q1N.M-!N)1 VU$-*1 es/
a6 !studio #6 No estudio c6 .prue#o el curso d6 .prendo

e6 N...
K. .nalice la V.$-*!Q de los siguientes razonamientos/
a6 'i tE muestras la erdad, reelars lo rid"culo de las pretensiones del hom#re. 'i el hom#re es
prepotente, es porque no se ha reelado lo rid"culo de sus pretensiones. !l hom#re es prepotente. Por
consiguiente, tE no muestras la erdad.
#6 'i Fenaro tom% el tren especial, entonces estuo en el accidente, y si estuo en el accidente, entonces
no asisti% a la reuni%n. Fenaro tom% el tren especial o no asisti% a la reuni%n. $uego, Fenaro estuo en
el accidente.
c6 1 Calder%n tiene enemigos en la administraci%n o, si e&cede su cuota, reci#ir un ascenso. Calder%n no
reci#ir un ascenso. $uego, Calder%n tiene enemigos en la administraci%n o no e&ceder su cuota.
d6 'i pago al sastre no me quedar dinero. 'olamente puedo llear a mi noia al #aile si tengo dinero. 'i
no la lleo al #aile, se sentir desdichada. Pero si le pago al sastre, no me entregar el tra0e, y sin el
tra0e no puedo llear a mi noia al #aile. 1 le pago al sastre o no le pago. $uego, mi noia tendr que
sentirse desdichada.
D. 'i se tiene un razonamiento con las siguientes premisas/
1
! : 'i el freno falla o el camino est helado, entonces el coche no parar
/
! / 'i el coche se reis%, entonces no falla el freno.
3
! / Pero el coche no se reis%.
,na conclusi%n que lo hace VU$-*1 es/
a6 !l coche no parar.
#6 !l freno falla y el camino no est helado.
c6 'i no falla el freno y el camino no est helado, el coche parar.
d6 !l coche no parar o el camino no est helado.
e6 Ninguna de las conclusiones es lida.
M. Considere las siguientes hip%tesis/
1
! : !l (anco del )rogreso cerr% sus puertas y sus clientes recuperarn su dinero.
/
! : 'i los clientes del (anco del )rogreso recuperarn su dinero entonces no e&iste
intranquilidad.
/3
3
! : !l (anco del )rogreso no cerr% sus puertas o no e&iste intranquilidad.
!ntonces una C1NC$,'-JN VU$-*. para un razonamiento, es/
a6 'i no e&iste intranquilidad entonces los clientes del (anco del )rogreso no recuperarn su dinero.
#6 !l (anco del )rogreso no cerr% sus puertas.
c6 No e&iste intranquilidad y los clientes del (anco del )rogreso recuperarn su dinero.
d6 Ni el (anco del )rogreso cerr% sus puertas, ni sus clientes recuperarn su dinero.
e6 Ninguna de las conclusiones anteriores es lida.
@. Considere las siguientes hip%tesis/
1
! / !cuador adopt% el sistema de sistema de dolarizaci%n y pretende me0orar su econom"a.
/
! / 'i !cuador pretende me0orar su econom"a entonces no ha#r descontento social.
3
! / !cuador no adopt% el sistema de dolarizaci%n o no ha#r descontento social
!ntonces, una C1NC$,'-1N V.$-*. para un razonamiento es/
a6 No ha#r descontento social y !cuador pretende me0orar su !conom"a.
#6 Ni !cuador adopt% el sistema de dolarizaci%n, ni pretende me0orar su !conom"a.
c6 !cuador no adopt% el sistema de dolarizaci%n.
d6 'i no hay descontento social entonces !cuador no pretende me0orar su !conom"a.
e6 Ninguna de las conclusiones anteriores es lida.
Miscelneos
3. 'i la forma proposicional ( ) [ ] ( ) q r r q p es 2.$'., entonces es V!(*.* que/
a6
p
es erdadera.
#6
p
es falsa y r es erdadera.
c6 r es falsa.
d6 !l alor de erdad de
p
no puede ser definido.
e6
es erdadera.
7. ,na de las siguientes proposiciones es V!(*.*!(., identif"quela.
a6 ( ) r q p ( ) r q p
#6 ( ) r q p

( ) r q p
c6 ( ) r q p

( ) r q p
d6 ( ) q p
q p
e6. ( ) p q
q p
9. 'ean las proposiciones/
: p
)odos los alumnos cumplen con sus o#ligaciones.
:
)odos los alumnos aprue#an el e&amen.
: r !l profesor recompensa a los alumnos con una semana de acaciones.
!ntonces la )(.*,CC-JN al lengua0e sim#%lico de la proposici%n/
'Si todos los alumnos cumplen con sus o$li!aciones y lo!,an ap,o$a, el e?amen3 el p,o<eso,
los ,ecompensa, con una semana de vacacionesD pe,o3 si al!0n alumno ,esulta,a ,ep,o$ado3
el p,o<eso, no adopta, esa medida(&
es/
a6 [ ] [ ] r q r r q
#6 ( ) [ ] [ ] r q r p q
c6 [ ] [ ] r q p r q
d6 [ ] ( ) [ ] r q p q r
e6 ( ) [ ] [ ] q r r q p
K. $a N!F.C-JN de la proposici%n/
p
es/
a6
p
#6
p
c6
p
d6
p
e6
p
/7
D. $a )(.*,CC-JN al lengua0e formal de la proposici%n/ FSi ,esuelvo $ien el e?amen y no est di<4cil3
mis pad,es me <elicita,nEA
'iendo las proposiciones/
a/ Lo resuelo #ien el e&amen.
b/ !l e&amen est dif"cil.
c* Mis padres me felicitarn.
!s/
a6 ( ) c b a
#6 ( ) c a
c6 ( ) c b a
d6 ( ) c b a
e6 ( ) c b a
M. $a proposici%n/
N&unio, es d-$il3 siemp,e >ue no coma pescado(
es !+,-V.$!N)! a/
a6 Cunior es fuerte o come pescado.
#6 Cunior es d#il y come pescado.
c6 Cunior es d#il cuando come pescado.
d6 Cunior es fuerte o no come pescado.
e6 Cunior es d#il o come pescado.
@. $a C1N)(.((!CGP(1C. de la proposici%n/
NSi estudio y ap,ue$o el P,epolit-cnico3 entonces esta,- ale!,eO, es/
a6 'i estoy alegre, entonces estudi y apro# el Prepolitcnico.
#6 !studio y estoy alegre, entonces apro#ar el Prepolitcnico.
c6 'i no estoy alegre, entonces no estudi o no apro# el Prepolitcnico.
d6 .prue#o el Prepolitcnico y estoy alegre, porque estudi.
e6 'i no he estudiado, entonces no apro#ar el Prepolitcnico.
T. Considerando la forma proposicional ( ) ( ) s r p . !ntonces una de las siguientes
proposiciones es 2.$'., identif"quela.
a6 $a rec"proca es ( ) ( ) p s r .
#6 $a contrarrec"proca es ( ) ( ) p s r .
c6 $a inersa es ( ) ( ) s r p .
d6 $a inersa es equialente a ( ) ( ) s r p .
e6 $a forma proposicional dada es equialente a ( ) ( ) s r p .
V. ,na de las siguientes proposiciones N1 !' ).,)1$JF-C., identif"quela.
a6 ( ) ( ) [ ] ( ) r p r p
#6 ( ) ( ) ( ) [ ] r r p p
c6 ( ) ( ) [ ] ( ) p r p r
d6 ( ) [ ] p p
e6 ( ) ( ) r r p
3B. Considerando las siguientes proposiciones/
: p
*aniel es feliz
:
*aniel estudia todos los d"as.
: r *aniel aprue#a el prepolitcnico
!ntonces la )(.*,CC-JN al lengua0e formal de/ '(aniel es <eli; s8lo si estudia todos los d4as y ap,ue$a
el p,epolit-cnico(
!s/
a6 ( ) p r
#6 ( ) p r
c6 ( ) p r
d6 ( ) p r
e6 ( ) r p
33. $a siguiente proposici%n/ 'La emp,esa no @ace pu$licidad y no cam$ia su p,oducci8n siemp,e >ue la
demanda aumente( es !+,-V.$!N)! a/
/8
a6 'i la empresa no hace pu#licidad y no cam#ia su producci%n, entonces la demanda aumenta.
#6 'i la empresa hace pu#licidad o cam#ia su producci%n, entonces la demanda no aumenta.
c6 'i la demanda no aumenta, entonces la empresa hace pu#licidad y cam#ia su producci%n.
d6 $a empresa hace pu#licidad y cam#ia su producci%n, o la demanda aumenta.
e6 $a empresa hace pu#licidad o, si cam#ia su producci%n entonces la demanda no aumenta.
37. *adas las siguientes premisas/
:
1
" 'i se paga el rescate, entonces los tcnicos petroleros aparecern ios y retornarn a sus
pa"ses de origen.
:
/
" 'i la polic"a interiene, entonces los tcnicos petroleros no retornarn a sus pa"ses de origen.
:
3
" 'e paga el rescate.
!ntonces una C1NC$,'-JN VU$-*. para un razonamiento es/
a6 $os tcnicos petroleros no aparecen ios.
#6 No se paga el rescate.
c6 'i los tcnicos petroleros no retornan a sus pa"ses de origen, entonces la polic"a interiene.
d6 $a polic"a interiene.
e6 $os tcnicos petroleros no retornan a sus pa"ses de origen.
39. *adas las proposiciones at%micas/
: p
Voy a rendir el e&amen.
:
Me presento al e&amen.
: r (epro#ar.
$a )(.*,CC-JN al lengua0e formal de la proposici%n "*oy a ,endi, el e?amen po,>ue si no me
p,esento al e?amen entonces ,ep,o$a,-"
es/
a6 ( ) p r q
#6 ( ) p r
c6 ( ) r q p
d6 ( ) q p r
e6 ( ) q p r
3K. *ada la proposici%n/
4&uan asiste a clases de 5atemticas siemp,e y cuando no ten!a ot,as ocupaciones4
!ntonces, su proposici%n C1N)(.(!CGP(1C. es/
a6 'i Cuan asiste a clases, entonces no tiene otras ocupaciones.
#6 'i Cuan tiene otras ocupaciones, entonces asiste a clases.
c6 'i Cuan no asiste a clases, entonces tiene otras ocupaciones.
d6 'i Cuan tiene otras ocupaciones, entonces no asiste a clases.
e6 'i Cuan no asiste a clases, entonces no tiene otras ocupaciones.
3D. *adas las siguientes premisas/
:
1
! 'i estudio mucha $%gica, entonces no repro#ar el curso.
:
/
! !studio mucha $%gica.
!ntonces, la C1NC$,'-JN para un razonamiento lido, es/
a6 No estudio mucha $%gica.
#6 (epro#ar el curso.
c6 !studio mucha $%gica % no repro#ar el curso.
d6 No estudio mucha l%gica y estudio mucha $%gica.
e6 No estudio mucha $%gica % repro#ar el curso.
3M. 'i la forma proposicional ( ) ( ) ( ) [ ] t s p r q p es 2.$'.. !ntonces una de las
siguientes proposiciones es V!(*.*!(., identif"quela.
a6 ( ) & 1 p
#6 ( ) 1 t s
c6 ( ) & p r
d6 ( ) [ ] 1 s t p
e6 ( ) 1 t s
3@. Considere las proposiciones/
a: $a dolarizaci%n es un proceso adecuado para el pa"s.
7/ !l pa"s de#e salir de la crisis econ%mica.
c/ $as personas mantienen una mentalidad positia.
$a )(.*,CC-1N al lengua0e formal de la siguiente proposici%n/
/;
4La dola,i;aci8n es un p,oceso adecuado pa,a el pa4s si las pe,sonas mantienen una mentalidad
positiva3 pe,o si las pe,sonas no mantienen una mentalidad positiva3 el pa4s no sale de la c,isis
econ8mica.4
!s/
a6 ( ) ( ) b a a c
#6 ( ) ( ) c a a c
c6 ( ) b c a
d6 ( ) ( ) b c a c
e6 ( ) c a
3T. Considere la proposici%n molecular/
4 Es su.iciente que +ul8 no quiera a $ndr3s para que si +ul8 termina con Juan entonces a ella no le
gustan los 2om7res .eos4.
!ntonces una proposici%n !+,-V.$!N)! es/
a6 !s necesario que $ulE termine con Cuan o que le gusten los hom#res feos para que no quiera a .ndrs.
#6 $ulE quiere a .ndrs pero no es erdad que termin% con Cuan o le gusten los hom#res feos.
c6 !s suficiente que $ulE termine con Cuan y le gusten los hom#res feos para que quiera a .ndrs.
d6 !s suficiente que a $ulE le gusten los hom#res feos para que termine con Cuan y quiera a .ndrs.
e6 !s necesario que $ulE termine con Cuan para que a $ulE le gusten los hom#res feos y quiera a .ndrs.
3V. 'i se tiene un razonamiento con las siguientes premisas/
9::$a dolarizaci%n es dif"cil o no les gusta a muchas personas.
9;:'i las medidas econ%micas son ia#les, entonces la dolarizaci%n no es dif"cil.
,na C1NC$,'-1N que lo hace lido, es/
a6 $a dolarizaci%n es dif"cil.
#6 $as medidas econ%micas son ia#les.
c6 'i las medidas econ%micas no son ia#les, a muchas personas no les gusta la dolarizaci%n.
d6 'i a muchas personas les gusta la dolarizaci%n, las medidas econ%micas no son ia#les.
e6 $as medidas econ%micas no son ia#les o la dolarizaci%n es dif"cil.
7B. 'i se da la proposici%n/
/Si @e estudiado muc@o o me @e p,epa,ado lo su<iciente3 entonces no da,- un mal e?amen o mis
pad,es esta,n contentosA
!ntonces su proposici%n C1N)(.(!C-P(1C. es/
a6 'i no doy un mal e&amen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
#6 =e estudiado mucho, me he preparado lo suficiente, no dar un mal e&amen y mis padres estarn
contentos.
c6 Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal e&amen.
d6 Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal e&amen y mis padres estn
contentos.
e6 No dar un mal e&amen o mis padres estarn contentos s%lo si he estudiado mucho.
/?

Cap 1 Logica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap 1 Logica

Cargado por

Copyright:

Formatos disponibles

Moiss Villena Muoz Lgica Matemtica

Aunque tam0i2n se suele emplear: 0

. 4ue enla5ando dos proposiciones ser#a a .

d6 !li0a esta opci%n si la forma proposicional es siempre falsa.

/ )engo tiempo para estudiar.

También podría gustarte