Está en la página 1de 37

1.1.

Argumentosyproposicioneslgicas

1.

a)

P=10esprimo

Q=10esiguala2por5

1.SiP,entoncesnoQ
2.Q
3.NoP

b)

P=Llueveconfrecuencia

Q=Loscampesinossequejan

1.SiP,entoncesQ
2.SinoP,entoncesQ
3.Q

3.

a)Atmica

b)Compuesta

c)Compuesta

d)Compuesta

1.2.Conexioneslgicas

1.

a)

b)

c)

d)

e)

3.

P Q PQ
F F F
F V V
V F V
V V F

1.3.Proposicionescompuestas

3.

a)

P=Tevas

Q=Llamaralapolica

b)

P=Dosniostienenlosmismostos

Q=Losniostienenlamismamadre

R=Losniostienenelmismopadre

c)

P=Esundaagradable

Q=Estsoleado

R=Nohacecalor

d)

P=i>j

Q=i1>j

R=j=3

5.

a)

P=Maraesalta

Q=Jaimeespequeo

R=Jaimeesgil

Alcances:
y de
yde

b)

P=xesmayorquey

Q=yesmayorquez

R=xesmayorquez

Alcances:

yde
yde

c)

P=Laextraccindemineralesesprovechosa

Q=Laconcentracindemineralesalta

R=Ladistanciahaciaelmercadoescorta

Alcances:

yde
yde

7.

a)

b)

c)

9.

esunaecepporqueloes(yaque,asuvez,loesentantoquevariable
proposicional)

NoloessegnladefinicindelaSeccin1.3.2.porqueallseindicaqueloes

1.4.Tautologasycontradicciones

1.

a)

P Q PQ P(PQ) (P(PQ))Q
F F V F V
F V V F V
V F F F V
V V V V V

Tautologa

b)

P Q PQ PQ (PQ)(PQ)
F F V V V
F V V V V
V F F F V
V V V V V

Tautologa

c)

P Q R PQ QR (PQ)(QR) PR ((PQ)(QR))(PR)
F F F V V V V V
F F V V V V V V
F V F V F V V V
F V V V V V V V
V F F F V V F F
V F V F V V V V
V V F V F V F F
V V V V V V V V

Contingencia

d)

P Q PQ PQ PQ (PQ)(PQ) (PQ)(PQ)(PQ)
F F V F V V V
F V F F F F V
V F F F F F V
V V V V F V V

Tautologa

e)

P Q PQ Q(PQ) Q(PQ)P
F F V F V
F V V V F
V F F F V
V V V V V

Contingencia

f)

P Q R QR (P(QR)) PQ PR (PQ)(PR) (P(QR))((PQ)(PR))


F F F F V F F F F
F F V F V F V F F
F V F F V V F F F
F V V V F V V V F
V F F F F V V V F
V F V F F V V V F
V V F F F V V V F
V V V V F V V V F

Contradiccin

3.

P Q PQ PQ (PQ)(PQ) (PQ)(PQ)Q
F F V F F V
F V V V V V
V F F V F V
V V V V V V

5.

a)

P Q R PQ PR QR (PR)(QR) PQ(PR)(QR)
F F F F V V V V
F F V F V V V V
F V F V V F V V
F V V V V V V V
V F F V F V V V
V F V V V V V V
V V F V F F V V
V V V V V V V V

b)

P Q R PQ PR QR ((PR)(QR)) PQ(PR)(QR)
F F F F V V F F
F F V F V V F F
F V F V V F F F
F V V V V V F F
V F F V F V F F
V F V V V V F F
V V F V F F F F
V V V V V V F F

1.5.Equivalenciaslgicasysuutilizacin

1.

a)

b)

c)

3.

a)

b)

c)

5.[Suponiendoquemoverlasnegacionesinterioresquieradecircomplementartodaslas
expresionesatmicas]

a)

b)

7.

a)


b)





9.

1.6.Implicacionesyderivacioneslgicas

1.

a)

P Q R PQ PR Premisas QR Vlido
F F F F V F F V
F F V F V F V V
F V F V V V V V
F V V V V V V V
V F F V F F F V
V F V V V V V V
V V F V F F V V
V V V V V V V V

b)

P Q R PQ PR Premisas PQR Vlido


F F F V V V V V
F F V V V V V V
F V F V V V V V
F V V V V V V V
V F F F F F F V
V F V F V F F V
V V F V F F F V
V V V V V V V V

c)

P Q P PQ Premisas PQ Vlido
F F F V F F V
F V F V F F V
V F V F F F V
V V V V V V V

d)

P Q R PQ PR QR Premisas R Vlido
F F F F V V F F V
F F V F V V F V V
F V F V V F F F V
F V V V V V V V V
V F F V F V F F V
V F V V V V V V V
V V F V F F F F V
V V V V V V V V V

3.

a)Modusponens
b)Modusponens

c)Modustollens

d)Casos

e)Simplificacin

f)Silogismodisyuntivo

g)Adicin

h)Casos

5.

1.PQ Premisa
2.QR Premisa
3.RP Premisa
4.PR 1,3,SH
5.PR 3,4,Equ

7.

1.P Hiptesis
2.PP 1,A
3.PPP TD
4.P Hiptesis
5.PP 4,A
6.PPP TD
7.PP 3,6,Cs

2.1.Componentessintcticosdelclculodepredicados

1.

a)Animales

b)Sereshumanos

c)Nmerosenteros

d)Nmerosreales(incluyealosnmerosenteros)

e)Sereshumanos(hayanimaleshermafroditasydereproduccinasexual)

3.

a) , 1,2 , 2,3 , ,2

b) ,3

c) , , , ,

5.

Nmerosnaturales: 0

Nmerosenteros: 0

7.

estligadaentodalaexpresin,salvoen

estligadaentodalaexpresin

eslibreentodalaexpresin

9.

a)

b) 1

c) 3

d) 3

2.2.Interpretacionesyvalidez

1.

, ; , ; ,

3.

a)


Juan
Mara
Juana

b)

c)

5.

a) , ,

b) , ,

c) , ,

d) , ,

7.

Estaasignacinhacequenosiempresecumplalaexpresin
:



Porejemplo: esiguala
,queesiguala ,iguala

2.3.Derivaciones

1.

1.
2.
3. 1,
4. 2,
5. 3,4,
6. 5,

3.

1. ,
2. , 1,
3. , 2,
4. , 3,
5. , 4,

5.

1. , , :
2. ,
3. , , 1, ,
4. , 2,3,

7.

, , , ,
, , , , , , , ,
, , , ,

2.4.Equivalenciaslgicas

1.

3.

5.

a) , , , ,

b)

c)

d)

7.

(Equivalencias1y5)

2.5.Lgicadelasecuaciones

1.

1. Premisa
2. 1,simplificacin
3. 1,simplificacin
4. Sustitucinde2en3
5. Teoremadeladeduccin

3.

5.

1. Premisa
2. 1,premultiplicacin
3. 2,inverso
4. 3,identidad

7.

a)Esungrupo

b)Noesungrupoporque0notieneinversoconrespectoalamultiplicacin

c)Noesungrupoporqueningnelementotieneinversosalvoel0

9.

1. Axiomadereflexividad
2. Definicindelaidentidad
3. Definicindelinverso
4. 1,particularizacin
5. 4,conmutatividad
6. 5,asociatividad
7. Particularizacinde3
8. Sustitucinde7en6
9. Particularizacinde2
10. Sustitucinde9en8

11.

Ellgebradescritanotienedefinidoscomplementos

13.

a)

b)No,porquenoestdefinidapara

3.1.Lainduccinennmerosnaturales

1.

s(s(s(n)))=s(s(s(s(s(2)))))=s(s(s(s(3))))=s(s(s(4)))=s(s(5))=s(6)=7

3.

a)Axiomas1,2y4

b)Axiomas2,3y4

c)Axiomas1,2y3

5.

1 s(n)>n
2 n>ms(n)>m
3 s(0)>0 1,n:=0
4 s(s(0))>0 2,3,MP
5 s(s(s(0)))>0 2,4,MP
6 s(s(s(s(0))))>0 2,5,MP

k s(s(s(s(s(0)))))>0 2,k1,MP

Comotodonmeronaturalpuedeexpresarsecomon=s(s(s(s(0)))),entoncessusucesor
s(n)=s(s(s(s(s(0)))))esmayorque0:n(s(n)>0)

7.

Baseinductiva:

nm(n+(m+0)=
=n+m= 0eslaidentidaddelasumaporladerecha
=(n+m)+0) 0eslaidentidaddelasumaporladerecha

Hiptesisinductiva:nmp(n+(m+p)=(n+m)+p)

Pasoinductivo:

nmp(n+1+(m+p)=
=n+(1+m)+p= Porlahiptesisinductiva
=(n+1)+m+p) Porlahiptesisinductiva

9.

Baseinductiva:3223+3(99)

Hiptesisinductiva:n22n+3n3

Pasoinductivo:(n+1)2=n2+2n+12n+5=2(n+1)+3(n2+15n3)


11.

Baseinductiva:unaexpresinatmicatieneunsmbolo(nmeroimpar)

Hiptesisinductiva:cualquierexpresinlgicaformadapornliteralesnonegadostieneun
nmeroimpardesmbolos

Pasoinductivo:unaexpresinformadaporn+1literalesnonegadosaadealaanteriorun
literalyunaconexin,esdecirdossmbolos;alaadirseaunnmeroimpar,elresultadoes
otronmeroimpar(ntesequenopuedenaadirseconexionessinaadirliterales)

3.3.Demostracinporrecursividad

1.

SiG(x,x)escierto,entoncespuedenescribirsesucesionesdecualquiernmerodetrminos
siendotodosellosx

3.

Dominiobienfundado:losnmerosnaturalesmayoresoigualesa2sobrelareglaE
Baseinductiva:laexpresinEdeuntrminoesmayoroigualque2,estoes,mayoro
igualque21
Hiptesisinductiva:todaexpresinEdentrminosesmayorque2n
Pasoinductivo:
o UnaexpresinEden+1trminospuedeserdelaformax+yodelaformaxy,
siendoxunaexpresinatmicaeyunaexpresindentrminos
o Enelprimercaso,laexpresintendrunvalormnimode2+2n=2(n+1)
o Enelsegundocaso,elmnimoserde22n=4n>2(n+1)paratodonmayoro
iguala2
Conclusin:elvalordetodaexpresinEesdealmenos2n,siendonelnmerode
expresionesatmicasquecontienedichaexpresin

5.

Baseinductiva:unrboldealtura1tienecomomnimo1nodo,puesdelocontrario
seradealtura0
Hiptesisinductiva:todorboldealturahtienealmenoshnodos
Pasoinductivo:alaadirunaalturaaunrboldealturah,comomnimoseaadirun
nodo;sielrboldealturahtieneelmnimonmerodenodosparaconsiderarsedetal
altura(hnodos),elnmerodenodosmnimoserh+1
Conclusin:todorbolmariodealturahtienealmenoshnodos

7.

Baseinductiva:conuntrmino,a1=a1
Hiptesisinductiva:parantrminos,a1+(a2++(an1+an))=an+(an1++(a2+a1))
Pasoinductivo:
o Porlaasociatividad,a1+(a2++(an1+an))+an+1=a1+(a2++(an1+(an+an+1)))
o Porotrolado,porlahiptesisinductiva,a1+(a2++(an1+an))+an1=an+(an
1++(a2+a1))+an1
o Debidoalaconmutatividad,estoesigualaan1+an+(an1++(a2+a1))
o Portanto,a1+(a2++(an1+(an+an+1)))=an+1+an+(an1++(a2+a1))
Conclusin:paracualquiernmerodetrminos,a1+(a2++(an1+an))=an+(an
1++(a2+a1))

5.1.Conjuntosyoperacionesdeconjuntos

1.

Sonverdaderasa),b),d),f)yg)

3.

5.

1,3,4,5,7,8

3,5

1,4

7,8

7.

a)

b)

c)

9.

# #
# #
# #

No,porque# # # #

11.

(distributividad, complementacin e
identidad)

(distributividad,exclusineidentidad)

13.

, , ; , ;

, , ; , ; ,

, , ; ;

; ;
15.


(distributividad,exclusin,conmutatividadeidentidad)

19.


(asociativadellgebradeproposiciones)

21.

(idempotencia, asociativa, asociativa,


conmutativayasociativadellgebradeproposiciones)

5.2.Tuplas,sucesionesyconjuntospotencia

1.

2 1,1 , 1,3 , 2,1 , 2,3 , 3,1 , 3,3

1,1 , 1,2 , 1,3 , 2,1 , 2,2 , 2,3 , 3,1 , 3,2 , 3,3

3.

0,0 0,1 , 0,2 , 1,0 , 1,1 , 1,2 , 2,0 , 2,1 , 2,2


0,1 , 0 , 0,1 , 1 , 0,1 , 2 , 0,2 , 0 , , 2,2 , 2

5.

a)# 0. .9 # 0. .9 36 46.656

b)# 0. .9 # # 0. .9 26 36 33.696

c)# 0. .9 # 0. .9 # 0. .9 # 1.213.056
33.696 936 26 1.247.714

7.

: ,

9.

, , , 2 , , 3 , 2, , 2,2 , 2,3 , 3, , 3,2 , 3,3 , , 2,2 , 3,3


, 2 , , 3 , 2, , 2,3 , 3, , 3,2

11.

Algunaspersonasnoposeennada: : : ,

Nadieposeetodo: : : ,

5.3.Relaciones

1.

1,2 , 1,3 , 2,4 , 3,3 , 4,2 ; 2,4

1,2,3 ; 1,2,4 ; 1,2,3,4

2,3,4 ; 2,3,4 ; 4

, , ,
, ,

, ,
, ,

, , ,

, ,
, ,
, ,
, ,

porquelasegundaexpresincontieneloselementosdel
espacioderangoqueseencuentranenambasrelacionesconunelementodelespaciode
dominiodiferente;estoes, , ,

Sisecumpleque paratodovalorde entonceselrangodelainterseccinseraiguala


lainterseccindelosrangos,porloqueesunsubconjuntonopropio

3.

1,2,3,6 ; : , | ; : ,

1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,3 , 2,6 , 3,3 , 3,6 , 6,6
1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,6 , 3,3 , 3,6 , 6,6
1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,6 , 3,3 , 3,6 , 6,6

5.

: , , , | ;elespaciodedominiodelainterseccin
( )eslainterseccindelosespaciosdedominio( )porqueparaqueunelementodel
espaciodedominio puedaestarrelacionadoconunodelespacioderangoresultantedela
interseccin( ),esnecesarioquepertenezcaalespaciodedominio ,puestoquedebe
poderestarrelacionadomediante

: , , , | ;elespaciodedominiodelauninesla
unindelosespaciosdedominio( ),pues puederelacionarelementostantode
comode conlosdelespacioderangoresultante
: , , , | ;elespaciodedominiodel
complementoeselmismoqueeldelarelacin, ,yaqueesigualaladiferenciaentreel
productocartesianodelespaciodedominioporelespacioderangoylapropiarelacin

7.

, |

, |

, |

9.

1,4

11.

0 1 0 0
0 0 1 0

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

1 0 0 0
0 1 0 0

5.4.Propiedadesdelasrelaciones

1.

a)Antisimetraytransitividad

b)Irreflexividad

c)Reflexividad,simetraytransitividad

d)Irreflexividadyantisimetra

Relacindeequivalencia:

Nohayrdenesparcialesdbilesniestrictos

3.

Reflexividad,simetra,antisimetraytransitividad

Esunarelacindeequivalenciayunordenparcialdbil

5.

, ; ,

, ,

, , (Paracualquier
relacin,lainterseccinpuedenoestardefinidasobretodalainterseccindelosespaciosde
dominiooriginales[cf.5.3.1.],perotratndosederelacionesreflexivas,sepuedeasegurarque
lainterseccindeambasestardefinidaparaelementosdelainterseccindeestosespacios,
esdecir, : )

7.

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 3,4 , 1,3

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 1,1 , 3,3 , 4,4

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 1,1 , 4,1 , 3,2 , 4,2

9.

Solamentelospares ,

11.

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

Como 1pero 0,larelacincompuestanoestransitiva,porloquenopuede


serunarelacindeequivalencia;adems,porser 0pero 1,larelacin
tampocoessimtrica

13.

Comolasdosrelacionestienenlasmismasclasesdeequivalencia,delacomposicinsurgir
otraparticinconlosmismosbloques,yaquelacomposicincontendrlospares , tales
que e ;como estrelacionadacon ,entoncesambasestnenlamismaclase,que
tambinserlade (yaqueambasrelacionestienenlasmismasclases);deestemodo,tanto
como estarnenelmismobloque

Porotraparte,estosbloquesseguirnsiendoclasesdeequivalencia,yaquealcumplirambas
relacioneslaspropiedadesreflexiva,simtricaytransitiva,stassemantendrn:

a)Reflexividad:de y surge paratodo

b)Simetra:paratodos e ,enunamismaclasedeequivalenciaestncontenidoslospares
, e , ,puestoque y sonsimtricas;comolasclasessonlasmismas,
yportanto e

c)Transitividad:paratodos , y contenidosenunmismobloquedeloscreadosporla
relacincompuesta,si e , yaque y estabanrelacionados
indirectamenteen y ,alserestasrelacionestransitivasyencontrarseamboselementosen
unamismaclasedeequivalencia

15.

Esantisimtrica,puessi 1con , 0

17.

No,pueshayposiblessucesionestalesque paracualquiervalorde (larelacin es


elordentotalequivalentea )

S,yaqueparacualquiervalorinicialdeunasucesin(elcualpuedeserinfinitamentegrande),
habrunminimal(mayoroigualque1)quehardetrminodedichasucesin

19.

Larelacinb)loesporqueesreflexiva( pertenecealamismafamiliaque ),simtrica(si


pertencealamismafamiliaque ,elrecprocoescierto)ytransitiva(si e pertencenauna
familiae y tambin,entonces y pertenecenalamismafamilia);portodoello,secrean
clasesdeequivalenciaigualesalasfamilias

Larelacinc)tambinesdeequivalenciaporrazonesanlogas;cadaclasedeequivalenciaes
igualaunconjuntodehermanos
21.

0 1 0 0
0 0 0 1

0 1 0 0
1 0 0 0
1 1 0 0
0 1 0 1
(i)
0 1 1 0
1 0 0 1
0 1 0 1
1 0 1 1
(ii)
0 1 0 0
1 1 0 0
1 1 0 1
1 1 0 1
(iii)
1 1 0 1
1 1 0 1

6.1.Representacionesymanipulacionesqueinvolucranfunciones

1.

:funcin;dominio yrango 3

:noesfuncin

:funcin;dominio yrango

:funcinparcial;dominiodominio 2,3 yrango 2

3.

~ : esunafuncindefinidaparatodoslossubconjuntosposiblesde ,yaque
~ siempreestdefinida

S,dadoquedichafuncinindicaraparatodopardeconjuntosdeunconjuntouniversalla
pertenenciaonodelprimeralsegundo;sepodradeclararcomo : , ,
siendo elconjuntouniversal

5.

1,4 , 2,2 , 3,1 , 4,4

1, , 2, , 3, , 4,

, , , , ,

1, , 2, , 3, , 4,

, , , , ,

7.

a)Biyectiva(unoaunoepiyectiva)

b)Inyectiva

c)Epiyectiva(sobre)

9.

a)Epiyectiva(sobre)[Suponiendoquedondedicepardebedecirimparyviceversa]

b)Epiyectiva(sobre)

c)Biyectiva(unoaunoepiyectiva)

d)Biyectiva(unoaunoepiyectiva)

11.

Niinyectivasniepiyectivas:
,0 , ,0 , ,0 , ,1 , ,1 , ,1 , ,2 , ,2 , ,2
,0 , ,1 , ,1 , ,1 , ,0 , ,1 , ,1 , ,1 , ,0
,1 , ,0 , ,0 , ,0 , ,1 , ,0 , ,0 , ,0 , ,1
,0 , ,2 , ,2 , ,2 , ,0 , ,2 , ,2 , ,2 , ,0
,2 , ,0 , ,0 , ,0 , ,2 , ,0 , ,0 , ,0 , ,2
,1 , ,2 , ,2 , ,2 , ,1 , ,2 , ,2 , ,2 , ,1
,2 , ,1 , ,1 , ,1 , ,2 , ,1 , ,1 , ,1 , ,2

Biyectivas:

,0 , ,1 , , 2 , ,0 , ,2 , ,1
,1 , ,0 , , 2 , ,1 , ,2 , ,0
,2 , ,0 , , 1 , ,2 , ,1 , ,0

(Nohayinyectivasquenoseanepiyectivasniviceversa,yaquelacardinalidadde esla
mismaquelade )

13.

essobreporquecualquiernmeronaturalpuedeexpresarsecomosumadeotrosdos,pero
noesinyectivaporqueparacualquiernmeronaturallaecuacin esindeterminada

Porrazonesanlogas, essobreperonoinyectiva,pues esindeterminada,estoes,


tieneinfinitassoluciones

15.

Puedehabertransformacionesinyectivasde a porquelacardinalidaddeambos
productoscartesianoseslamisma:esdecir,aunelemento , selepuedeasociar,por
ejemplo, , ,yassucesivamente

Puestoquelacardinalidadde esigualynomayoralade ,lafuncinseratambin


sobre

17.

, , , , , , ,

19.

5
4 2
2
5
4 1
2

21.

1
, 1

1, 1

Resto: 1

6.2.Enumeraciones,isomorfismosyhomomorfismos

1.

a)

1,1,1 , 1,1,2 , 1,1,3 , 1,2,1 , 1,2,2 , 1,2,3 , 1,3,1 , 1,3,2 , 1,3,3 ,

2,1,1 , 2,1,2 , 2,1,3 , 2,2,1 , 2,2,2 , 2,2,3 , 2,3,1 , 2,3,2 , 2,3,3 ,

3,1,1 , 3,1,2 , 3,1,3 , 3,2,1 , 3,2,2 , 3,2,3 , 3,3,1 , 3,3,2 , 3,3,3

b)

3,1,1 , 4,1,1 , 4,1,2 , 4,2,1 , 5,1,1 , 5,1,2 , 5,1,3 , 5,2,1 , 5,2,2 ,

5,3,1 , 6,1,2 , 6,1,3 , 6,2,1 , 6,2,2 , 6,2,3 , 6,3,1 , 6,3,2 , 7,1,3 ,

7,2,2 , 7,2,3 , 7,3,1 , 7,3,2 , 7,3,3 , 8,2,3 , 8,3,2 , 8,3,3 , 9,3,3

3.

Paraloselemento de y de ,laposicinenlaenumeracinvienedadaporlafrmula
,siendo lafuncinquedevuelveelnmerodetuplascuyosvalores
suman (porejemplo, 1 0y 2 1),lacualdependedelacardinalidadde yde

Enlaposicin estalmacenadalatupla ,

5.

: ; , ,donde expresadoenformadefraccincannica;el
valor eslaposicinde enlaenumeracinformadaporlosnmeroscuyafraccincannica
tengapordenominadora (estasenumeracionesseran , , , , , , , , , , , , y
assucesivamente)

esasinyectiva,puescada secorrespondeconunanicatupla,ysobre,yaquetodaslas
tuplasen corresponderanaunafraccin;porlotanto, esbiyectivayelconjuntode
losnmerosracionalesesequipotenteconeldelosnaturalespositivosyportantoescontable

7.

26,4 26 25 24 23 358.800

9.


1 2 3 4
11.

1 2 3
1 3 2

7.2.Definicionesbsicasdelateoradegrafos

1.

Todaslasaristasquesalendetodoslosnodos(quesumaneltotaldegradosdeentrada)
debenllegaraotrosnodosdelgrafo,porloqueambostotalessoniguales.Adems,este
nmeroeselnmerodearistasdelgrafo,yaquecadaaristaquesaledeunnodoyllegaaotro
esunaaristadelgrafo.

3.

Elnmerodedgrafossencillosposibleseslimitadoporqueslopuedendarseciertas
combinacionesdegradosdeentradaydesalidaencadanodo:

Gradosdeentradaysalida Propiedades
Aristas
Nodo1 Nodo2 Nodo3 Simetra Transitividad
0 0,0 0,0 0,0
1 1,0 0,1 0,0
2,0 0,1 0,1
1,1 1,1 0,0
2
1,1 1,0 0,1
1,0 1,0 0,2
2,1 1,1 0,1
2,0 1,1 0,2
3
1,1 1,2 1,0
1,1 1,1 1,1
2,2 1,1 1,1
2,1 2,1 0,2
4
2,1 1,2 1,1
2,0 1,2 1,2
5 2,2 2,1 1,2
6 2,2 2,2 2,2

Ningndigrafosencilloysinbuclesdemsdetresaristaspuedesertransitivo,yaqueapartir
delascuatroaristasningunoesantisimtrico,yporotroladoelhechodeexcluirlosbucles
impidequesecumplelareflexividad.

5.

Elgrafodelaizquierdatienecuatronodosadyacentescongradodeentrada(osalida)iguala
3:u1,u2,u6yu7.Encambio,eneldeladerechaloscuatronodoscongradodeentrada(o
salida)iguala3nosonadyacentes,porloqueambosgrafosnosonisomorfos.

11.1.Derivacionesenclculoproposicional

1.

a)

1 PQ
2 P
3 Q
4 Q R,3
5 P
6 Q
7 P R,2
8 PP I,5,7
9 Q I,58
10 Q E,9
11 Q E,1,310
12 PQ I,211

b)

1 (PQ)R
2 P
3 Q
4 P R,2
5 PQ I,3,4
6 R E,1,5
7 QR I,36
8 P(QR) I,27

c)

[Errata]

3.

a)

[Errata?SiPQ,nosecumplePQ]

b)

1 PQ
2 PQS I,1

[NopareceposibleintroducirQSentreparntesismediantederivacinnatural;porlotanto,
losparntesisdebenaadirsealaconclusinunavezobtenidaenelpaso2]


c)

1 PQ
2 PQ
3 P E,2
4 Q PQ,PQ,QQ
5 Q E,2
6 QQ I,4,5
7 (PQ) I,26

5.

a)

1 P
2 Q
3 PQ
4 P R,1
5 Q PQ,PQ,QQ
6 Q R,2
7 QQ I,5,6
8 (PQ) I,37

b)

1 P
2 PQ
3 P R,1
4 P E,2
5 PP I,3,4
6 (PQ) I,25

c)

1 P
2 Q
3 PQ
4 P
5 Q E,3,4
6 Q R,2
7 QQ I,5,6
8 P I,47
9 P R,1
10 PP I,8,9
11 (PQ) I,310

7.

PQ PQ;QR QR;PR PR PR;R R

1 PQ Premisa
2 QR Premisa
3 PR Premisa
4 R Negacindelaconclusin
5 PR Resolventede1,2
6 R Resolventede3,5
7 F Resolventede4,6

9.

a)

1 P1Q1
2 P2Q2
3 P1P2
4 P2
5 P1 P1P2,P1P1,P2P1
6 Q1 E,1,5
7 Q1Q2 I,6
8 P1
9 P2 P1P2,P1P2,P2P2
10 Q2 E,2,10
11 Q1Q2 I,10
12 P1P2Q1Q2 I,311

b)

(P1P2Q1Q2) (P1P2Q1Q2) (P1P2)(Q1Q2) (P1P2Q1)(P1P2Q2)

1 P1Q1 Premisa
2 P2Q2 Premisa
3 P1P2Q1 Negacindelaconclusin
4 P1P2Q2 Negacindelaconclusin
5 P1P1P2 Resolventede1,3
6 P2P1P2 Resolventede2,4
7 P1P2 Resolventede5,6
8 Q1 Resolventede3,7
9 Q1 Resolventede1,6
10 F Resolventede8,9

11.2.Algunosresultadosdelclculodepredicados

1.

a)xy(P(x)Q(y))zyR(x,y)

b)xyz(P(x,y)P(x,z)P(y,z))

3.

a)

xyQ(x,y)(xy(R(x,y)Q(x,y)))=xyQ(x,y)(zt((R(z,t)Q(z,t))(R(z,t)Q(z,t))))=x
yzt(Q(x,y)(((R(z,t)Q(z,t))(R(z,t)Q(z,t)))))

b)

xyz(R(x,y,z)Q(x,y,z))=xyz(R(x,y,z)Q(x,y,z))=xyz(R(x,y,z)Q(x,y,z))

c)

x(yP(x,y)zP(z,x))=x(yP(x,y)zP(z,x))=xyz(P(x,y)P(z,x))

11.3.Derivacionesenelclculodepredicados

1.

1 x(PQ(x))
2 PQ(a) E,1
3 P
4 Q(a) E,2,3
5 xQ(x) I,4
6 PxQ(x) I,36

3.

1 xM(x)
2 x(M(x)C(x,a))
3 x(yC(x,y)F(x)
4 M(b) E,1
5 M(b)C(b,a) E,2
6 yC(b,y)F(b) E,3
7 C(b,a)F(b) E,6
8 C(b,a) E,4,5
9 F(b) E,7,8
10 xF(x) I,9

5.

a)P(x,f(x))Q(x,f(x))

b)P(f(x),z,x)

c)P(f(x,y),x,f(x,y),y)

7.

1 P(x) Dada
2 P(x)Q(x) Dada
3 Q(a)R(b) Dada
4 R(x) Dada
5 P(a) Lnea1conx:=a
6 P(a)Q(a) Lnea2conx:=a
7 Q(a) Resolventede5,6
8 R(b) Resolventede3,7
9 R(b) Lnea4conx:=b

Contradiccinen8,9