Loguica

Enviado por Programa Chuletas y clasificado en Filosofía y ética

Escrito el en español con un tamaño de 2,21 KB

 
       la logica:s la toria gnral d la argumntc.x toria entndmos 1conj d enuncia2 supustamnts vrdadros sobr y algo y q an sio empla2 a partir d1conj d procdimientos y driva2 d1conj d ipotsis.funcions dl lnguaj:puedn sr exclamt ,dscript y rprsntativ sta ultima s la q intrsa en logica.dt,infrncia logica:en log intrsan argumntacions cuya falsdad s impos edcir,qsan ncsariamn validas.1arrgumntac s log si ls prmisas implican ncsariamt la conclusio,1argumntacio nos valid dsdl punt d vist dla logi si ls prmis sn vrdadras yala vz la conclusio s falsa.forma logica:entndms la form sintactica.el exo dq 1argumntac sa valida logicamt en funcio dsu form.obj dla log:la log consit en formaliza( ayar la struct sintactica)y sistmatical conj dargumntacions dductivas corrctas qs corrspondn con1dtr concpt d valid.payo ay qdscifrar 1lnguaj formal qnos diga la form dla argumntcy 1formatic formal qnos prmita sabr ks la valid.el lng.formal:enunciad/proposicionals/entndmos oracions en si,mientras q proposicion enl signif dla oracio.difrnt enunciads puedn exprsar la misma proposicion.elmntos dl lnguaj formal:consta d:1conj enumrabl,infinito d variabls proposicionls:p,r,q,s,t..1conjun d conctivas proposicns,^,v¬ ..^rprs la conj copult y.v rprs la disyuncion inclusiva o.&ngacio. rprsnt si condiciona. bicondiciona.parntsis cm simbols auxiliars.fbf:pa sclarc qconcatnacions con ls simbls antrior sn admisibls utilizarms ls mayusculs latinas abc o variabls mtalinguistic.1)toas ls variabls proposicionals sn fbf.2)si a y b sn fbf tb sn a^b,avb,a- b&a,a--b.3)no ai + fbf qlas qs puen forma atravs dl apartao 1 y 2.ayb no rprsntan variabls proposicionals srfiern a fbf cuals kiera.smantica formal:e svri xkl 1ic signif posib sl valo dvrda xrl valo dvrd sntiend en sntio bivant.la2ªcaractrist kr dci qla vrda d ls enunciaos compljos dpnd d la vrda dls enunciaos simpls qlo componn.calculo d dduccion natu.concpt d argumnt forma 1argumntac consta d1conj d prmisa prfctm dfinias y 1conj d rglas fd transfformac.a partir d ls cuals s sacan conclusions.

Entradas relacionadas: