Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para la Educacin

u. E colegio Nazaret fe y alegra
!MP "#$
%&tedra' #lgebra

Realizado Por'
Reinier Martnez Rodrguez ( )*

+a lgica
%oncepto
+a lgica es el estudio de la inferencia. +a inferencia es el proceso por el cual se derivan
conclusiones a partir de pre,isas. +a lgica investiga los principios por los cuales
algunas inferencias son aceptables- y otras no. %uando una inferencia es aceptable- lo es
por su estructura lgica- y no por el contenido especfico del argu,ento . Por esta razn
la lgica se considera una ciencia for,al- co,o la ,ate,&tica- en vez de una ciencia
e,prica.
+a lgica tradicional,ente se consider una ra,a de la filosofa. Pero desde finales del
siglo ./.- su for,alizacin si,blica 0a de,ostrado una nti,a relacin con las
,ate,&ticas- y dio lugar a la lgica ,ate,&tica. En el siglo .. la lgica 0a pasado a
ser principal,ente la lgica si,blica- un c&lculo definido por s,bolos y reglas de
inferencia- lo 1ue 0a per,itido su aplicacin a la infor,&tica. 2asta el siglo ./.- la
lgica aristot3lica y estoica ,antuvieron sie,pre una relacin con los argu,entos
for,ulados en lengua4e natural. 2oy esa relacin se trata ba4o un punto de vista
co,pleta,ente diferente. +a for,alizacin estricta 0a ,ostrado las li,itaciones de la
lgica tradicional o aristot3lica- 1ue 0oy se interpreta co,o una parte pe1ue5a de la
lgica de clases.
6b4etivo
%o,o ra,a de la filosofa- la lgica es el estudio de las leyes de la razn. +o 1ue 0ace la
lgica a trav3s de sus diferentes t3cnicas- es desentra5ar el c,o se da el orden o
co0erencia de conceptos y 4uicios y c,o estos dos integran al raciocinio. +os ob4etivos
de la lgica son e7poner las leyes del raciocinio correcto- y ta,bi3n verdadero. Para eso
estudia c,o se deben enlazar las proposiciones 8enunciados9 1ue usa,os para pensar.
Por eso- todas las ciencias y la ,ate,&tica usan de ella- pues gracias a las bases 1ue
ofrece se puede tener la certeza en un argu,ento 8algo 1ue se propone co,o verdadero9.
!ipos de lgica
:e pueden clasificar de la siguiente for,a'
#.; +gica for,al' es conocida ta,bi3n co,o la lgica cl&sica o aristot3lica- #ristteles
fue su creador- aun1ue despu3s se presentaron otros filsofos con otras definiciones-
esta es la pri,ordial< con la evolucin de las ,ate,&ticas- se da inicio a la lgica
,oderna- ,ate,&tica- si,blica o logstica.
=e la lgica ,oderna se derivan las siguientes lgicas'
> :e,itica. +gica de los s,bolos. :e divide en' sinta7is 8relaciones de s,bolos
entre s9- se,&ntica 8relaciones entre los s,bolos y su significados9 y prag,&tica
8relaciones entre los s,bolos y el 1ue utiliza9.
> =entica' :e relaciona con el deber- se utiliza en el derec0o deno,inada lgica
de las nor,as.
> Modal' +o 0ace en los conceptos de necesidad y posibilidad.
> =e clases' :e aplican las propiedades del su4eto y del predicado- se representa
gr&fica,ente con crculos e,pleando la deno,inada ?#lgebra Booleana?.
> %uantificacional' Estudia los predicados a trav3s del uso de cuantificadores 1ue
e7presan cantidad 8todos@- o algunos@9.
> Proporcional' Razona proporciones y conectivos proporcionales 8operadores
lgicos9.
> :i,blica' E,plea un lengua4e artificial 1ue si,boliza letras- utilizando
operadores lgicos- lla,ados conectores- functores- 4untores- para construir for,ulas
operando sobre variables proporcionales y proporciones co,ple4as.
B.; +gica dial3ctica o nor,ativa' Esta tiene un contenido ideolgico- obtiene
principios racionales- utilizando una nor,ativa en el proceso- por lo ,enos para realizar
una tesis- se realiza pri,ero el estudio- luego la tesis- la anttesis y su respectiva
conclusin lla,ada sntesis- en pocas palabras- es el estudio de algo- llevando un orden
de reglas para llegar a conclusiones.
Etapas o pasos a seguir
Pri,era,ente se analiza la proposicin- enunciado o proble,a dado- verificando 1ue
sea valida o no valida dic0a proposicin o cual sea el razona,iento o proble,a- luego
con una deter,inada serie de reglas de inferencia- operaciones si,blicas- de calculo y
funda,entos b&sicos de la lgica- 1ue van planteando el proble,a se deter,ina si es
verdadera o falsa la proposicin- o se consigue la solucin al proble,a o cuestin. %on
esto se llega final,ente a la conclusin- cabe destacar 1ue para llegar 0a dic0a solucin
se pueden realizar diferentes ,3todos y dependiendo del plantea,iento puede variar el
,3todo de operacin o solucin. En otras palabras- resu,iendo pri,ero se da una
0iptesis- luego se analiza si 0ay tautologa y se aplican las reglas de inferencia y se
llega a la conclusin lgica.
+i,itaciones de la lgica
Ana parado4a es una idea e7tra5a opuesta a lo 1ue se considera verdadero o a la opinin
general.B En otras palabras- es una proposicin en apariencia verdadera 1ue conlleva a
una contradiccin lgica o a una situacin 1ue infringe el sentido co,n. En retrica- es
una figura de pensa,iento 1ue consiste en e,plear e7presiones o frases 1ue i,plican
contradiccin. An e4e,plo de parado4a es la ?Parado4a de Cevons?- ,&s conocida co,o
efecto rebote. +a parado4a es un poderoso est,ulo para la refle7in. # ,enudo los
filsofos se sirven de las parado4as para revelar la co,ple4idad de la realidad. +a
parado4a ta,bi3n per,ite de,ostrar las li,itaciones de las 0erra,ientas de la ,ente
0u,ana. #s- la identificacin de parado4as basadas en conceptos 1ue a si,ple vista
parecen si,ples y razonables 0a i,pulsado i,portantes avances en la ciencia- la
filosofa y las ,ate,&ticas.
E4e,plos
?:i traba4o o a0orro- entonces co,prar3 una casa. :i co,pro una casa- entonces podr3 guardar el coc0e en
,i casa. Por consiguiente- si no puedo guardar el coc0e en ,i casa- entonces no a0orro?
":ea el siguiente enunciado ":i no pago la luz- entonces ,e cortar&n la corriente el3ctrica. D :i pago la
luz- entonces ,e 1uedar3 sin dinero o pedir3 prestado. D :i ,e 1uedo sin dinero y pido prestado-
entonces no podr3 pagar la deuda- si solo si soy desorganizado$

:i usted invierte en el ,ercado de valores- entonces se 0ar& rico.

:i se 0ace usted rico- entonces ser& feliz.

:i usted invierte en el ,ercado de valores- entonces ser& feliz.