LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
|
|
- María José Castillo Ortiz
- hace 6 años
- Vistas:
Transcripción
1 LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre de
2 Tabla de contenido INTRODUCCION...2 Definición de lógica. 3 Concept de proposición...3 Lógica de Proposicional... 4 Conectivas Gramaticales Lógica de Proposicional y Predicados Algebra Declarativa.8-9 Tablas de Verdad 10 Cuantificadores Cuantificador Universal Cuantificador Existencial.. 13 Cuantificador Existencial Único Relación cuantificador universal y el cuantificador existencial Cuantificador de Negación 15 Conclusión...16 Bibliografía...17
3 Introducción El siguiente trabajo tiene como objetivo explicar la Lógica de Proposicional y Predicados, su definición, argumentos, tautologías y cuantificadores. Investigaremos su uso dentro de la rama de la informática. El objetivo principal es brindar información y conocimiento sobre el tema y sus usos dentro de la carrera de Ingeniería de Sistemas. 3
4 Definición de Lógica. Es la disciplina que trata sobre los métodos de razonamiento, proporciona reglas y técnicas para determinar si es no valido un razonamiento. El problema central de lógica es establecer en qué condiciones un enunciado puede ser considerado como conclusión derivada de otros enunciados llamados premisas. Ejemplo: Ejemplo: Si todos los X son Y y todos los Z son X entonces todos los Z son Y, lo cual es verdadero para cualquier interpretación que demos a X,Y y Z. Concepto de Proposición Es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa. Expresión verbal que afirma o niega algo. Secuencia finita de signos con significado y sentido de ser calificado como verdadero o falso. Expresión lingüística susceptible de ser calificada de verdadera o falsa. hace referencia explícita a las oraciones aseverativas o enunciativas. Ejemplos: La raíz cuadrada de 4 es 2. Todos los carros tiene 2 ruedas.
5 Lógica de Proposicional La lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representa operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. 1 La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. Los enunciados se simbolizan con las letras p, q, r, s. La proposición puede ser simple o atómica (una sola sentencia) o pueden ser compuestas o moleculares, que son las que están formadas por más de una proposición, sentencia o enunciad, y se enlazan por medio de conectivas o por el adverbio de negación no, por ejemplo: 9 es mayor que 3 y 3 es mayor que 2. Las conectivas gramaticales se clasifican de la siguiente manera: Negación: Se aplican a una única sentencia solo se usa la negación. Expresión en el lenguaje natural: NO. Ejemplo: No es cierto que el perro ladre. Se simboliza como:,. Conjunción: Se aplican a dos sentencias. Expresión en el lenguaje natural: Y (AND). Ejemplo: esta lloviendo y esta nublado. Se simboliza como: 5
6 ,. Disyunción: Expresión en el lenguaje natural: O (OR). Ejemplo: Esta lloviendo o esta soleado. Se simboliza como:. Condición material: Expresada en el lenguaje material como: si, entonces. Ejemplo: Se esta soleado entonces es de dia. Se simboliza como:,. Bicondicional: Expresada en el lenguaje material como: si y solo si. Ejemplo: Esta nublado si y solo si hay nubes visibles. Se simboliza como:,. Negación conjunta: Expresado en el lenguaje natural Ni, ni. Ejemplo:: Ni esta soleado ni esta nublado. Se simboliza como:. Disyunción excluyente: Expresado en el lenguaje natural o bien, o bien.
7 Ejemplo: O bien esta soleado o bien esta nublado. Se simboliza como:,. Lógica de Proposicional y Predicados. La lógica de predicados es la forma lógica más general, capaz de representar todos los detalles expresados en las sentencias, está basada en la idea de las sentencias que realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o términos del predicado: P: n es un número par, sabemos que no es una proposición porque necesitamos saber el valor de n. En la lógica de predicados preguntamos: Que se afirma (predicado o relación). De quien se afirma (objeto) A diferencia de la lógica proposicional, la lógica de predicados utiliza cuantificadores, los cuantificadores son símbolos utilizados para indicar cuantos elementos de un conjunto dado cumplen una propiedad. Se dividen en: Cuantificador universal : Indica que algo es cierto para todos los individuos. Cuantificador existencial cumplen una propiedad. : Indica que existe un elemento en el universo del discurso que Conjunto de letras de predicado (PRED): Se representa por letras mayúsculas, P, 7
8 Q, R, K, Є PRED. La lógica de predicados estará formada por los siguientes conjuntos simbolicos: Conjunto de Símbolos de Variables (VAR): Es un conjunto de las últimas letras del alfabeto en minúsculas. Se utilizan subíndices, por ejemplo: Conjunto de símbolos de Constantes (CONS): Este conjunto lo forman las primeras letras del alfabeto en minúsculas, también utilizaremos subíndices: Conjunto de letras de función (FUNC): Representaremos a este conjunto por las letras f, g, h,l. Incluimos subíndices para poder diferenciar las funciones: Signos de puntuación: Paréntesis ( ) y coma Ejemplo: Q: Ana es japonesa se simboliza así: J (a). R: Gabriel no es Japonés se simboliza así: J (g) Entonces Ana es japonesa mientras que Gabriel no lo es se simboliza así: J (a) J (g)
9 Algebra Declarativa Es el álgebra proposicional es decir, la estructura algebraica que se forma con expresiones utilizando los conectivos lógicos, para decir que una expresión es sintácticamente correcta se le llama fórmula bien definida o fbf, lo cual requiere de las siguientes reglas: (B) si p es una proposición lógica, es una fbf. (R) si F es una fórmula bien formada (fbf) también lo es ( F). (R) si p,q son fbf entonces también lo es (p*q) donde * es uno de los operadores binarios, ^ v. En el álgebra declarativa existen algunas tautologías útiles que se pueden demostrar realizando su respectiva tabla de verdad, detalladas a continuación: Involución ( p) p (se lee no, no p, equivale a p ) Idempotencia (p ^ p) p (p v p) p Conmutatividad a) de la disyunción: p v q q v p b) de la conjunción: p ^ q q ^ p Asociatividad a) de la disyunción: (p v q) v r p v (q v r) b) de la conjunción: (p ^ q) ^ r p ^ (q ^ r) Distributivita: De la conjunción respecto de la disyunción: (p Ú q) Ù r (p Ù r) Ú (q Ù r) De la disyunción respecto de la conjunción: (p Ù q) Ú r (p Ú r) Ú (q Ú r) 9
10 Leyes de Demorgan ~ ( p Ú q ) ~ p Ù ~ q La negación de una disyunción equivale a la conjunción de las negaciones ~ ( p Ù q ) ~ p Ú ~ q La negación de una conjunción equivale a la disyunción de las negaciones Negación de una Implicación Las proposiciones p Þ q y ~ (p Ù ~ q) son equivalentes, como vemos realizando la tabla de valores correspondientes: Las formulas se clasifican de la siguiente manera: Tautología o validez: es una fórmula que siempre es verdadera. Contradicción: es una fórmula que siempre es falsa. Contingencia: es una fórmula que puede ser verdadera o falsa. Tablas de verdad Una tabla de verdad es una tabla que muestra al valor de verdad de las variables de y conectivos de una proposición compuesta, para cada combinación de verdad que se pueda asignar. La tabla de verdad se construye de la siguiente manera:
11 Se construye una columna de referencia al lado izquierdo de la tabla, colocando los símbolos de las proposiciones que intervienen en el esquema compuesto (p, q, r, s). 1. El número de filas que tendrá es 2 n donde n representa el número de proposiciones diferentes. 2. Procedemos realizando primero las operaciones que se encuentren entre los paréntesis, y luego procedemos respetando las jerarquías, a) El conectivo de menor jerarquía es,. b) Luego siguen los conectivos y que tienen la misma jerarquía, Cuando dos operadores tengan la misma jerarquía, se le asigna el número menor al de la izquierda. c) Los conectivos de mayor jerarquía son:, y. Cuantificador En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están: Cuantificador universal 11
12 Para todo x, y... Cuantificador existencial Existe al menos un x, y... Cuantificador existencial único Existe exactamente un x, y... Negación del cuantificador existencial No existe ningún x, y... El símbolo se llama cuantificador universal El símbolo es el cuantificador existencial Declaraciones cuantificadas Las declaraciones cuantificadas se escriben en la forma:
13 Para todo x que pertenece a R, se cumple que 2x pertenece a R. Para todo a que pertenece a R, existe x que pertenece a R, que está comprendido entre a y a+1. Para todo a que pertenece a R diferente de cero, existe un único x que pertenece a R, que cumple que a por x es igual a 1. Cuantificación universal En lógica, se usa el símbolo, denominado cuantificador universal, un antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la prosicion dada a continuación. En texto se puede representar con el carácter. Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia en el cual aparecen todas las constantes. El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una determinada propiedad Por ejemplo: 13
14 Para todo x perteneciente a A, se cumple P(x). Esta afirmación suele usarse como la equivalente de la prosicion siguiente: Se define el conjunto A, como el de los elementos x de U, que cumplen P(x). Cuantificación existencial El cuantificador existencial se usa para indicar que hay uno o más elementos en el conjunto (no necesariamente único/s) que cumplen una determinada propiedad. Se escribe: Existe x en A que cumple P(x). Esta proposición suele interpretarse como la equivalente de la proposición siguiente: El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío. Cuantificación existencial única En el lenguaje de predicados en lógica matemática, se usa el símbolo:, llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a continuación.
15 Normalmente, en lógica, el conjunto al que se hace referencia es el universo o dominio de referencia que está formado por todas las constantes. El cuantificador existencial con marca de unicidad se usa para indicar que hay un único elemento de un conjunto A que cumple una determinada propiedad. Se escribe: Se lee: Existe una única x elementos de A, que cumple P(x). Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B: Existe al menos un elemento x de B que pertenece a A: Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemento y de B que no pertenece a A: Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A. Relación cuantificador universal y el cuantificador existencial Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente con el cuantificador existencial: 15
16 Que podríamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x). Según el ejemplo anterior: Para todo x que pertenece a A, se cumple que x pertenece a B. Que podemos expresar: No existe un x de A, que cumpla que x no esté en B. Negación de los cuantificadores La negación del cuantificador universal es equivalente a la afirmación de cuantificador existencial, respecto de la proposición negada; y viceversa.tanto las proposiciones universales como las existenciales poseen su negativa, y se simboliza negando la segunda proposición. Sea P(x): x es alumno Donde x: personas de la UAM. xp(x).si lo miramos desde otro ángulo podemos decir no todas las personas de la UAM son alumnos es equivalente expresar que existe al menos una persona de la UAM que no es alumno la cual seria asi: ƎxP( x).es decir, x(px) ƎxP( x). CONCLUSION
17 Finalizada la investigación podemos determinar que la utilización de la lógica dentro de la informática es una pieza clave para el desarrollo profesional de los futuros ingenieros en sistemas. Entendemos el significado de la Lógica Proposicional y de Predicados, sus definiciones, argumentos, las leyes de algebra y sus tautologías, así como los cuantificadores. Esperamos que el trabajo sea lo más claro y preciso posible y que la información sirva para todo aquel que necesite obtener conocimiento sobre el tema. Bibliografía: 17
18 Johnsonbaugh, (2005). Matemática discretas, México: PERSON EDUCATION, Sexta Edición Logica para Computación, Leobardo López Román, Felipe Ramírez, Lógica Simbólica Básica, Luis A. Camacho, Segunda Edición, 2003.
Introducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesMaterial 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 detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesLÓ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 detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detallesCá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Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesLógica de Predicados
Lógica de Predicados En las últimas décadas, ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. De hecho, ha aparecido un nuevo paradigma de programación,
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detallesMatemá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 detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesL OGICA Proposiciones
CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor
Más detallesEs toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:
Tipos de datos. Dato: Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: I Numéricos: Almacenan números y con
Más detallesNOCIONES PRELIMINARES (*) 1
CONJUNTOS NOCIONES PRELIMINARES (*) 1 Conjunto no es un término definible, pero da idea de una reunión de cosas ( elementos ) que tienen algo en común. En matemática los conjuntos se designan con letras
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesConjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.
NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida
Más detallesTema 2. Fundamentos de la Teoría de Lenguajes Formales
Departamento de Tecnologías de la Información Tema 2. Fundamentos de la Teoría de Lenguajes Formales Ciencias de la Computación e Inteligencia Artificial Índice 2.1. Alfabeto 2.2. Palabra 2.3. Operaciones
Más detallesSISTEMA DE NUMEROS REALES
SISTEMA DE NUMEROS REALES 1.1 Conjuntos Es una agrupación de objetos distintos (pero con algunas características en común), los que reciben el nombre de elementos. Generalmente se nombra a un conjunto
Más detallesCONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.
RESUMEN DE MATEMATICAS I PARTE I CONJUNTOS CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. A= {números pares} B= { banda de rock} ELEMENTO: Son las ideas u objetos cualesquiera
Más detallesALGEBRA 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 detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesEl lenguaje C. 1. Identificadores, constantes y variables
Principios de Programación El lenguaje C 1. Identificadores, constantes y variables 1.1. Conceptos de memoria Los nombres de variable como x, y, suma corresponden a localizaciones o posiciones en la memoria
Más detallesCAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS
CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,
Más detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesAlgoritmos. Medios de expresión de un algoritmo. Diagrama de flujo
Algoritmos En general, no hay una definición formal de algoritmo. Muchos autores los señalan como listas de instrucciones para resolver un problema abstracto, es decir, que un número finito de pasos convierten
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesTaller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid
Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo
Más detallesTema 3.- Predicados y sentencias condicionales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER
Más detallesCAPÍTULO II TEORÍA DE CONJUNTOS
TEORÍ DE ONJUNTOS 25 PÍTULO II TEORÍ DE ONJUNTOS 2.2 INTRODUIÓN Denotaremos los conjuntos con letras mayúsculas y sus elementos con letras minúsculas, si un elemento p pertenece a un conjunto escribiremos
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesCAPÍTULO II SISTEMAS NUMÉRICOS. Este método de representar los números se llama sistema de numeración decimal, donde 10 es la base del sistema.
CIENCIAS DE LA COMPUTACIÓN MAT 1104 12 CAPÍTULO II SISTEMAS NUMÉRICOS 2.1 INTRODUCCIÓN Los números usados en Aritmética están expresados por medio de múltiplos o potencias de 10; por ejemplo: 8654= 8*10
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
Más detallesDefinició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 detallesNOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA
NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitirá introducirnos a la Matemática: la Lógica Matemática, que estudia las leyes
Más detallesLa función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad.
UNIDAD 1 LOGICA MATEMATICA 1.3 Cuantificadores Logica de predicados Esta lógica nos permite hacer afirmaciones con respecto a relaciones entre objetos o sus propiedades que satisfacen elementos de un determinado
Más detallesTema 9: Cálculo Deductivo
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesHoras 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 detallesIntroducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)
Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias
Más detallesExamen final de Lógica y argumentación (Fecha: xxxxxxxx)
1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término
Más detallesÁ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 detallesSEMINARIO MENOR DIOCESANO SAN JOSE DE CUCUTA LA JUVENTUD A JESUCRISTO QUEREMOS DEVOLVER PLAN DEMEJORAMIENTO 2012
NOMBRE:. AREA: MATEMATICAS A. SELECCIONA LA RESPUESTA CORRECTA: 1. Una proposición es : a) Una afirmación que comunica una idea verdadera o falsa. b) Una idea que es verdadera. c) Una afirmación que es
Más detallesPrincipios de Computadoras II
Departamento de Ingeniería Electrónica y Computadoras Operadores y Expresiones rcoppo@uns.edu.ar Primer programa en Java 2 Comentarios en Java Comentario tradicional (multi-línea) Comentario de línea Comentario
Más detallesFicha de Aprendizaje N 13
Ficha de Aprendizaje N 13 Curso: Lógica y lenguaje de programación Tema: Fundamentos de programación Duración: 2 horas pedagógicas Logros de aprendizaje Identifica los diferentes tipos de operadores que
Más detallesMATEMÁTICAS II CC III PARCIAL
UNIDAD DIDÁCTICA #3 CONTENIDO ECUACIONES LINEALES CON UNA INCOGNITA TIPOS DE ECUACIONES RESOLUCION DE ECUACIONES LINEALES INECUACIONES LINEALES 1 ECUACIONES LINEALES CON UNA INCOGNITA Una ecuación es una
Más detallesNotas de Álgebra y Matemática Discreta
Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios
MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los
Más detallesOperaciones con monomios y polinomios
Operaciones con monomios y polinomios Para las operaciones algebraicas se debe de tener en cuenta que existen dos formas para representar cantidades las cuales son números o letras. Al representar una
Más detallesExpresiones Aritméticas. Programación digital I Escuela de Sistemas Facultad de Ingeniería Gilberto Diaz
Expresiones Aritméticas Programación digital I Escuela de Sistemas Facultad de Ingeniería Gilberto Diaz Expresiones Aritméticas El computador puede realizar cálculos además de mostrar datos por pantalla.
Más detallesNúmeros reales Conceptos básicos Algunas propiedades
Números reales Conceptos básicos Algunas propiedades En álgebra es esencial manejar símbolos con objeto de transformar o reducir expresiones algebraicas y resolver ecuaciones algebraicas. Debido a que
Más detallesAlgebra lineal y conjuntos convexos
Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar
Más detallesGUION TÉCNICO AUDIO. El Conjunto De Los Números Reales. realidad, es una ciencia resultado de más de 4 mil años de
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. El Conjunto De Los Números Reales. Hablar de matemáticas, no es solo referirse a números. En realidad, es
Más detallesMatemáticas 2º E.S.P.A. Pág.1 C.E.P.A. Plus Ultra. Logroño
ALGEBRA 1. LETRAS EN VEZ DE NÚMEROS En muchas tareas de las matemáticas es preciso trabajar con números de valor desconocido o indeterminado. En esos casos, los números se representan por letras y se operan
Más detallesTEMA 3 ÁLGEBRA DE CONMUTACIÓN
TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3: Álgebra de Boole ÍNDICE. POSTULADOS DEL ÁLGEBRA DE CONMUTACIÓN 2. ÁLGEBRA DE BOOLE BIVALENTE O ÁLGEBRA DE CONMUTACIÓN 2. Teoremas del álgebra de conmutación 3. VARIABLES
Más detallesDesde los programas más simples escritos en un lenguaje de programación suelen realizar tres tareas en forma secuencial.
Tipos de Datos Desde los programas más simples escritos en un lenguaje de programación suelen realizar tres tareas en forma secuencial. Entrada de datos Procesamientos de datos Salida de resultados Los
Más detallesUNIDAD DE APRENDIZAJE I
UNIDAD DE APRENDIZAJE I Saberes procedimentales Interpreta y utiliza correctamente el lenguaje simbólico para el manejo de expresiones algebraicas. 2. Identifica operaciones básicas con expresiones algebraicas.
Más detallesOperadores y Expresiones
Operadores y Expresiones Los programas Java constan de datos, sentencias de programas y expresiones. Una expresión es normalmente, una ecuación matemática, tal como 3 * x + 5 * z. En esta expresión, los
Más detallesTutorial MT-b11. Matemática Tutorial Nivel Básico. Inecuaciones e intervalos
12345678901234567890 M ate m ática Tutorial MT-b11 Matemática 2006 Tutorial Nivel Básico Inecuaciones e intervalos Matemática 2006 Tutorial Inecuaciones e intervalos I. Definición y Propiedades de las
Más detallesCapítulo 7: Lógica de predicados y cuantificadores
Capítulo 7: Lógica de predicados y cuantificadores por G 3 Agosto 2014 Resumen A menudo interesa afirmar que todos, o que solo algunos individuos de cierto universo, o solo uno, cumplen alguna propiedad.
Más detallesSignificado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor
Más detallesCurso de Programación Avanzada en C
Curso de Programación Avanzada en C Copyright, 1996 Universidad Sim on Bol ivar 1 Prof. Mariela J. Curiel Contenido del Curso Conceptos BásicosB Estructuras de Control Arreglos Otros tipos de datos derivados
Más detalles2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIFICADORES COMO LOCALIDADES DE MEMORIA
CONTENIDOS: 1. TIPOS DE DATOS 2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIICADORES COMO LOCALIDADES DE MEMORIA OBJETIO EDUCACIONAL: El alumno conocerá las reglas para cambiar fórmulas matemáticas
Más detallesApuntes de Matemática Discreta 2. Operaciones con Conjuntos
Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Operaciones con Conjuntos
Más detallesExpresiones Algebraicas en los Números Reales
Operaciones con en los Números Reales Carlos A. Rivera-Morales Álgebra Tabla de Contenido Contenido Operaciones con Operaciones con : Contenido Operaciones con Discutiremos: qué es una: expresión algebraica
Más detallesCapítulo 7 OPERADORES Y EXPRESIONES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"
Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C" Autor: Carlos Javier Pes Rivas (correo@carlospes.com) Capítulo 7 OPERADORES Y EXPRESIONES 1 OBJETIVOS Conocer los tipos de operadores
Más detallesSESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Más detallesUNIDAD 4. Álgebra Booleana
UNIDAD 4 Álgebra Booleana ÁLGEBRA BOOLEANA El Álgebra Booleana se define como una retícula: Complementada: existe un elemento mínimo 0 y un elemento máximo I de tal forma que si a esta en la retícula,
Más detallesExisten diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas:
Compuertas lógicas Las compuertas lógicas son dispositivos electrónicos utilizados para realizar lógica de conmutación. Son el equivalente a interruptores eléctricos o electromagnéticos. para utilizar
Más detallesINSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883
. PROPOSICIONES PROPOSICIÓN: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. Por esta razón, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas
Más detallesIntroducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente
Más detallesVamos a profundizar un poco sobre los distintos tipos de datos que podemos introducir en las celdas de una hoja de cálculo
Tipos de datos. Vamos a profundizar un poco sobre los distintos tipos de datos que podemos introducir en las celdas de una hoja de cálculo Valores Constantes: Es un dato que se introduce directamente en
Más detallesOPERADORES Y EXPRESIONES
OPERADORES Y EXPRESIONES Una expresión es una combinación de variables, literales y operadores, que representan un valor Operadores aritméticos Operador Función + suma - resta * producto / división % operador
Más detallesLenguajes y Gramáticas
Lenguajes y Gramáticas Teoría de Lenguajes Fernando Naranjo Introduccion Se desarrollan lenguajes de programación basados en el principio de gramática formal. Se crean maquinas cada vez mas sofisticadas
Más detallesElementos de un programa en C
Elementos de un programa en C Un programa en C consta de uno o más archivos. Un archivo es traducido en diferentes fases. La primera fase es el preprocesado, que realiza la inclusión de archivos y la sustitución
Más detallesCOLEGIO NUESTRO SEÑOR DE LA BUENA ESPERANZA
COLEGIO NUESTRO SEÑOR DE L UEN ESPERNZ signatura: NÁLISIS MTEMÁTICO 11º Profesor: Lic. EDURDO DURTE SUESCÚN TLLER OPERCIONES CON CONJUNTOS OPERCIONES CON CONJUNTOS En aritmética se suma, resta y multiplica,
Más detallesINTRODUCCION A LA LÓGICA DE ENUNCIADOS
INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas,
Más detallesUNIDAD DE APRENDIZAJE II
UNIDAD DE APRENDIZAJE II Saberes procedimentales 1. Multiplicar y dividir números enteros y fraccionarios 2. Utilizar las propiedad conmutativas y asociativa Saberes declarativos A Concepto de base, potencia
Más detallesTema: Excel Formulas, Funciones y Macros
1 Facultad Escuela Lugar de Ejecución : Ingeniería. : Biomédica : Laboratorio de Biomédica Tema: Excel Formulas, Funciones y Macros Objetivos Específicos Conocer los conceptos básicos en relación a la
Más detallesConceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB)
UNIVERSITAT POLITÈCNICA DE CATALUNYA BarcelonaTECH Conceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB) Marta Jiménez y Beatriz Otero Departament d Arquitectura de Computadors
Más detallesMÓDULO 8: VECTORES. Física
MÓDULO 8: VECTORES Física Magnitud vectorial. Elementos. Producto de un vector por un escalar. Operaciones vectoriales. Vector unitario. Suma de vectores por el método de componentes rectangulares. UTN
Más detalles3.1 Reglas de equivalencia
3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar
Más detallesMatemáticas Discretas, Lógica: Predicados y Cuantificadores
Matemáticas Discretas, Lógica: Predicados y Cuantificadores Prof. Víctor Bravo 1 1 Universidad de los Andes A-2008 Licencia de Uso Copyright (c), 2007. 2008, ULA. Permission is granted to copy, distribute
Más detallesTÉCNICAS DIGITALES SISTEMAS NUMÉRICOS
Universidad Nacional de Quilmes Diplomatura en Ciencia y Tecnología TÉCNICAS DIGITALES Los sistemas numéricos. SISTEMAS NUMÉRICOS La necesidad de contar objetos llevó a distintas culturas a simbolizar
Más detallesINSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER
INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER Manual del Alumno ASIGNATURA: Matemática I PROGRAMA: S3C Lima-Perú SESION 1 SISTEMAS DE NUMERACION DEFINICION : Es un conjunto de reglas y principios que nos
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesMatemáticas Universitarias
Matemáticas Universitarias 1 Sesión No. 5 Nombre: Desigualdades lineales, cuadráticas y valor absoluto Objetivo de la asignatura: En esta sesión el estudiante conocerá las características y métodos de
Más detallesGuía 1: PATRONES DE REPETICIÓN
Guía : PATRONES DE REPETICIÓN Un patrón es una sucesión de elementos (orales, gestuales, gráficos, de comportamiento, numéricos) que se construye siguiendo una regla, ya sea de repetición o de recurrencia.
Más detallesRazonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F
2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni
Más detallesTodo programa en 'C' consta de una o más funciones, una de las cuales se llama main.
LENGUAJE C CARACTERISTICAS DEL LENGUAJE 'C' El lenguaje 'C' se conoce como un lenguaje compilado. Existen dos tipos de lenguaje: interpretados y compilados. Los interpretados son aquellos que necesitan
Más detallesTEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.
Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en
Más detallesEnteros (Z):..., -3, -2, -1, 0, 1, 2, 3,... Números enteros (positivos o negativos), sin decimales. Incluye a los naturales.
Tema 1: Números Reales 1.1 Conjunto de los números Naturales (N): 0, 1, 2, 3. Números positivos sin decimales. Sirven para contar. Enteros (Z):..., -3, -2, -1, 0, 1, 2, 3,... Números enteros (positivos
Más detalles