SEMANA 15 LA LÓGICA Y SU RELACIÓN INFORMÁTICA RPTA.: C

Documentos relacionados
Lógica Digital. Organización de computadoras 2018 Universidad Nacional de Quilmes. Introducción: Cálculo Proposicional

Introducción a la Matemática Discreta

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

Algunos otros métodos de prueba. Raymundo Morado

SESIÓN 2 COMPUTACIÓN Y MATEMÁTICAS.

Guía de Ejercicios: Lógica y Teoría de Conjuntos

UNIDAD I: LÓGICA MATEMÁTICA

Electrónica Digital - Guión

03. Introducción a los circuitos lógicos

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación

Fundamentos básicos de matemáticas: Lógica Proposicional

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]

UNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO PROGRAMA DE LOGICA II SEGUNDO SEMESTRE

Lógica Proposicional. Introducción

CIENCIAS FORMALES CIENCIAS FÁCTICAS

En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en:

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Lógica proposicional Objetivo específico: Aplicaciones:

Matemáticas Básicas para Computación

Enunciados Abiertos y Enunciados Cerrados

Lógica de Predicados

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Electrónica Digital - Guión

Ingeniería Mecatrónica. Clave de la asignatura: MCB Horas teoría-horas práctica- Créditos: 4 0-8

GUIA 4: ALGEBRA DE BOOLE

Horas Trabajo Estudiante: 128

LOGICA Y ALGEBRA DISCRETA

Ampliación Matemática Discreta. Justo Peralta López

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

Cálculo Proposicional

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Tabla de valores de verdad

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez

UNIVERSIDAD TECNOLOGICA DE LOS ANDES

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

Álgebra de Boole A p u n te N 3

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:

Facultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL

ANALÓGICO vs. DIGITAL

Lógica Proposicional. Cátedra de Matemática

Matemáticas Dicretas LÓGICA MATEMÁTICA

U n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)

I Al finalizar el curso el estudiante será capaz de:

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.

El álgebra booleana fue estudiada por Pitágoras y George Boole.

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

INTRODUCCIÓN A LA LÓGICA DIGITAL

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

Universidad Autónoma de Baja California

2. Introducción a la Lógica proposicional y Teoría de conjuntos

El número decimal 57, en formato binario es igual a:

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS

FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

Sistemas informáticos industriales. Algebra de Boole

LOGICA Y ALGEBRA DISCRETA

RAZONAMIENTO MATEMÁTICO

LÓGICA PROPOSICIONAL

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

IMPLEMENTACIÓN DE CIRCUITOS COMBINACIONALES

- AnallogicA - Software para crear tablas de verdad

Programa EUROPA Ayuda a la Mejora en el Aprendizaje Matemáticas Tercera sesión

ÁLGEBRA DE BOOLE Y FUNCIONES LÓGICAS

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

Álgebra Booleana circuitos lógicos

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

Algoritmos y Estructura de Datos I

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

Lógica de Proposiciones y de Predicado

Organización de Computadoras

Definición y representación de los

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad

PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO

Lógica de Proposiciones y de Predicado

Octubre de Circuitos Logicos MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA

SILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL]

Tema I EXIGENCIAS COMPUTACIONALES DEL PROCESAMIENTO DIGITAL DE LA INFORMACION

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

PROGRAMA ANALÍTICO ALGEBRA I (MAT 100)

Introducción a la Matemática Discreta. Boletín de problemas. Temas 1, 2 y 3. Grado en Ingeniería Informática. Ingeniería del Software

Tema 3 Equivalencia. Formas normales.

Álgebra de Boole. Valparaíso, 1 er Semestre Prof. Rodrigo Araya E.


Juan de la Cruz González Férez

Transcripción:

SEMANA 15 LA LÓGICA Y SU RELACIÓN INFORMÁTICA 1. Es considerado el padre de la Teoría de la comunicación y el pionero en el diseño de circuitos biestables, los ue concibió inspirado en las ideas del álgebra de Boole. A) Gottlob Frege B) Augustus De Morgan C) Wilhelm Leibniz D) Claude Elwood Shannon E) Giuseppe Peano Claude Elwood Shannon, con la publicación, en 1948, de su artículo Una teoría matemática de la comunicación sentó las bases del diseño de circuitos biestables, plataforma de desarrollo de la actual tecnología digital. 2. Los dígitos binarios, incorporados por Shannon en el contexto de su concepción en torno a los circuitos eléctricos, son considerados por él como.y determinantes de..: A) Elementos básicos de la comunicación sólo un estado. B) Expresiones algebraicas varios estados. C) Elementos básicos de la comunicación-sólo dos estados. D) Expresiones algebraicas- sólo un estado. E) Elementos básicos de la comunicación- sólo un estado. El empleo de dígitos binarios como elementos básicos en la transmisión de información es uno de los aspectos más innovadores ue Shannon incorporó en el contexto de su teoría de la comunicación. Estos dígitos el 1 y el 0- suponen la consideración de sólo dos estados: abierto o cerrado. O en términos de la lógica proposicional, de los valores verdaderos o falsos. 3. Los circuitos se componen de conmutadores, denominados también interruptores, ue en el plano simbólico de la lógica proposicional son representados por: A) Conjunciones B) Disyunciones C) Conjunciones y disyunciones D) Fórmulas proposicionales E) Variables proposicionales Las variables proposicionales vienen a ser la expresión de auello ue en un circuito eléctrico está dado por los conmutadores o interruptores. 4. El isomorfismo entre las fórmulas conjuntivas y disyuntivas, por una parte, y, por otra, los circuitos construidos a partir de auéllas significa ue: A) Existe una similitud estructural entre estas fórmulas y los circuitos. B) Los circuitos eléctricos biestables C) Las fórmulas de la lógica proposicional son tautologías D) Circuitos y fórmulas tienen una naturaleza heterogénea. E) Ninguna de las anteriores

En efecto, el isomorfismo expresa la comunidad de formas ue es dable hallar entre las fórmulas de la lógica proposicional estructuradas a partir de conjunciones y disyunciones, y la articulación de los circuitos eléctricos. RPTA.: A 5. Un circuito en serie traduce la estructura de una fórmula proposicional: A) Condicional B) Disyuntiva C) Conjuntiva D) Bicondicional E) Todas las anteriores Un circuito en serie posee una estructura análoga a la de una fórmula conjuntiva. 6. En un circuito en paralelo, los conmutadores se encuentran dispuestos de tal manera ue éstos aparecen: A) Uno detrás de otro B) Los dos en el mismo lugar C) Los dos cerrados D) Los dos abiertos E) Uno al lado de otro En un circuito en paralelo, los interruptores (o conmutadores) se encuentran dispuestos uno al lado de otro. 7. Un circuito en paralelo traduce la estructura de una fórmula proposicional: A) Negativa B) Conjuntiva C) Negativa conjunta D) Disyuntiva E) Todas las anteriores Un circuito paralelo posee una estructura análoga a la de una fórmula disyuntiva. 8. Constituyen expresiones euivalentes: A) Abierto verdadero-uno B) Cerrado-falso-cero C) Abierto-verdadero-cero D) Cerrado-verdadero-uno E) Abierto-falso-uno Los términos cerrados, verdaderos y uno son euivalentes. En el ámbito del lenguaje de la lógica proposicional, se dice ue una conjunción, por ejemplo, es verdadera sólo cuando sus dos componentes son verdaderos. Esta situación uedará representada en un circuito en serie sólo si cada uno de sus dos conmutadores está cerrado, con lo cual el valor asumido por éstos, tanto como por el mismo circuito, será 1. 9. Un conmutador en estado cerrado asume el valor binario 1, o lo ue es lo mismo, traducido al plano simbólico de la lógica proposicional, el valor:

A) Falso B) Contradictorio C) Tautológico D) Consistente E) Verdadero Considerando lo dicho inmediatamente antes, es perfectamente explicable la elección de esta alternativa como respuesta correcta. 10. En un circuito en serie, los conmutadores aparecen dispuestos de tal manera ue éstos se sitúan: A) Separados por un operador B) Vinculados por un operador C) Uno detrás de otro D) En una perspectiva diagonal E) En una perspectiva oblicua En un circuito en serie, los conmutadores se encuentran dispuestos uno detrás de otro. 11. Un conmutador en estado abierto asume el valor binario 0, o, en términos de la lógica proposicional, el valor: A) Consistente B) Inválido C) Falso D) Falaz E) Indeterminado Un conmutador en estado abierto, y cuyo valor en términos binarios es 0, será susceptible, en términos de la lógica proposicional, como poseedor del valor falso. 12. Para proceder a construir el circuito correspondiente a una fórmula ue contiene operadores distintos de la conjunción y de la disyunción, hace falta aplicar: A) Implicación tautológicas B) Tablas de verdad C) Procedimientos de validación semidecisorios D) Euivalencias tautológicas E) Ninguna de las anteriores Las euivalencias tautológicas son leyes de la lógica proposicional empleadas para efectuar la transformación de fórmulas. Este procedimiento, en el caso de la elaboración de diagramas correspondientes a circuitos eléctricos, es del tanto necesario cuando las fórmulas tomadas como referencia contienen operadores distintos de la conjunción y la disyunción. 13. Si aplicamos las leyes De Morgan p, la fórmula resultante a ( ) será: A) p B) p C) p D) p

E) ( p ) Al aplicar las leyes de De Morgan, es necesario, además de reemplazar la conjunción por una disyunción, o viceversa, substituir el valor de la fórmula y el de las variables por su contrario. Así una fórmula o una variable negadas, serán afirmadas, y viceversa. 14. El circuito: A C D B material a p fórmula: A) p B) ( p ) C) p D) p E) Tanto a como b genera la En efecto, la aplicación de la euivalencia tautológica conocida como implicación material genera dos tipos de fórmulas, según se transforme una fórmula condicional en una disyunción o en una conjunción. En este caso, ambos casos están presentes. Corresponde a la fórmula: A) ( p ) B) ( p ) C) ( p ) D) ( p ) E) ( ) r r r s r s p r s La conjunción de origen a un circuito en serie ue, a su vez, conforma un circuito en paralelo, como expresión de la disyunción de ue forma parte. Entretanto, toda esta estructura integra un circuito también en paralelo, como traducción de la disyunción de mayor jeraruía. 15. La aplicación de la euivalencia conocida como implicación 16. La fórmula ( p ) r s, considerando el operador de mayor jeraruía, podría ser representado por un circuito construido: A) En paralelo B) En estado cerrado C) En estado abierto D) En serie E) Sobre la base del álgebra de Boole Teniendo en cuenta ue la fórmula en cuestión es una disyunción, pues éste es su

operador de mayor jeraruía, el circuito resultante será un circuito en paralelo, toda vez ue un circuito de esta forma posee una estructura análoga a la de la fórmula mencionada. 17. El circuito: A B RPTA.: A 18. La fórmula p sería el resultado de aplicar implicación material a: A) p B) p C) p D) p E) ( p ) Representa a la, y, teniendo en cuenta el estado de sus conmutadores, su estado es : A) Disyunción-cerrado B) Disyunción-cerrado C) Conjunción-cerrado D) Conjunción-abierto E) Contradicción-cerrado Se trata de un circuito ue representa a la conjunción, pues es un circuito en serie; y su estado es abierto, pues uno de sus conmutadores está abierto. Como se sabe, en el caso de un circuito ue representa a la conjunción, bastará ue uno de sus conmutadores esté abierto para ue la condición del circuito sea abierto también. Y esto es así teniendo en cuenta el isomorfismo existente entre la lógica proposicional y la teoría de los circuitos eléctricos, pues en su correlato proposicional una conjunción es falsa cuando al menos uno de sus componentes es falso. Cuando aplicamos implicación material a una fórmula conjuntiva, el procedimiento a ser seguido consiste en negar toda la fórmula si es falsa, se la hará verdadera, y viceversa -, y en hacer lo mismo con el segundo componente de auélla. La única fórmula ue reúne las condiciones para ue, luego de proceder así, se arribe a la fórmula planteada se encuentran en la alternativa indicada. 19. Señale cuál de los siguientes pares de fórmulas resulta ser euivalente, considerando la aplicación de las leyes de De Morgan: A) p,p B) p,p C) ( p ), ( p ) D) ( p ), ( p ) E) ( p ), p Al aplicar las leyes de De Morgan, es necesario negar toda la fórmula

y los componentes de la misma, así como reemplazar el operador disyuntivo por el conjuntivo, o, según sea el caso, éste por auél. 20. El circuito: A B Representa a la..y su estado, considerando el estado de sus conmutadores, es : A) Consistencia cerrado B) Disyunción-abierto C) Disyunción cerrado D) Conjunción abierto E) Conjunción-cerrado Se trata de un circuito ue representa a la conjunción, pues es un circuito en serie; y su estado es cerrado, pues sus dos conmutadores están cerrados. Éste es el único caso en ue un circuito ue representa una conjunción asume el estado cerrado, a semejanza de auélla, ue será verdadera sólo en el caso en ue sus dos componentes también lo sean.