Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica
Logica Matematica
1. RESERVA HISTORICA:
Etimolgicamente el trmino signifca la ciencia de los logos. En
efecto, el vocablo logos traduce palabra o discurso, hecho por el cual
se defni a la lgica como una rama de la gramtica que estudia
ciertos estilos del lenguaje. En este contexto, se hace necesario la
elaboracin de argumentos para defender o refutar pensamientos o
posturas ideolgicas, se recurri a mtodos para poder evaluar o
verifcar la validez dichos razonamientos .En este sentido, el gran
flsofo griego ristteles, tiene el honor de ser el primer
sistematizador de los conceptos de la lgica que los condens en
clebre texto denominador !rganon, en este ensa"o, el flsofo trata
a la lgica como un simple mtodo de las ciencias, debido que los
propsitos de la lgica se encaminaban a estudiar las estructuras del
pensamiento. En concordancia con lo anterior, la lgica ristotlica
resalta la estrecha conexin entre los conceptos de categor#a,
defnicin, juicio de valor, proposicin " silogismo, es decir, desarrollar
la lgica proposicional, estableciendo los procedimientos para
demostrar la verdad o falsedad de las proposiciones compuestas "
de los silogismos en resumen$ en la antig%edad, la lgica estuvo
asociada al conjunto del pensamiento de las diferentes doctrinas
flosfcas " religiosas.
hora bien, el trmino lgica matemtica fue acu&ado en los a&os
'(( .). por el pensador *!+,-., al llegar a una evidente conclusin/
0E* ,!,* E- 12!3 45E -5- 63,E-7 al referirse a la relacin
existente entre las partes separadas " el conjunto coordinado de esas
partes.
8e hecho, el trmino lgica matemtica que denota un conjunto de
reglas " tcnicas del razonamiento deductivo, que partiendo de
simples " a veces de ingenuas afrmaciones se pueden sacar
audaces conclusiones " nuevos conceptos, llegando a resultados
asombrosos. )abe de resaltar, la importancia de la lgica en la
construccin del pensamiento, el hermoso " bien logrado pasaje de
la novela del escritor italiano *uciano 9uccoli :;<<=+;<>?@ en donde
relata la auto evaluacin realizada por el joven protagonista de esa
historia 0 no jugaba casi nunca con juguetes verdaderos, que tuviesen
una forma determinada, un sentido preciso. bandonaba los
soldaditos de plomo para hacer largas batallas con las que daba
mando, nombre, vida$ " las piezas del domin le serv#an de material
para construir fortifcaciones " baluartes. -e creaba su mundo a su
modo7. En efecto, la lgica permite la interpretacin del mundo a la
manera de los grandes pensadores, que a travs de aventuras
hipotticas, utop#as " fantas#as propias de la mente humana, explican
la realidad.
3etomando la evolucin de la lgica, es de capital importancia los
aportes del matemtico alemn A!,,B3CE8 *ECDEC9 quien fue el
primero en formular la estrecha, conexin entre la lgica " la
matemtica. dems, introdujo los s#mbolos matemticos para hacer
representaciones proposiciones.
En el sigo FCF, los avances de esta ciencia se deben a los aportes de
los matemticos AE!3AE D!!*E " 5A5-,5- 1!3AE. En efecto.
Doole se le debe la introduccin de los operadores lgicos
equivalentes a la unin, interseccin " la negacin con los operadores
aritmticos de la adicin, multiplicacin " sustraccin.
En trabajo colaborativo.com 1organ formulan los principios del
razonamiento simblico de otro lado, a Doole se atribu"en dos hechos
de importancia para el desarrollo de la lgica/
El primero, la invencin de las tablas de verdad para comprobar la
validez de las proposiciones compuestas.
El segundo, la introduccin del sistema binario de la lgica, es decir,
falso o verdadero, hecho que dio origen a lo que actualmente
llamamos lgebra de Doole, que consiste en la aplicacin de los
s#mbolos " operaciones lgicas mediante la manipulacin de dichos
s#mbolos con procedimientos similares a los del lgebra, se pueden
sacar conclusiones a partir de las proposiciones iniciales :premisas@.
&os ms tarde, el matemtico alemn AE!3A )E,!3 establece la
teor#a de conjuntos " sus operaciones " la hace la conexin los
operadores lgicos para la unin, la interseccin, diferencia "
complemento .En ;?;(, aparece la monumental obra 06rincipio
matemtico7 de DE3,E38 35--E** " *B3E8 GHC,EHE8, en
donde retoman los estudios anteriores " redefnen los conceptos,
bsicos de las aritmtica en trminos " conceptos de la lgica,
estableciendo los fundamentos de las matemticas puras, es decir, la
lgica formal moderna " sus poderosos instrumentos para el avance
de las matemticas " las dems ciencias.
>. )!E)E6,5*C9)C!E
*a lgica ofrece mtodos que ense&an como elaborar proposiciones,
evaluar su valor de verdad " determinar si las conclusiones se han
deducido correctamente a partir de proposiciones supuestas,
llamadas premisas adems, la lgica es una ciencia que se interesa
por las relaciones existentes entre las proposiciones con el fn de
proporcionar tres caracter#sticas del razonamiento lgico/ conciso,
preciso " claro.
*a claridad " concisin, los estudiantes la consigue en la medida que
familiariza con los elementos bsicos de un argumento lgico, tanto
en su representacin lgica como en su signifcado, lo que permite la
simplifcacin de argumentos lgicos complicados, de esta manera los
s#mbolos permite la concentracin en lo esencial de un contexto.
I. 63!6!-C)C!EE-
Es una oracin declarativa que puede tomar el valor de verdadero o
falso pero no ambos a la vez. *a proposicin es el elemento esencial
de la lgica para la matemtica. En efecto, a la proposicin se le
puede considerar excepcin ling%#stica que tiene la propiedad de
tomar un solo valor de verdadero o falso, que sirve para la
simplifcacin de argumentos complicados se crea un lenguaje
artifcial en donde se establece un conjunto de reglas claras, bien
defnidas " no se presentan ambig%edades ni vaguedades del
lenguaje corriente.
Es importante tener en cuenta que las proposiciones son oraciones
declarativas " tienen una estructura defnida as# un sujeto bien
defnido, un predicado " una conjugacin de un verbo. El simple
sustantivo o sujeto no confgura una proposicin.
*as proposiciones se representan simblicamente mediante el uso de
letras minJsculas del alfabeto tales como p,q,r,s,t,x,y,z. las cuales
reciben el nombre de letra o variables proposicionales, de esta
manera, el lenguaje proposicional se hace ms simple " exacto que el
lenguaje cotidiano.
Ejemplos/
6/ *a luna es un satlite natural de la tierra.
q. El dos es un nJmero primo.
r/ KLI M N
s/ I
>
L K
>
M '
>
t/ EeO 2orP es llamada la capital del mundo
Existen enunciados que no son proposiciones, porque no es posible
establecer su valor de verdad por ejemplo/
p/ Q4u hora esR
q/ S1illonarios ser el prximo campenT
r/ 1a&ana llover
t / ojal que pase el examen de matemticas
O / xLN M ;<
I. )lases de proposiciones
*as proposiciones se pueden clasifcar en proposiciones simples "
compuestas.
6roposiciones simples
-on aquellas oraciones que carecen de conectivos lgicos. Ejemplos/
6/ *a lluvia es un fenmeno natural
q/ ' es el inverso aditivo de +'
r / Dolivia no tiene costas mar#timas
6roposiciones compuestas
-on aquellas proposiciones se forman al combinar proposiciones
simples con los conectivos lgicos o trminos de enlaces.
Ejemplos
p/ Estadio
q/ pruebo el semestre
p
6
>. *a contrarrec#proca de p
q es q
p
Ejemplo ;/
-i I es un nJmero impar entonces :I@
>
es impar
Hallar la reciproca " su valor de verdad
3eciproca/ si :I@
>
es impar, entonces I es impar.
El valor verdadero de ste condicional q es verdadero " p es
verdadero, en el condicional es verdadero.
)ontra rec#proca/ si :I@
>
no es impar, entonces I no es impar.
El valor de verdad de este condicional es q es falso " p es falso " el
condicional es verdadero.
E* DC)!E8C)C!E*
-e denomina bicondicional a la proposicin formada por dos
proposiciones simples p " que conectada con la expresin/ 0si "
solo si7, simblicamente lo podemos expresar, as#/
q p
Esta proposicin est formada por las implicaciones
q p
"
p q
,
las cuales deben de tener el mismo valor de verdad, para formar la
equivalencia entre p " q$ en consecuencia se dice que p es
equivalente a q " se acostumbra a escribir
q p
.
Esta equivalencia entre p " q, tiene ms de una traduccin que
signifcan lo mismo/
p si " solo q si p entonces q rec#procamente
q si " solo p si q entonces p rec#procamente
TALAS "E #E$"A" PA$A E%&'#ALE(C'A
p q q p
U U U
U B B
B U B
B B U
C)(ST$&CC')( "E TALAS "E #E$"A"
En la construccin de tablas de verdad debemos tener los siguientes
hechos/
;. 8eterminar el nJmero posibles de combinaciones. -i ha"
proposiciones, el nJmero de combinaciones ser
n
2
>. -e debe procurar respetar el orden de los valores de verdad
dentro de la tabla as# por ejemplo/
-i ha" tres proposiciones, el nJmero de combinaciones sern
8 2
3
=
$
por lo tanto para primera proposicin sern K verdaderas " > falsas$
para la segunda proposicin > verdaderas " > falsas$ para la tercera/
una verdadera " la otra falsa.
I. -i la Jltima casilla o columna son todas verdaderas, se dice que
la proposicin es una tautolog#a.
Ejemplos/
;. )onstruir la tabla de verdad para/
( ) p q q p
p q
p q q p q p
( ) q p q p
U U B B U U U
U B B U B B U
B U U B U U U
B B U U U U U
>. )onstruir la tabla de verdad
[ ] ( ) [ ] r q s q s r
q r s
q r
s r ( ) q s r
q s r q s
B A
U U U B B U U B U U
U U B B B B U B U U
U B U B U B U B U U
U B B B U B U B U U
B U U U B U B U B U
B U B U B B U B U U
B B U U U B U U U U
B B B U U B U B U U
I. )!E-,35C3 * ,D* 8E UE388 63!6C8 63
8E1!-,33 ! 3EB5,3
6 q r
q r r q
( ) r q p
r p q r p
B A =
U U U B B U U B U U
U U B B U B B U B U
U B U U B U U B U U
U B U U B U U B U U
U B B U U U U U U U
B U U B B U U B U U
B U B B U B U B U U
B B U U B U U B U U
B B B U U U U B U U
!D-E3U)C!EE-/
En la Jltima columna de una tabla de verdad pueden suceder I
casos/
;. -i todos los valores son UE388E3!-, se dice que la
proposicin es ,5,!*!A[.
>. -i todos los valores son B*-!-, se dice que la proposicin es
una )!E,38C))C!E.
I. -i aparecen valores de verdaderos " falsos, se dice que la
proposicin es una CE8E,E31CE)C!E.
*E2E- 8E* *AED3 8E 63!6!-C)C!EE-
*as siguientes son las le"es de la lgica de proposiciones.
*. '"E+P)TE(C'A
P P P
P P P
,. C)(+&TAT'#A
p q q p
p q q p
-. AS)C'AT'#A
( ) ( ) r q p r q p
( ) ( ) r q p r q p
.. "'ST$'&T'#A
( ) ( ) ( ) r q r p r q p
( ) ( ) ( ) r q r p r q p
/. '"E(T'"A"
p p 0 1 1 p
0 0 p
p p 1
0. C)+PLE+E(T)
1 p p 0 p p
( ) p p
1 0 , 0 1
1. LE2ESE "E +)$3A(
( ) q p q p
( ) q p q p
Estas le"es son formuladas por pares de debido a la naturaleza dual
del lgebra de proposiciones.
A$3&+E(T)S L)3'C)S
5n argumento lgico es un razonamiento que parte de una serie de
enunciados llamados premisas se puede llegar a un resultado llamado
)!E)*5-C!E.
-e dice que el argumento es vlido si se asumen de todas las
premisas son verdaderas por lo tanto la conclusin tambin es
verdadera. -i un razonamiento no es vlido se dice que es un sofsma
o falencia.
EVE16*!-
Uerifcar la validez de los siguientes argumentos.
;.
r p q
q r p
q p p
:
:
2
1
6ara demostrar la validez de un argumento debemos a partir del
hecho que tenemos las proposiciones
n
p p p
2 1
" tratar de llegar
a la conclusin de la lgica.
*os cuatro ejemplos que se dan a continuacin corresponden a
preguntas de este tipo. *a explicacin de sus respuestas indica la
alternativa correcta para cada pregunta " el razonamiento que
muestra la falsedad de las dems opciones.
8E1!-,3)C!E
p;/
q p
p>/ r
q
pI/ q
r :rec#proca de p>@
q/ p
q
6>/ q U r
q/ p
r
8emostracin
6;/ p
q
6>/ q U r
6I/ q
r :le" de la implicacin@
q/ p