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

Tamaño: px
Comenzar la demostración a partir de la página:

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

Transcripción

1 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

2 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á 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:

3 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

4 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

5 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

6 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.

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

Lógica Digital. Organización de computadoras 2018 Universidad Nacional de Quilmes. Introducción: Cálculo Proposicional Lógica Digital Organización de computadoras 28 Universidad Nacional de Quilmes Introducción: Cálculo Proposicional El cálculo proposicional es el estudio de las relaciones lógicas entre objetos llamados

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.

Más detalles

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

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun

Más detalles

Algunos otros métodos de prueba. Raymundo Morado

Algunos otros métodos de prueba. Raymundo Morado Algunos otros métodos de prueba Raymundo Morado Árboles de verdad Enrique Montero Nayeli Rodríguez Rodolfo Vázquez Raymundo Morado Temario 1. Árboles de Verdad para probar: 1.1 validez de un argumento

Más detalles

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

SESIÓN 2 COMPUTACIÓN Y MATEMÁTICAS. SESIÓN 2 COMPUTCIÓN Y MTEMÁTICS. I. CONTENIDOS: 1. Lógica proposicional. 2. Las tablas de verdad. 3. Los sistemas numéricos y el álgebra booleana. 4. Compuertas lógicas digitales. 5. Circuitos integrados.

Más detalles

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

Guía de Ejercicios: Lógica y Teoría de Conjuntos Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Electrónica Digital - Guión

Electrónica Digital - Guión Electrónica Digital - Guión 1. Introducción. 2. El álgebra de Boole. 3. Propiedades del álgebra de Boole. 4. Concepto de Bit y Byte. 5. Conversión del sistema decimal en binario y viceversa. 6. Planteamiento

Más detalles

03. Introducción a los circuitos lógicos

03. Introducción a los circuitos lógicos 03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS

Más detalles

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

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 TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de

Más detalles

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

Fundamentos básicos de matemáticas: Lógica Proposicional Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica

Más detalles

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

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6] ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.

Más detalles

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

UNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO PROGRAMA DE LOGICA II SEGUNDO SEMESTRE UNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO COORDINACION GENERAL DEL BACHILLERATO SEGUNDO SEMESTRE UBICACIÓN DE LA ASIGNATURA: TRONCO COMUN HORAS SEMANALES 3 HORAS TOTALES 42 CLAVE 2G Morelia, Mich.,

Más detalles

Lógica Proposicional. Introducción

Lógica Proposicional. Introducción Lógica Proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

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

En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en: Nombre de la asignatura: Matemáticas Discretas Créditos: 3 2-5 Aportación al perfil En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en: El análisis

Más detalles

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

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones

Más detalles

Lógica proposicional Objetivo específico: Aplicaciones:

Lógica proposicional Objetivo específico: Aplicaciones: Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características

Más detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados Abiertos y Enunciados Cerrados I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;

Más detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

Más detalles

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

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción

Más detalles

Electrónica Digital - Guión

Electrónica Digital - Guión Electrónica Digital - Guión 1. Introducción. 2. El álgebra de Boole. 3. Propiedades del álgebra de Boole. 4. Concepto de Bit y Byte. 5. Conversión del sistema decimal en binario y viceversa. 6. Planteamiento

Más detalles

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

Ingeniería Mecatrónica. Clave de la asignatura: MCB Horas teoría-horas práctica- Créditos: 4 0-8 1. - DATOS DE LA ASIGNATURA Nombre de la asignatura : Álgebra Lineal Carrera: Ingeniería Mecatrónica Clave de la asignatura: MCB-0202 Horas teoría-horas práctica- Créditos: 4 0-8 2. - UBICACIÓN a) RELACION

Más detalles

GUIA 4: ALGEBRA DE BOOLE

GUIA 4: ALGEBRA DE BOOLE GUIA 4: ALGEBRA DE BOOLE En 1854 George Boole introdujo una notación simbólica para el tratamiento de variables cuyo valor podría ser verdadero o falso (variables binarias) Así el álgebra de Boole nos

Más detalles

Horas Trabajo Estudiante: 128

Horas Trabajo Estudiante: 128 PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas

Más detalles

LOGICA Y ALGEBRA DISCRETA

LOGICA Y ALGEBRA DISCRETA LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT DOCENTES Ing. Franco D. Menendez fmenendez@herrera.unt.edu.ar Mg. Ing. Gustavo Juarez gjuarez@herrera.unt.edu.ar CURSADO Teoría-Práctica:

Más detalles

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

Ampliación Matemática Discreta. Justo Peralta López Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.

Más detalles

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

2. ELEMENTOS DE LÓGICA PROPOSICIONAL Copyright 2013. Editorial Tébar lores. All rights reserved. RAMÓN RODRÍGUEZ ALLEJO 2. ELEMENTOS DE LÓGICA PROPOSICIONAL 2.1. PROPOSICIONES Definición 2.1.1.- Se denomina proposición a toda expresión verbal,

Más detalles

Cálculo Proposicional

Cálculo Proposicional Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)

Más detalles

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

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Tabla de valores de verdad

Tabla de valores de verdad Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló

Más detalles

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

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:

Más detalles

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

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera

Más detalles

UNIVERSIDAD TECNOLOGICA DE LOS ANDES

UNIVERSIDAD TECNOLOGICA DE LOS ANDES UNIVERSIDAD TECNOLOGICA DE LOS ANDES FACULTAD DE CIENCIAS JURÍDICAS, CONTABLES Y SOCIALES I. DATOS GENERALES: SILABO MATEMÁTICA BÁSICA 1.1 Asignatura : MATEMÁTICA BÁSICA 1.2 Código : CA15011 1.3 Carrera

Más detalles

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

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición

Más detalles

Álgebra de Boole A p u n te N 3

Álgebra de Boole A p u n te N 3 Álgebra de Boole Apunte N 3 G e o r g e B o o l e y C l a u d e S h a n n o n La finalidad de la Electrónica Digital es procesar la información. Para ello utiliza las operaciones definidas por George Boole

Más detalles

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

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 LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas

Más detalles

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

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (

Más detalles

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

Facultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL PROGRAMA ANALITICO DE LA ASIGNATURA ALGEBRA I (MAT-100) DATOS GENERALES ASIGNATURA:. SIGLA Y CODIGO:... CURSO:.. PREREQUISITOS: HORAS SEMANAS:... CREDITOS: PROFESOR: ÁLGEBRA I MAT-100 Primer Semestre Ninguno

Más detalles

ANALÓGICO vs. DIGITAL

ANALÓGICO vs. DIGITAL ANALÓGICO vs. DIGITAL Una señal analógica se caracteriza por presentar un numero infinito de valores posibles. Continuo Posibles valores: 1.00, 1.01, 200003,, infinitas posibilidades Una señal digital

Más detalles

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

Lógica Proposicional. Cátedra de Matemática Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemáticas Dicretas LÓGICA MATEMÁTICA Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.

Más detalles

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 í

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 í A) Nombre del Curso 3 ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso

Más detalles

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)

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) 1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende

Más detalles

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

I Al finalizar el curso el estudiante será capaz de: A) Nombre del Curso ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso Objetivos

Más detalles

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

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),

Más detalles

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

El álgebra booleana fue estudiada por Pitágoras y George Boole. ALGEBRA DE BOOLE Centro CFP/ES ALGEBRA DE BOOLE El álgebra booleana fue estudiada por Pitágoras y George Boole. Con el álgebra booleana, partiendo de una serie de sentencias lógicas iniciales verdaderas

Más detalles

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

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos

Más detalles

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

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

INTRODUCCIÓN A LA LÓGICA DIGITAL

INTRODUCCIÓN A LA LÓGICA DIGITAL INTRODUCCIÓN A LA LÓGICA DIGITAL DEFINICIÓN LÓGICA = (griego ligiken) Disposición de ideas o cosas de forma que entre ellas no haya contradicciones. Razón, sentido común. Parte de la filosofía que tiene

Más detalles

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

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p. SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,

Más detalles

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

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

Más detalles

Universidad Autónoma de Baja California

Universidad Autónoma de Baja California Universidad Autónoma de Baja California Facultad de Ingeniería, Arquitectura y Diseño Práctica de laboratorio Programa educativo Plan de estudio Clave asignatura Nombre de la asignatura Bioingeniería 2009-2

Más detalles

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

2. Introducción a la Lógica proposicional y Teoría de conjuntos 2. Introducción a la Lógica proposicional y Teoría de conjuntos Lenguaje formal La lógica utiliza un lenguaje artificial, que es además un lenguaje formal. Características del lenguaje formal: a) Está

Más detalles

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

El número decimal 57, en formato binario es igual a: CURSO: ELECTRÓNICA DIGITAL UNIDAD 1: COMPUERTAS LÓGICAS - TEORÍA PROFESOR: JORGE ANTONIO POLANÍA 1. NÚMEROS BINARIOS EJEMPLO En el cuadro anterior, está la representación de los números binarios en formato

Más detalles

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

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso

Más detalles

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

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL TRABAJO FINAL Nota: Las personas con temas asignados para exposiciones, que expusieron bien o que piensan que lo harán bien en el último encuentro no tienen que presentar este trabajo, ya que la nota de

Más detalles

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

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1 Álgebra Booleana Álgebra Booleana Mario Medina C. mariomedina@udec.cl Postulados y axiomas Lemas y teoremas Referencias a otras álgebras Álgebra de Boole: estructura algebraica definida sobre un conjunto

Más detalles

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

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

Más detalles

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

UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS Josué Rendón Estrada Carnet: 08168 17 /03/ 2009 INTRODUCCIÓN

Más detalles

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

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:

Más detalles

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

FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO Nombre de la materia: ÁLGEBRA A Clave Facultad:... 0041 Clave CACEI: CB Clave U.A.S.L.P.:... 00023 No. de créditos: 8 Nivel del Plan de Estudios:...

Más detalles

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

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)

Más detalles

Sistemas informáticos industriales. Algebra de Boole

Sistemas informáticos industriales. Algebra de Boole Sistemas informáticos industriales 2016 lgebra de oole lgebra oole Se denomina así en honor a George oole (1815-1864). El algebra de oole se emplea en sistema de control digitales, desde los sistemas de

Más detalles

LOGICA Y ALGEBRA DISCRETA

LOGICA Y ALGEBRA DISCRETA LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.

Más detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.

Más detalles

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

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes

Más detalles

IMPLEMENTACIÓN DE CIRCUITOS COMBINACIONALES

IMPLEMENTACIÓN DE CIRCUITOS COMBINACIONALES IMPLEMENTACIÓN DE CIRCUITOS COMBINACIONALES SIMPLIFICACIÓN DE FUNCIONES LÓGICAS Para implementar mediante un circuito digital formado por puertas lógicas una función lógica el primer paso consiste en realizar

Más detalles

- AnallogicA - Software para crear tablas de verdad

- AnallogicA - Software para crear tablas de verdad - AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del

Más detalles

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

Programa EUROPA Ayuda a la Mejora en el Aprendizaje Matemáticas Tercera sesión 1/22 Programa EUROPA Ayuda a la Mejora en el Aprendizaje Matemáticas Tercera sesión Ramón Esteban y Antonio Pastor Índice Objetivos, programa, evaluación y bibliografía 2 2/22 1 Matemática Discreta 7 Algunos

Más detalles

ÁLGEBRA DE BOOLE Y FUNCIONES LÓGICAS

ÁLGEBRA DE BOOLE Y FUNCIONES LÓGICAS 1. Introducción ÁLGERA DE OOLE Y FUNCIONES LÓGICAS El Álgebra de oole es una parte de la matemática, la lógica y la electrónica que estudia las variables, operaciones y expresiones lógicas. Debe su nombre

Más detalles

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema

Más detalles

Álgebra Booleana circuitos lógicos

Álgebra Booleana circuitos lógicos Álgebra Booleana y circuitos lógicos OBJETIVO GENERAL Teniendo en cuenta que los circuitos digitales o lógicos operan de forma binaria, emplear el álgebra booleana como fundamento teórico para el análisis,

Más detalles

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 )]

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 )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real

Más detalles

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

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Lógica de Proposiciones y de Predicado

Lógica de Proposiciones y de Predicado Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SEMÁNTICA: Noción General. Definición Algebraica.

Más detalles

Organización de Computadoras

Organización de Computadoras Organización de Computadoras SEMANA 1 UNIVERSIDAD NACIONAL DE QUILMES Qué vimos? Sistema Binario Interpretación Representación Aritmética Sistema Hexadecimal Hoy! Lógica proposicional Compuertas lógicas:

Más detalles

Definición y representación de los

Definición y representación de los Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas

Más detalles

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

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

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

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)

Más detalles

PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO

PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO Universidad de Los Andes Núcleo Universitario Dr. Pedro Rincón Gutiérrez Táchira Venezuela Departamento de Ciencias CARRERA DE EDUCACIÓN MENCIÓN: FISICA Y MATEMATICAS PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO

Más detalles

Lógica de Proposiciones y de Predicado

Lógica de Proposiciones y de Predicado Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL»Sistemas Axiomáticos. Noción General. Decisión Por

Más detalles

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

Octubre de Circuitos Logicos MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA Octubre de 2016 Circuitos Logicos MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA CIRCUITOS LOGICOS 1) FUNCIONES DEL ÁLGEBRA BOOLEANA BINARIA Sea B = {0, 1} sea B n =

Más detalles

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

SILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL] SILABO POR ASIGNATURA 1. INFORMACION GENERAL Coordinador: CORONEL ALVARADO RUTH MARIELA (ruth.coronel@ucuenca.edu.ec) Facultad(es): [FACULTAD DE FILOSOFÍA, LETRAS Y CIENCIAS DE LA EDUCACIÓN] Escuela: [CARRERA

Más detalles

Tema I EXIGENCIAS COMPUTACIONALES DEL PROCESAMIENTO DIGITAL DE LA INFORMACION

Tema I EXIGENCIAS COMPUTACIONALES DEL PROCESAMIENTO DIGITAL DE LA INFORMACION Tema I EXIGENCIAS COMPUTACIONALES DEL PROCESAMIENTO DIGITAL DE LA INFORMACION Tutor: Manuel Fernández Barcell Centro asociado de Cádiz http://prof.mfbarcell.es TEMA 1: EXIGENCIAS COMPUTACIONALES DEL PROCESAMIENTO

Más detalles

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

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 TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la

Más detalles

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

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

PROGRAMA ANALÍTICO ALGEBRA I (MAT 100)

PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) 1. IDENTIFICACION PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) Asignatura ALGEBRA I Código de asignatura(sigla) MAT 100 Semestre I Prerrequisitos NINGUNO Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6 Créditos (CR)

Más detalles

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

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 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 Curso 2010/2011. Grupos 1 y 2 Teoría de conjuntos. Lógica proposicional.

Más detalles

Tema 3 Equivalencia. Formas normales.

Tema 3 Equivalencia. Formas normales. Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas

Más detalles

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

Álgebra de Boole. Valparaíso, 1 er Semestre Prof. Rodrigo Araya E. Prof. Rodrigo Araya E. raraya@inf.utfsm.cl Universidad Técnica Federico Santa María Departamento de Informática Valparaíso, 1 er Semestre 2006 1 2 3 4 Contenido En 1815 George Boole propuso una herramienta

Más detalles

El lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,

Más detalles

Juan de la Cruz González Férez

Juan de la Cruz González Férez Curso 0: Matemáticas y sus Aplicaciones Lógica y Formalismo Matemático Aplicaciones Juan de la Cruz González Férez IES Salvador Sandoval Las Torres de Cotillas (Murcia) 2012 Aplicaciones de los Operadores

Más detalles