Lgica General

Introduccin
La lgica es la ciencia formal que estudia el pensamiento, nos permite razonar correctamente y determinar la validez de los razonamientos.

Objetivos de la Lgica

La Ciencia y su Clasificacion
La Ciencias 'atematicas Logica Computacion Ciencias (isica *sicologia

Ciencia formales:

#ra,a-an con formas, es decir con o,-etos ideales, que son creados por la mente del .om,re. !stas ciencias esta,lecen el razonamiento logico.

Ciencias fcticas:

&e encarga de estudiar .ec.os au/ili0ndose de la o,servacin y la e/perimentacin.

#ra,a-an con o,-etos reales que ocupan un espacio y un tiempo.

Definicin de la lgica

&e define como lgica a la ciencia que estudia el pensamiento. A diferencia de las otras ciencias, la lgica estudia nuestros pensamientos.

Logica %eontica Logica !pistemica Logica %o/astica A)!A& %! LA LO ICA Logica #emporal

Principios Lgicos
*rincipio %ial1ctico de La )azn &uficiente

Principios Lgicos

*rincipio (ormal de Identidad

Principios Lgicos

*rincipio (ormal de "o Contradiccin

23p

Principios Lgicos

*rincipio (ormal del #ercio !/cluido

3p

L ! " DI#L$C%IC#"
Ley de la negacin de la negacin4

!sta ley plantea que la negacin anterior de los opuestos resulta a su vez negada y se o,tiene una nueva situacin a un !s la famosa 5ley5 del nuevo nivel. desarrollo en espiral, en la que la nueva situacin repite algunos aspectos de la situacin inicial.

L ! " DI#L$C%IC#"
Ley de la unidad y luc.a de contrarios4

!sta ley afirma que la e/istencia de uno presupone la e/istencia del otro y en eso radica su unidad. Bien, la carga positiva presupone la negativa, el electrn al positrn, la materia a la antimateria.

Lo que se estar6a e/presando en este sentido ser6a una caracter6stica simtrica del universo.

L ! " DI#L$C%IC#"
Ley de la transformacin de la cantidad en calidad4

La filosof6a comunista pone un 1nfasis especial en esta idea, porque permite definir cmo la suma de peque7os conflictos sociales lleva al salto cualitativo, a la revolucin.

&lo tenemos que pensar que la mayor parte de los cuerpos en el universo se componen de elementos que difieren por el n8mero de part6culas atmicas que los componen, aunque no sea el n8mero la 8nica diferencia o la diferencia m0s significativa, pues e/iste tam,i1n una diferencia organizativa o estructural

& 'CICIO" D "#''OLL#DO"

(). &on caracter6sticas de las ciencias emp6ricas4 9. &u m1todo es el inductivismo. :. &on eminentemente a/iom0ticas. ;. !l m1todo que emplea tiene que ver con los aportes de (rancis Bacon. <. &on demostrativas y anal6ticas. =. La verificacin y la refutacin est0n 6ntimamente ligadas con estas ciencias. &on ciertas4 a> 9, : y ; ,> solo : y < c> 9, ; y = d> :, ; y < e> ;, < y =

'esolucin

emp6ricas ? Ciencia s f0cticas &e ,asan 4 en .ec.o @ s Investiga ne @ &on pred n ,ase al fenme no om @ (rancis B inantemente indu ctivistas acon, con Organon s u N , o a v p u orta con m @ el m1tod La verific o in du acin imp emp6rica lica comp ctivista y es una ro,aci caracter6s ciencias. tica de es n tas

Ciencias

CL#* +C,

(-. 9. :. ;. <. =.

%e la lgica formal afirmamos4 !s considerada como un instrumento intelectual. !s empleada en la validacin de las .iptesis causal6sticas, en el desarrollo de la ciencia. &u principal an0lisis se centra en la validez de los razonamientos y argumentos. !s una ciencia ya terminada y concluida. &eg8n Aristteles es conocida como lgica mayor. @ Lg cienc ia form ica formal &on ciertas4 e estud al y s u o,- e s una io es a> 9, : y ; ,> solo : y < c> 9, ; y = la val razon idez d to de a m i @ e el nt o d> :, ; y < e> ;, < y = Las c . ie ac uer do a ' ncias form a desar a 'esolucin rollar, rio Bunge les, de , sirve f unda a las c n p ar m i e e n nt ar y @ c i as f ac t ua e/plic a &e g 8 les. ar n 'ayo r es la Aristteles ,l porqu L e ,as gica %ial a Lgica a 1 realid ad o, su an0lisis ctica -etiva en la . CL#* +#,

(.. 9. :. ;. <. =.

&on 0reas de la Lgica formal4 Lgica proposicional. Lgica dial1ctica. Lgica cuantificacional. Lgica dentica. Lgica intuitiva.

&on ciertas4 a> 9, : y ; ,> solo : y < d> :, ; y < e> ;, < y = 'esolucin

c> 9, ; y <

Logica formal @ !n ,ase a la unidad de an0lisis4 Lgica *roposicional 3unidad ? proposicin> y Lgica de *redicados 3unidad ? t1rmino> @ !n ,ase a su alcance4 Lgica Cuantificacional 3conte/to>, Lgica 'odal 3cualquier conte/to> Lgica %entica 3incluye -uicios de valor>

CL#* +C,

(/.%e las ciencias formales afirmamos4 9. &on eminentemente a/iom0ticas. :. Lei,niz es uno de los representantes de estas ciencias. ;. &on eminentemente demostrativas. <. )equieren de la e/periencia y la verificacin para determinar la verdad de sus conclusiones. =. &on inductivistas y falsacionistas en su m1todo para determinar la verdad @ de sus afirmaciones. Lgic una a &on ciertas4 a> 9, : y ; ,> solo : y < c> 9, ; y = d> :, ; y < e> ;, < y = 'esolucin:
cie fo o,-eto ncia forma rmal es l y su d valide e estudio es la z del @ raz Las c onamiento forma iencia . le s 'ario s, de acue rd B desar unge, sirv o a en pa rollar, ra fu e/plic ar a la ndamenta ry s cien factua cias les. @ &eg8 n Lgic a 'ay Aristtele s or es %ial1c la Lg , la tica p ica orque an0lis is , o,-eti en la reali asa su va. dad

CL #*

+# ,

(0. !n el argumento4 AB!n el *er8 C di-o el presidente C la inflacin tiende a disminuir pero, por factores e/ternos, la inflacin su,e, siempre que mane-emos con seriedad la econom6aD. %e esta afirmacin, un periodista lleg a la conclusin que la econom6a no es mane-ada con seriedadE. *odemos afirmar4 9. !l periodista aplic un m1todo ya tra,a-ado por Fenn de !lea. :. !l periodista aplic un m1todo de demostracin formal. ;. La conclusin planteada por el periodista es un a,surdo con el af0n de desprestigiar al actual go,ierno. <. !l periodista demostr sus conocimientos de lgica dial1ctica. =. !l periodista aplic un principio lgico formal planteado por Aristteles. &on ciertas4 a> todas ,> solo 9 y : c> solo ; y = d> solo 9, :, < y = e> 9, : y = 'esolucin

CL#* +1,

)e d sup ucci ver one u n al A d , der ader na afi surd a, s r m a o4 & iva el v ia al g ci e opu alor d o imp partir n com est e ve osi, de ella o o. r da l e, e da s dem !st s um nt onc e e o Fen stra m1t ido es o c es d i n n o un el m 1 d e !l e s a d e ea t od tri, o fo y e u r m a s c o i do a ns i l. der ado

P'3C%IC# D CL#"
()2 La lgica dentica incluye a que teor6as o formales4 9. Lgica proposicional. :. Lgica de predicados. ;. Lgica de primer orden. <. Lgica modal. =. Lgica de sentencias. c0lculos lgicos

&on ciertas4 a> todas ,> solo 9, : y ; c> solo ; y < d> solo 9, :, < y = e> solo 9, : y =

(-2 La investigacin de las relaciones lgicas entre rdenes o entre afirmaciones de o,ligacin pertenece al campo de estudio de la4 a> ,> c> d> e> lgica proposicional. lgica de predicados. lgica de primer orden lgica modal. lgica dentica.

(.2 %e los conceptos4 posi,ilidad, necesidad y temporalidadG podemos afirmar que4 9. (ueron estudiados por los estoicos en la antigua recia. :. Los conceptos son ,ases para la lgica modal. ;. Huienes los plantearon fueron4 (iln de 'egara y %iodoro Cronos. <. La lgica que los estudia es fundamental para el %erec.o. =. Aristteles ya los estudi en el tratado4 ACategor6asE. &on ciertas4 a> 9, : y ; ,> solo : y < c> 9, ; y = d> :, ; y < e> ;, < y =

(/2 *ara la ciencia, la realidad es4 a>#odo aquello que e/iste fuera de nosotros y que depende de nuestra conciencia para su e/istencia. ,>#odo aquello que e/iste fuera de nuestra conciencia pero que es facti,le su manipulacin para su conocimiento y transformacin. c>#odo aquello que e/iste dentro de nuestro mundo o,-etivo y su,-etivo, luego es interpreta,le. d>#odo aquello que e/iste independientemente de nuestra conciencia y que no depende de ella. e>#odo aquello que es conocido o que se est0 conociendo y que e/iste independientemente de nuestra conciencia.

(02 %e acuerdo a la epistemolog6a un Ao,-etoE es4 a>&olo aquello que podemos ver, o,servar o manipular. ,>#odo lo que puede ser materia de conocimiento o sensi,ilidad de parte del su-eto, incluso este mismo. c>Aquello que sirve de materia o asunto al e-ercicio de las facultades mentales. d>(in o intento a que se dirige o encamina una accin u operacin. e>!s la realidad que el .om,re ya conoce o est0 en proceso de conocerla.

(42 %e las afirmaciones4 9.La funcin del o-o es traducir, o no, las vi,raciones electromagn1ticas de la luz en un determinado tipo de impulsos nerviosos que se transmiten al cere,ro. :.&i el sistema l6m,ico est0 formado por partes del t0lamo, .ipot0lamo, .ipocampo, am6gdala, cuerpo calloso, septum y mesenc1falo o,viamente que est0 formado por partes del t0lamo, .ipot0lamo, .ipocampo, am6gdala, cuerpo calloso, septum y mesenc1falo. ;."o ocurre queG la orina normal contiene un IJK de agua y un <K de slidos en solucin y que sea falso que la orina normal contiene un IJK de agua y un <K de slidos en solucin. <.&istema inmunolgico, tam,i1n llamado sistema inmune, es el sistema corporal cuya funcin primordial consiste en destruir los agentes patgenos que encuentra. =.!l tiroides es una gl0ndula ,ilo,ulada situada en el cuello aunque el tiroides no es una gl0ndula ,ilo,ulada situada en el cuello. )epresentan principios de la Lgica (ormal4 a> 9, : y ;,> solo : y < c> 9, ; y = d> :, ; y <e> ;, < y =

(52 &i colocamos un recipiente con agua en la cocina y cada minuto que pasa aumenta la temperatura del agua .asta llegar a los 9LLM cent6grados, donde el agua cam,ia de fase l6quida a fase gaseosa. !n este proceso la ley de la lgica dial1ctica que identificamos es4 a> ,> c> d> e> Unidad y luc.a de contrarios. "o contradiccin. )educcin al a,surdo. Cam,ios cuantitativos a saltos cualitativos. #ercio e/cluso.

(62

!n el argumento4 ALa democracia occidental est0 sustentada en las elecciones donde un grupo o partido asume el go,ierno y otro grupo queda como la oposicin, la cual es necesaria, su eliminacin implicar6a atraso y a,uso del poderE. Hueda manifiesta la ley lgica dial1ctica de4 a>Unidad y luc.a de contrarios. ,>"o contradiccin. c>)educcin al a,surdo. d>Cam,ios cuantitativos a saltos cualitativos. e>#ercio e/cluso.

(72 %e las afirmaciones relacionadas con las ta,las de verdad4 9.Una aplicacin importante es la de los circuitos lgicos, interpretando los valores lgicos de verdad como N1 = pasa corrienteD y NL ? no pasa corrienteD. :.!s una .erramienta desarrollada por C.arles *eirce en los a7os 9OOL. ;.&e emplean en lgica para determinar los posi,les valores de verdad de una frmula o de una proposicin. <.A trav1s de una tautolog6a se demuestra la validez de una inferencia. =.&e le define como un m1todo pro,a,il6stica. &on ciertas4 a> 9, : y ; ,> solo : y < d> :, ; y < e> todas

c> 9, ; y =

)(2 %e las afirmaciones4 9.!s o,ligatorio que todo peruano mayor de edad acuda a las urnas a votar. :.!s posi,le que alg8n d6a la educacin estatal se privatice. ;.!s permitido que una familia adopte ni7os. <.!s necesario que todos reci,an una ,uena educacin y cari7o. =.!s il6cito en el *er8 que una persona se case m0s de una vez. Corresponden a la lgica dentica4 a> 9, : y ; ,> solo : y < c> 9, ; y = d> :, ; y < e> todas

))2!l argumento4 A#odas las mariposas son congresistas y todos los congresista son leales a la mermeladaG por lo tanto, todas las mariposas son leales a la mermeladaE. (ormalmente es4 9. Un razonamiento correcto. :. Una falacia. ;. Un razonamiento verdadero. <. Un razonamiento v0lido. =. Un razonamiento falso. &on ciertas4 a> 9, : y ; ,> solo 9 y < d> :, ; y < e> todas

c> 9, ; y =

)-2 !n4 APamlet, en la o,ra del mismo nom,re, dice N&er o no ser .e all6 el dilemaQD EG &.aRespeare, autor de dic.a o,ra, .ace alusin al principio lgico formal de4 a> ,> c> d> e> Unidad y luc.a de contrarios. "o contradiccin. )educcin al a,surdo. Cam,ios cuantitativos a saltos cualitativos. #ercio e/cluso.

).2 !l caso4 ACon la condicin inicial de que Nuna persona puede elegir una de dos opciones si encuentra una diferencia que le permita tomar la decisinD, adem0s, se sa,e que a Carlos, un voluntario para el e/perimento, se le ofrece dos porciones de comida e/actamente iguales y se le pide que eli-a cu0l de dic.as porciones de,er0 comer para no morir de .am,re C siguiendo la condicin inicial 2, vi1ndose 1ste imposi,ilitado de poder elegir C por no .allar diferencia alguna C, termina muriendo de .am,reE !l principio lgico que se presente contradecir es4 a> "o contradiccin ,> )azn suficiente c> Identidad d> #ercio e/cluido e> )educcin al a,surdo

)/2 %e la lgica formal afirmamos4 9. (acilita el uso de .erramientas para el desarrollo de otras ciencias. :. !studia todo lo o,-etivo para poder comprender el mundo en el que vivimos. ;. Utiliza .iptesis que, en su mayor6a, son temporales. <. &e le utiliza para determinar, formalmente, la verdad de un conocimiento. =. Utiliza un lengua-e sim,lico para las demostraciones de verdad y tam,i1n para las de validez. &on ciertas4 a> 9, ; y < ,> :, ; y = d> 9, < y = e> :, ; y <

c> 9, : y =

)02 Con relacin a los aportes importantes para el desarrollo de las lgicas, son adecuadas las correspondencias4 9. ottlo, (rege C Lgica 'odal :. &a8l SripRe C Lgica 'odal ;. 'eg0ricos C Lgica %entica <. PenriR von Trig.t C Lgica %entica =. Bertrand )ussell C Lgica Com,inatoria. &on ciertas4 a> solo 9 y ; ,> solo : y < d> 9, ; y = e> :, < y =

c> slo ; y =

)42 &on e/presiones que condu-eron a la aparicin de las Lgicas 'ultivaluadas4

9. !l vaso est0 semi lleno de agua :. !l pl0tano tiene tono amarillento ;. #res es un n8mero natural <. !l con-untor es un operador lgico =. Carlos es mayor que In1s

&on correctas4 A> 9, : y ; B> :, ; y < C> ;, < y = %> 9, : y =

!> 9, < y =

)52 &on aplicaciones computacionales de la Lgica (ormal4

9. Interpretacin de la realidad :. An0lisis y s6ntesis de programas ;. )epresentacin del conocimiento <. Optimizacin de sistemas =. %escripcin de .ec.os concretos

&on correctas4 A> 9, : y ; B> :, ; y < C> ;, < y = %> 9, : y =

!> 9, < y =

)62

La lgica formal se caracteriza porque4

9. Ualida los razonamientos solo teniendo en cuenta su estructura :. Analiza la correspondencia de nuestros pensamientos con la realidad ;. !s una ciencia empirica <. !s utilizada por la ciencia para conseguir sus investigaciones =. Utiliza el m1todo deductivo precisin formal en

&on falsas, e/cepto4 A> = y ; B> ; y < C> 9, : y = %> 9, < y = !> ;, < y =

)72 %e los principios lgicos formales, es correctos afirmar que4 A> &on contingentes B> &on contradictorios C> &on indeterminados %> &on tautolgicos !> &on dial1cticos

-(2 A la lgica dial1ctica le interesa4

A>La forma lgica de nuestros pensamientos B>Los razonamientos emp6ricos que puedan producirse C>!l contenido lgico de nuestros pensamientos %>La correspondencia de nuestros pensamientos con la realidad !>C y % son correctas

(rases

!l

ignorante afirma, el sa,io

duda y refle/iona.

Considero

m0s valiente al que conquista sus deseos

que al que conquista a sus enemigos, ya que la victoria m0s dura es la victoria so,re uno mismo.

 Integrantes4
%om6nguez avidia Vos1 )odolfo uanilo Celis %ennis C.ristop.er "oriega Fapata Vuan 'arco #rigoso Lozano !rWin Larzon

racias