COLEGIO UNIVERSITARIO DE ADMINISTRACIÓN Y MERCADEO

C.U.A.M.

UNIDAD CURRICULAR

CÓDIGO PRELACIÓN
LÓGICA
LOG-133 --
HORAS SEMANALES

HORAS TOTAL H. TOTAL

UC
TEÓRICAS/PRÁCTICAS SEMANALES H. SEMESTRALES

3 3 3 48

Al finalizar la unidad curricular el participante, maneja las herramientas básicas de la lógica proposicional, el
razonamiento, la teoría de conjuntos y el álgebra booleana, como dimensiones necesarias para una iniciación o
aproximación al pensamiento sistemático.

AUTOR: FECHA:
ROGELIO J. SILVA S. JULIO, 2008
Programa Analítico de Unidad Curricular: Lógica

El estudio de la lógica provee un desarrollo significativo de las habilidades y destrezas para el razonamiento formal
y, en consecuencia, para el análisis, síntesis y evaluación de problemas complejos de la ciencia y la tecnología; lo cual es
fundamental en la sistematización del conocimiento. Esta unidad curricular persigue dotar al estudiante de las
herramientas necesarias que le permitan lograr un manejo básico de la lógica proposicional, el razonamiento, la teoría de
conjuntos y el álgebra booleana, como dimensiones necesarias para una iniciación o aproximación al pensamiento
sistemático.

COMPETENCIAS GENERALES

• Realiza aplica operaciones de razonamiento lógico para formular y resolver problemas.

• Efectúa operaciones lógicas de aplicación práctica.
• Desarrolla habilidades lógicas y capacidad de análisis.

CONTADURÍA
...Nuevo Diseño Curricular Julio 2008 2
Programa Analítico de Unidad Curricular: Lógica

UNIDAD I: PROPOSICIONES, CONECTIVOS Y TABLAS DE UNIDAD II: IMPLICACIONES, EQUIVALENCIAS Y

VERDAD. RAZONAMIENTO.

I. COMPETENCIA GENERAL I. COMPETENCIA GENERAL

Establece las formas proposicionales de funciones lógicas a partir de la Establece relaciones entre implicaciones, equivalencias y validez de un
construcción de tablas de verdad. razonamiento.

II. COMPETENCIAS ESPECÍFICAS II. COMPETENCIAS ESPECÍFICAS

• Conceptualiza aspectos fundamentales de la lógica proposicional.
• Diferencia las diferentes funciones veritativas.
• Determina los valores de verdad de proposiciones, a partir de los
conectivos y funciones veritativas.
• Construye tablas de verdad que permiten establecer formas
proposicionales de funciones lógicas.
• Maneja las diferentes formas proposicionales.
• Establece concordancias entre una implicación y un teorema.
• Verifica implicaciones y equivalencias lógicas, aplicando las leyes
del álgebra de proposiciones.
• Analiza diferentes formas de razonamiento según las reglas de
inferencia implícitas en el mismo.
• Demuestra la validez de un razonamiento, utilizando las reglas de
inferencia de la lógica.

III. CONTENIDO III. CONTENIDO

• Proposiciones. Definición. Conectivos. • Implicación y Equivalencia lógica.
• Proposiciones atómicas y moleculares. Simbología. • Teorema. Hipótesis. Tesis. Formas de un teorema.
• Funciones Lógicas. Disyunción, conjunción y negación. • Álgebra de proposiciones. Leyes del álgebra de proposiciones.
• Condicional y bicondicional. • Inferencia. Conceptos. Definiciones. Reglas de Inferencia.
• Valores de verdad y funciones veritativas. Tablas de verdad. • Razonamiento. Formas de razonamiento. Validez de un
• Condición necesaria, suficiente y necesaria / suficiente. razonamiento.
• Formas proposicionales: Tautología, contradicción y contingencia.
• Condicionales asociados a uno dado.

CONTADURÍA
...Nuevo Diseño Curricular Julio 2008 3
Programa Analítico de Unidad Curricular: Lógica
UNIDAD III: TEORÍA DE CONJUNTOS, ESQUEMAS UNIDAD IV: POLINOMIOS BOOLEANOS Y CIRCUITOS
PROPOSICIONALES Y CONJUNTOS DE VERDAD. LÓGICOS.

I. COMPETENCIA GENERAL I. COMPETENCIA GENERAL

Relaciona la teoría de conjuntos, esquemas proposicionales y conjuntos Diseña actividades fundamentado en un circuito lógico a partir de su
de verdad. respectivo polinomio booleano.

II. COMPETENCIAS ESPECÍFICAS II. COMPETENCIAS ESPECÍFICAS

• Solventa problemas afines a la teoría de conjuntos, aplicando las
operaciones y leyes definidas para tal fin.
• Establece los conjuntos de verdad de una proposición molecular.
• Maneja los cuantificadores universales y existenciales a los
esquemas proposicionales de una variable.
III. CONTENIDO
• Teoría de conjuntos: conceptos y simbología.
• Igualdad, pertenencia e inclusión. Conjuntos universal y vacío (∅).
• Operaciones entre conjuntos. Partición.
• Álgebra de Conjuntos. Leyes del Álgebra de Conjuntos.
• Funciones Proposicionales. Proposiciones singulares y generales.
• Esquemas proposicionales de una variable.
• Conjuntos de verdad.
• Cuantificadores universales. Cuantificadores existenciales.
• Identifica las propiedades y axiomas propios de las operaciones
booleanas.
• Construye la tabla de verdad de un polinomio booleano, aplicando
las operaciones y leyes definidas para tal fin.
• Distingue los elementos de un circuito lógico.
• Determina los estados de salida de un circuito lógico, en función de
la forma de interconexión de sus elementos.
• Identifica los distintos tipos de circuitos.
III. CONTENIDO
• Operaciones booleanas. Propiedades. Axiomas primitivos.
• Identidades fundamentales.
• Leyes del algebra booleana.
• Polinomios booleanos. Tabla de verdad de un polinomio booleano.
• Circuitos lógicos. Elementos de un circuito lógico.
• Circuitos: serie, paralelo y mixto.
• Circuitos barreras en serie.
• Circuitos barreras en paralelo.

CONTADURÍA
...Nuevo Diseño Curricular Julio 2008 4
Programa Analítico de Unidad Curricular: Lógica

ESTRATEGIAS METODOLOGICAS
• Explicación por parte del Profesor.
• Discusión dirigida.
• Talleres.
• Investigación Bibliográfica.
• Ejercitación oral y escrita.
• Trabajo en grupos.

EVALUACIÓN
• Diagnóstica.
• Formativa.
• Sumativa.

BIBLIOGRAFÍA

Burgos, Alfonso. Iniciación a la Lógica Matemática. Caracas, Ediciones Vega S.R.L.

Copi, Irving. Introducción a la Lógica. Buenos Aires, Eudeba.

Lipschutz, Seymour. Matemáticas Finitas. Dto. Federal / México, Mc Graw-Hill S.A.

Lipschutz, Seymour. Teoría de Conjuntos y Temas Afines. Dto. Federal / México, Mc Graw-Hill S.A.

Napolitano, Antonio. Lógica Matemática. Caracas, Editorial Biosfera S.R.L.

Niño, H. y Morales M. Conjuntos, Relaciones y Aplicaciones. Bogotá, Carvajal & Cía.

Suppes, P. y Hill S. Primer Curso de Lógica Matemática. Barcelona / España, Editorial Reverté S.A.

CONTADURÍA
...Nuevo Diseño Curricular Julio 2008 5