1. SIMBOLIZACIÓN DE PROPOSICIONES

VI

PROLOGO

on un gu ve io u titi li li z e n o nc nc e d as as e d e e st st ud ud ia ia nt nt e s el el cc cc ci ci on on ad ad o d e l a e s u el el a e le le m n ta ta l e n 1 96 96 11- 62 62 . L a t er er ce ce r v er er si si o s e u ti ti li li z e xp xp er er im im en en ta ta lm lm en en t e n 1 96 96 22- 6 c o d ie ie z d as as e d e s tu tu di di an an te te s e le le cc cc io io na na do do s d e l a s cu cu el el a l em em en en ta ta l 2 0 e st st u te o ci ci n nt Office (If d uc uc at at io io n l a N at at io io na na l S ci ci en en c o un un da da titi on on . e di di ci ci o d e l ib ib r f u s ub ub ve ve nc nc io io n d a p o l a C a n eg eg i C o p o a titi o d e N ue ue v Y or or k puedan an utili utiliza za 10 pued l o e st st ud ud ia ia nt nt e o n u n m a g e d e e da da d h ab ab il il id id a u y a mp mp lili o L a L og og ic ic s a fo fo rt rt un un ad ad a e nt nt e e s u n d e l a a te te ri ri a q u n o r eq eq ui ui e g ra ra n b as as e exper ie ie nc nc i p ar ar a p od od e l le le ga ga r u n b ue ue n a di di es es t a mi mi en en to to . o r e st st a r az az on on , u n l ib ib r i cu cu l iz i ed ed a dian diante tes. s. La expe experi rien enci ci COil l a v er er si si on on e c itit ad ad a i nd nd ic ic a q u e l m at at e i a q u c on on ti ti en en e e s r az az on on ab ab le le me me nt nt e s at at is is fa fa ct ct or or i p ar ar a l o e st st ud ud ia ia nt nt e s el el ec ec ci ci on on ad ad o d e e gu gu nd nd a e ns ns ef ef ia ia nz nz a y , p o o t p a t e n o d e a si si ad ad o e le le me me nt nt a p a qu ti lu C re re e o s q u e st st e l ib ib r s e i it it i u n g ra ra n d iv iv e s id id a d e a lu lu mn mn o d e n se se f ia ia nz nz a m ed ed i l a c la la se se s d e M at at e a titi ca ca s d e e le le ct ct iv iv e d e l a F ac ac ul ul ta ta d sr e n p re re pa pa ra ra ci ci 6 e l S eg eg un un d c ur ur s d e L 6g 6g ic ic a matemdtica para para aque aquella lla clas clases es qu

d is is po po ng ng a d e t ie ie mp mp o p ar ar a u n e xp xp os os ic ic io io n a s a mp mp li li a d e e st st a A gr gr ad ad ec ec em em o M rs rs . M ad ad el el in in e A nd nd er er so so n s u t ra ra ba ba j p ac ac ie ie nt nt e tent tent de meca mecano nogr graf afia ia eI manu manusc scri rito, to, Mani Manife fest stam amos os nues nuestr tr mayor mayor c i i en en t M r F re re de de ri ri c i n o r p o u s v al al io io sa sa s s ug ug e e nc nc ia ia s ie po le pa para el m ae ae st st ro ro . M r R ic ic ha ha r F ri ri ed ed be be r h iz iz o m uc uc ho ho s c om om en en ta ta ri ri o mu iiti iitile le a1 u lt lt im im ob ob or or ra ra do do r d e m an an us us cr cr itit o

INDICE ANALiTIC

Prefacio

1. SIMBOLIZACI6N

1.1 'Propos 'Proposici icione one 1 . T er er mi mi no no s d e e nl nl ac ac e 1. ,1.4

1.

L a f or or m d e l a p ro ro po po si si ci ci on on e m ol ol ec ec ul ul ar ar e Simbol Simboliza izaci6 ci6 de propos proposici icione one L o r e i no no s d e e nl nl ac ac e sus slmbol slmbolos os No

entonces ... Sl., entonces 1:6 Agrupa Agrupamie miento nto parentesis L a n eg eg ac ac io io n d e u n p ro ro po po si si ci ci o 1 . E li li mi mi na na ci ci 6 d e a lg lg un un o p ar ar en en te te si si s 1 . R es es um um e

a te te ri ri a cornpe-

reco recononor itit ic ic as as , on c ri ri ti ti ca ca s

2.

N F R EN EN C 2. 2.

PATRICK SUPPES SHIR SHIRLE LE

DE PROPOSICIONES

HILL HILL

Univ Univer ersi sida da de Stan Stanfor for Stanfor Stanford, d, Califo Californi rni Ener Enero, o, 196

2. 2. 2.

L 6G 6G I

Intr Introd oduc ucci cion on R eg eg la la s d e i nf nf er er en en ci ci a d em em os os tr tr ac ac io io n M od od u p on on en en d p on on en en s Demostraciones D er er no no st st ra ra ci ci on on e e n d o p as as o Doble Doble negaci negacion on Modu Modu toll tollen endo do tolle tollens ns M a s ob ob r l a n eg eg ac ac i6 i6 n Adjunc Adjunci6n i6n simpli simplific ficaci aci6n 6n Disj Disjun unci cione one como como prem premis isas as Modu Modu tolle tollend nd pone ponens ns Dedu Deducc ccion ion prop propos osic icion ional al M a s ob ob r p ar ar en en te te si si s O tr tr a r eg eg la la s d e i nf nf er er en en ci ci a L e d e a di di ci ci 6 Le de silo silogi gism sm hipot hipotet etic ic Le de silo silogi gism sm disyun disyunti tivo vo

m ol ol ec ec ul ul a

10 12 14 16 20 22 30 .3

37

44 44

45 45

48 50

53 55

58 61 64 66 70 78 81 81 85 89