()

:
:
:

. .

. : (
. :

_ @.
@.


La formacin en el campo de la lgica, est orientada a la educacin en el
pensamiento racional. Y pasa por la necesidad inicial de la comprensin del
lenguaje natural como instrumento del pensamiento racional. La formacin del
pensamiento crtico es una tarea que exige comprensin del lenguaje natural,
tanto en su funcin semntica como en su funcin sintctica.
Este complejo problema debemos verlo, no slo desde la perspectiva de
su propia naturaleza, sino tambin desde la primaca determinante que tiene
en la formacin cientfica, como herramienta poderosa y apropiada para el
desarrollo del conocimiento. El estudio de la lgica es imprescindible, por su
valor metodolgico, en la toma de decisiones, desde las ms simples de la vida
cotidiana hasta las de mayor complejidad cientfica, sin importar el rea de
aplicacin.
Dada su naturaleza abstracta y formal, el avance en el dominio del
campo de la lgica, tanto como ciencia aplicada como ciencia pura, supone el
dominio de la metateora lgico-matemtica.
El participante, mediante el estudio de la lgica, tendr una mayor
capacidad para expresar sus ideas con suficiente claridad y concisin; aumento
en su habilidad para definir los propios trminos;enriquecimiento de la
capacidad para formular razonamientos con rigor y examinarlos crticamente.
Con ello se persigue que la razn pueda ser aplicada a cualquier aspecto de los
asuntos humanos.
Cada individuo debe pensar por s mismo, a fin de discutir los problemas
libremente con sus semejantes. Debe evaluar los distintos elementos de juicio y
reconocer que, con algn esfuerzo, se puede establecer la diferencia entre
buenos y malos razonamientos. El estudio de la lgica puede brindarnos, no
slo la prctica del razonamiento, sino tambin el respeto por la razn.

:
:
:



Proposiciones. Tipos de proposiciones. Conectores lgicos. Tablas de verdad.
Leyes de negacin. Leyes de implicacin, de conjuncin y disyuncin. Leyes del
bicondicional. Leyes de De Morgan. Razonamiento. Mtodos de
razonamiento:contrapuesta, contraejemplo, reduccin al absurdo. Leyes de
inferencia lgica. Deduccin natural. Leyes del lgebra proposicional. lgebra
booleana.

Conjuntos. Formas de definir los conjuntos. Tipos especiales de

conjuntos:universal y vaco. Operaciones con conjuntos:unin, interseccin,
diferencia y complemento. Leyes del lgebra de conjuntos. lgebra booleana.
Conjuntos finitos. El principio de contar. Cardinalidad de un conjunto finito.
Principio de inclusin-exclusin. Determinacin de la cardinalidad de dos
ms conjuntos. Conjunto de los nmeros:naturales, enteros, racionales,
irracionales, reales y complejos. Relacin del lgebra de conjuntos y del
lgebra proposicional.

Circuitos lgicos. lgebra booleana. Leyes del lgebra booleana. Puertas lgicas
bsicas:Not, And, Or. Otras puertas:Nand, Nor, Xor, Xnor. Combinacin de
puertas lgicas. Simplificacin de circuitos lgicos. Expresiones
booleanas:maxterms y minterms. Teoremas de De Morgan. Relacin del
lgebra de circuitos, de conjuntos y lgica proposicional.

(%)

Parcial 1

30

6-7

Parcial 2

30

10

Parcial 3

30

13-14

Otros (*)

10

Total

100

(), .


Las evaluaciones sern fijadas en la() semana(), de acuerdo a la duracin del
semestre. La no concurrencia a una evaluacin, por parte del estudiante,
significar la prdida de la misma. No se harn evaluaciones individuales. En
caso de no presentar dos evaluaciones, automticamente pierde la materia. As
mismo, se recomienda estudiar el material que corresponde a la clase antes de
que la misma sea expuesta y discutida por el profesor.
La intervencin, por parte del estudiante, durante la clase es primordial. Se dar
gran peso a su participacin en la evaluacin final. Igualmente, hay que sealar
que la puntualidad es muy importante.

, .
Introduccin a la lgica, Eudeba, 24 edicin
Buenos Aires, Argentina 1982.
, . ., , . ., , . .
Introduccin a las matemticas finitas, 2. Edicin, CECSA
Mxico DF, Mxico 1971.
. , .
Lgica:Unidades 1, 2 y 3, IUGT ( )
Caracas, Venezuela
, .
Matemtica discreta y sus aplicaciones
5 edicin, Editorial McGraw-Hill Interamericana
Madrid, Espaa 2004.

NOTA Esta bibliografa, bajo ningn concepto, es limitativa. El docente puede, en

cualquier momento, remitir a otro() texto() que crea pertinente().

. . ()