Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza
|
|
- José Antonio Hidalgo López
- hace 7 años
- Vistas:
Transcripción
1 Semántica Proposicional Curso Mari Carmen Suárez de Figueroa Baonza
2 Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad Consecuencia Lógica Equivalencia Lógica
3 Introducción n a la Semántica (I) Qué es la semántica? Estudia el significado de los símbolos Se introduce el concepto de interpretación (conjunto de reglas precisas que permiten asignar objetos de un dominio a ciertas expresiones de un lenguaje formal) Asigna un significado a las construcciones sintácticas Junto con la sintáctica ayuda a definir un sistema formal Sin significado todas las formulas proposicionales son sintácticamente diferentes unas de otras, excepto si son la misma cadena de símbolos La introducción de la semántica a las fórmulas proposicionales consiste en reducir todas las situaciones posibles a dos: cierto o verdadero y falso Aparece entonces una relación de equivalencia entre fórmulas que permite identificar fórmulas equivalentes
4 Introducción n a la Semántica (II) Hemos visto (informalmente) qué es un razonamiento válido: siempre que las premisas del razonamiento sean ciertas, necesariamente la conclusión ha de serlo también la verdad de las premisas es incompatible con la falsedad de la conclusión la conclusión es consecuencia lógica de las premisas Objetivo del tema: Definir con precisión el concepto de consecuencia lógica
5 Introducción n a la Semántica (III) Una proposición es una condición/afirmación posible del mundo sobre el que queremos decir algo Una proposición puede ser Verdadera o Falsa (valor de verdad) Proposiciones simples: su valor de verdad no depende de otra proposición Proposiciones compuestas: su valor de verdad depende del que tengan las proposiciones simples que la definan y del significado de las conectivas
6 Interpretación n de FBFs proposicionales (I) Interpretación: i(fbf proposicional) = V / F Una función de interpretación (i) (también llamada valoración o interpretación) es un dispositivo formal para asignar un valor de verdad a todas y cada una de las FBFs de un lenguaje proposicional LP es un lenguaje proposicional, i: FBF LP {V, F} Una vez asignado el valor de verdad a las proposiciones simples, las fórmulas compuestas (no atómicas) pueden ser también interpretadas: i( A) = V sii i(a) = F i(a B) = V sii i(a) = i(b) = V i(a B) = V sii i(a) = V o i(b) = V i(a B) = V sii i(a) = F o i(b) = V i(a B) = V sii i(a) = i(b) siendo A y B FBFs de un lenguaje proposicional
7 Interpretaci Interpretación de n de FBFs FBFs proposicionales proposicionales (II) (II) A B A A B A B A B A B V V F F V F V F F F V V V F F F V V V F V F V V V F F V
8 Ejercicios (de semántica) (I) Si se es menor de tres años, se va a la escuela infantil. Si se tienen tres años o más, se va al colegio o al trabajo. Luego se va a la escuela infantil, al colegio o al trabajo Sea LP un lenguaje proposicional con los símbolos de proposición {p, q, r, s} y las conectivas {,, } Significado informal de las proposiciones: p: se es menor de tres años q: se va a la escuela infantil r: se va al colegio s: se va al trabajo Formalización: Si se es menor de tres años, se va a la escuela infantil: p q Si se tienen tres años o más, se va al colegio o al trabajo: p r s Se va a la escuela infantil, al colegio o al trabajo: q r s
9 Ejercicios (de semántica) (I) Resolver: Asignación de significado a premisas y conclusión cuando i(p) = i(q) = i(r) = i(s) = V Asignación de significado a premisas y conclusión cuando i(p) = i(q) = i(r) = i(s) = F
10 Ejercicios (de semántica) (II) Asignar significado a las siguientes fórmulas cuando i(p) = i(q)= V e i(r) = F (p q r) (p q r) (p ( q r)) ( (p q) r) Asignar significado a las siguientes fórmulas para toda posible interpretación (p q) p q ( p q) ( q p) (p q) (p q)
11 Ejercicios (de semántica) (III) Asignar significado a las siguientes fórmulas para toda posible interpretación p q p v q p q p q p q p v p p p V V V F F V F F
12 Ejercicios (de semántica) (III) Asignar significado a las siguientes fórmulas para toda posible interpretación p q p v q p q p q p q p v p p p V V V F V F V F V F F F V V V F F V V V V V V F F F V F F F V F
13 Validez (I) Atendiendo a su semántica, las FBFs pueden clasificarse en Contradicción sii no existe una interpretación i tal que i(a) = V Válida (o tautología) sii no existe una interpretación i tal que i(a) = F (se representa A) Contingente sii existe alguna interpretación i tal que i(a) = V y existe alguna interpretación i tal que i (A) = F También se puede decir que Una fórmula A es válida sii A es una contradicción Una fórmula A es contingente sii A es contingente
14 Validez (II) Contradicción sii no existe una interpretación i tal que i(a) = V Las fórmulas que son falsas para cualquier posible asignación de valores de verdad de sus constituyentes, se denominan contradicciones Ejemplos: p p V F F V F F V F q (p q) V F F V V V F F F V V F V F F F V V F F V F F F (p q) q V V V F F V F F V F F V V F F F V F F F F F V F
15 Validez (III) Válida (o tautología) sii no existe una interpretación i tal que i(a) = F (se representa A) Las fórmulas que son verdaderas para cualquier posible asignación de valores de verdad de sus constituyentes, se denominan tautologías Ejemplos p p V V V F V F p (q p) V V V V V F V V F F V V F V V F V F V F p ( p q) V V F V V V F V V F V V V V F V V F F V V F F F
16 Validez (IV) Contingente sii existe alguna interpretación i tal que i(a) = V y existe alguna interpretación i tal que i (A) = F Las fórmulas que son verdaderas en algunas interpretaciones y falsas en otras, se denominan contingencias Ejemplos p p V V V F F F (p q) q) V V V V V F V V V V V V F F F F F F V F p (p q) V F V F F V F V F V F V V V V V V F F V F V V F
17 Ejercicios (de semántica) Determinar para cada una de las siguientes fórmulas si es válida, contradictoria o contingente, indicando la(s) interpretación(es) que lo demuestran: 1. p q p 2. p q p 3. p p 4. p q (r s p) 5. (p q) (p q) 6. (p q) (q r) (p r) 7. (p q) p q 8. (p q) p q 9. (p q) (r p) (q r) 10. (p q r) (p (q r)) 11. (p q) p q 12. p (q r) 13. p (q q p) 14. (p q) (q p) 15. (p q) ( (p r) (p q r) )
18 Satisfacibilidad Dado un lenguaje proposicional LP Una interpretación i satisface una fórmula A FBF LP sii i(a) = V Una fórmula A FBF LP es satisfacible sii existe (al menos) una interpretación i tal que i(a) = V Una fórmula A FBF LP es insatisfacible sii no existe ninguna interpretación i tal que i(a) = V Para conjuntos de fórmulas {A1,,An}, Ai FBF LP para todo i: 1 i n: Además Una interpretación i satisface {A1,,An} sii i(ai) = V para todo i: 1 i n Una interpretación que satisface una fórmula es un modelo de la fórmula Una interpretación que hace falsa una fórmula es un contramodelo de la fórmula
19 Validez y Satisfacibilidad De las definiciones anteriores se pueden establecer las siguientes equivalencias Una fórmula es válida sii no tiene contramodelos sii todas sus interpretaciones son modelos sii todas sus interpretaciones la satisfacen Una fórmula es una contradicción sii no tiene modelos sii todas sus interpretaciones son contramodelos sii es insatisfacible Una fórmula es contingente sii tiene modelos y contramodelos
20 Ejercicios (I) Decir si las siguientes afirmaciones son verdaderas (V) o falsas (F). Una fórmula bien formada A se dice que es contingente si existe al menos un contramodelo de dicha fórmula A Falsa. Una fórmula es contingente cuando puede ser verdadera o falsa, es decir, cuando tiene al menos un modelo y al menos un contramodelo La negación de una contradicción siempre será una tautología, y la negación de una tautología será una contradicción Verdadera A es satisfacible si y sólo si A no es una contradicción Verdadera A es una tautología si y sólo si A es contingente Falsa Una fórmula A es insatisfacible sí y sólo si es también contradicción Verdadera. Para una fórmula insatisfacible y para una contradicción, todas las interpretaciones la hacen falsa
21 Ejercicios (II) Demostrar, mediante una interpretación, que la siguiente fórmula es satisfacible (s p) ((q r) (p s)) A Buscamos una interpretación que haga verdaderas A y B: i(a) = V i(s) = V y i( p) = V, por ejemplo i(s) = V i(p) = F i(b) = i( (q r) (p s) ) = V i(p) = F i(p s) = F B i(q r) = F i(q) = i(r) = F Esta interpretación, i(s) = V, i(p) = i(q) = i(r) = F, hace Verdadera la fórmula dada y, por tanto, satisfacible
22 Ejercicios (III) Encontrar, si existen, un modelo y un contramodelo para cada una de las siguientes fórmulas: p s (r (s r)) Modelo: i(p) = verdadero; i(r) = verdadero; i(s) = falso Contramodelo: i(p) = falso; i(r) = verdadero; i(s) = falso (p q p (p q)) Modelo: i(p) = verdadero; i(q) = verdadero Contramodelo: i(p) = falso; i(q) = falso
23 Ejercicios (IV) Dadas las siguientes fórmulas decir para cada una de ellas si es válida, contingente, contradicción o no es posible saber con certeza qué es, a partir de la información disponible sobre A, B, C y D (donde A, B, C y D son fórmulas cualesquiera): A B (C B) (C A) (A B) (C B) A [A (B A)] sabiendo que B es insatisfacible sabiendo que B es insatisfacible sabiendo que B es válida, A es insatisfacible sabiendo que A es válida, B es insatisfacible
24 Consecuencia Lógica L (I) Dado un lenguaje proposicional LP, un conjunto de fórmulas {A1,,An}, Ai FBF LP para todo i:1 i n, y una fórmula B FBF LP Consecuencia lógica: B es consecuencia lógica de {A1,,An} ( [A1,,An] B ) sii toda interpretación que satisface {A1,,An} también satisface B sii no existe ninguna interpretación que satisfaga {A1,,An} y no satisfaga a B
25 Consecuencia Lógica L (II) Argumento correcto: Un argumento con premisas {A1,, An} y conclusión B es correcto sii [A1,, An] B En un argumento válido, la conclusión se sigue de las premisas Esto ocurre cuando no es posible que las premisas sean verdaderas y la conclusión falsa Para decidirlo se pueden hacer dos análisis: (1) Ver si todas las interpretaciones que satisfacen {A1,,An} también satisfacen B, o bien (2) Ver que no existe ninguna interpretación que satisfaga {A1,,An} y no satisfaga B El caso (1) requiere examinar todas las interpretaciones posibles y ver si se cumple la condición En el caso (2) podemos centrarnos en definir una interpretación i tal que i({a1,, An}) = V y i(b) = F Si existe, esa interpretación es un contramodelo del argumento
26 Consecuencia Lógica: L Ejemplo (I) Analizar si se cumple la relación de consecuencia lógica: todas las interpretaciones posibles { p (q r), p q } r De todas las interpretaciones posibles, sólo una hace verdad a las dos premisas, y esa interpretación también hace verdad a la conclusión. Por tanto, sí hay relación de consecuencia lógica
27 Consecuencia Lógica: L Ejemplo (II) Analizar si se cumple la relación de consecuencia lógica: { p q, r } q s Tratamos de definir un contramodelo del argumento: i(p q) = V sii i(r) = V i(p) = V y i( q) = V sii i( q) = F sii i(q) = V i(q s) = F sii i(q) = F y i(s) = F Hay contradicción Puesto que no es posible definir un contramodelo, el argumento es correcto: hay relación de consecuencia lógica entre las premisas y la conclusión
28 Consecuencia Lógica: L Ejemplo (III) Analizar si se cumple la relación de consecuencia lógica: { p q, (p r) } q (p r) Tratamos de definir un contramodelo del argumento: i(p q) = V sii i(p) = V y i(q) = V i( (p r)) = V sii i(p r) = F i(p) = V y i(r) = F i(q (p r)) = F sii Hay contradicción i(q) = F o bien i(p r) = F sii i(p) = V y Son compatibles i(r) = F
29 Consecuencia Lógica: L Ejemplo (III) Analizar si se cumple la relación de consecuencia lógica: { p q, (p r) } q (p r) Sí es posible definir un contramodelo del argumento: i(p) = i(q) = V, i(r) = F, por tanto el argumento no es correcto: no hay relación de consecuencia lógica
30 Ejercicios (I) Determinar si las siguientes argumentaciones son correctas. Si no lo son, indicar la interpretación que lo demuestra (contramodelo) 1. [p, p q] q 2. [ p, p v q] q 3. [p q, p] q 4. [p q, q] p 5. [p q, p] q 6. [p q] p 7. [ (p q)] p q 8. [ (p v q)] p q
31 Ejercicios (II) Decir si la siguiente afirmación es verdadera (V) o falsa (F) Dadas las fórmulas A1, A2, A3 y B, si existe una interpretación que satisface tanto A1, A2 y A3, como B, podemos afirmar que B es consecuencia lógica ( = ) de A1, A2 y A3 Falsa. TODAS las interpretaciones que satisfagan A1, A2 y A3, tienen que satisfacer B (no es suficiente sólo con una), para que B sea consecuencia lógica de A1, A2 y A3
32 Ejercicios (III) Determinar si las siguientes argumentaciones son correctas. Si no lo son, indicar la interpretación que lo demuestra (contramodelo)
33 Ejercicios (IV) Formalizar el siguiente argumento, decidiendo si es o no válido (es decir, la conclusión es consecuencia lógica de las premisas): Andrea aprende Lógica si estudia y va a clase. Si Andrea no va a clase o no estudia, puede pasear por el campo. Si Andrea puede pasear por el campo no aprende Lógica. En consecuencia, Andrea no aprende Lógica.
34 Ejercicios (V) Formalizar el siguiente razonamiento y demostrar con métodos semánticos si el razonamiento es o no correcto O Juan va a París o no se queda en casa. Si viaja en barco, no va a París. Por consiguiente, si Juan se queda en casa, no viaja en barco
35 Ejercicios (VI) Formalizar empleando las variables proposicionales indicadas y analizar el siguiente argumento, determinando si hay o no hay relación de consecuencia: Que llueva (p) y haga sol (s) son condiciones necesarias para tener una buena cosecha (c). Basta con que haga sol para que el turismo se anime (t). O evitamos el calentamiento global (q) o no llueve. Tenemos una buena cosecha. En conclusión, el turismo se anima y evitamos el calentamiento global Es posible definir un contramodelo y por tanto Hay consecuencia lógica No hay consecuencia lógica Es imposible definir un contramodelo y por tanto Hay consecuencia lógica No hay consecuencia lógica
36 Ejercicios (VII) Formalizar empleando las variables proposicionales indicadas y analizar el siguiente argumento, determinando si hay o no hay relación de consecuencia entre premisas y conclusión Si no es cierto que se pueda ser rico (p) y dichoso (q) a la vez, entonces o bien la vida está llena de frustraciones (r) o bien la vida no merece vivirse (s). Se puede no ser dichoso y que la vida merezca vivirse. Por consiguiente, la vida está llena de frustraciones Es posible definir un contramodelo y por tanto Hay consecuencia lógica No hay consecuencia lógica Es imposible definir un contramodelo y por tanto Hay consecuencia lógica No hay consecuencia lógica
37 Ejercicios (VIII) Formalizar el siguiente razonamiento y analizar si es o no correcto: Al lógico Ceferino le preguntaron: amas a Queta, a Petra o a Rosana? El pensó: los hechos son: Amo al menos a una de las tres. Si amo a Petra pero no a Queta, entonces amo a Rosana. O bien amo a Queta y a Rosana, o no amo a ninguna de las tres. Si amo a Queta, entonces también amo a Petra Contestó: Amo a las tres
38 Ejercicios (IX) Probar {p u, q u, r u, s u, t u} B, donde la fórmula B es: p q r s t u p q r s t u Probar que la siguiente fórmula es tautología, de manera semántica pero sin utilizar tablas de verdad: (p q) ((p r) (p q r))
39 Ejercicios (X) Demostrar con métodos semánticos si el razonamiento es o no correcto Al repostar en la gasolinera A, usando la tarjeta del seguro tengo 1 euro de descuento; si voy a la gasolinera B y uso la tarjeta del banco tengo 2 euros de descuento; voy a repostar en A o en B, pero no en las dos; por lo tanto voy a tener un descuento de 3 euros
40 Ejercicios (XI) Dado el siguiente argumento: Cuando Eduardo no juega al baloncesto, juega al tenis. Cuando juega al tenis, juega al fútbol. No juega al fútbol. Por tanto, Eduardo juega al baloncesto. Formalizar los cuatro enunciados y averiguar si ese razonamiento es o no válido
41 Ejercicios (XII) Determinar la corrección del siguiente argumento: Se sabe que Los animales con pelo o que dan leche son mamíferos Los mamíferos que tienen pezuñas o que rumian son ungulados Los ungulados de cuello largo son jirafas Los ungulados con rayas negras son cebras Se observa un animal que tiene pelos, pezuñas y rayas negras. Por consiguiente, se concluye que el animal es una cebra
42 Equivalencia Lógica L (I) Dos fórmulas A y B son (lógicamente) equivalentes (A B, A B) sii para toda interpretación i se cumple que i(a) = i(b) Esta definición implica que: A y B son consecuencia lógica una de la otra (A B y B A) La fórmula A B es válida (es una tautología) Por ejemplo: p q p v q i(p) i(q) i(p q) i( p v q) V V V V V F F F F V V V F F V V i((p q) ( p v q)) V V V V
43 Equivalencia Lógica L (II) La equivalencia entre fórmulas proporciona numerosas ventajas prácticas: permite utilizar indistintamente las fórmulas equivalentes en una demostración (lo utilizaremos más adelante) permite reducir el tamaño de un lenguaje proposicional (disminuir el nº de conectivas que emplea) Por ejemplo, cualquier lenguaje proposicional puede reducirse a otro que sólo utiliza {, v} Esta reducción simplifica tareas como: construcción de sistemas sintácticos de demostración demostración de las propiedades metalógicas del sistema formal
44 Equivalencia Lógica L (III) Algunas equivalencias lógicas muy utilizadas (I): ( p) p p p p p q q p p q q p p (q r) (p q) r p (q r) (p q) r p q p q (p q) p q (p q) p q Doble negación Ley de idempotencia Conmutatividad de la conjunción Conmutatividad de la disyunción Asociatividad de la conjunción Asociatividad de la disyunción La implicación como disyunción Ley de De Morgan Ley de De Morgan
45 Equivalencia Lógica L (III) Algunas equivalencias lógicas muy utilizadas (II): p (q r) (p q) (p r) Distributividad de la conjunción respecto a la disyunción p (q r) (p q) (p r) Distributividad de la disyunción respecto a la conjunción p q (p q) (q p) Definición de la doble implicación en función de la implicación
46 Ejercicios Para los siguientes pares de fórmulas, en cuáles se cumple A B?, en cuáles se cumple B A?, en cuáles A y B son equivalentes?
47 Semántica Proposicional Curso Mari Carmen Suárez de Figueroa Baonza
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 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 detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
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 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 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 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 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 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 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 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 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 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 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 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 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 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 detallesOperaciones con conjuntos (ejercicios)
Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:
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 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 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 detallesProbabilidad y Estadística
Probabilidad y Estadística Probabilidad Conceptos como probabilidad, azar, aleatorio son tan viejos como la misma civilización. Y es que a diario utilizamos el concepto de probabilidad: Quizá llueva mañana
Más detallesP+P C. 1 hora 45 min. 1. Qué es un argumento? Aprender a crear un argumento Aprender a contra-argumentar
Por: Ana María Diez Aprender a crear un argumento Aprender a contra-argumentar 1 hora 45 min 1. Qué es un argumento? Los argumentos son importantes porque permiten pensar y repensar un amplio abanico de
Más detallesTema 7. El problema de los condicionales
Tema 7. El problema de los condicionales (Capítulo 3 de S. Read, Thinking about Logic, pp. 64-95) Cuál es el problema que plantean a la lógica los enunciados condicionales? El de formular sus condiciones
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 detallesIIC2213. IIC2213 Teorías 1 / 42
Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente
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 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 detallesCONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?
CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? Ángel Tolaba En esta ponencia trataremos de sugerir una dirección analógica entre el tratamiento que se suele hacer de los razonamientos formales
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 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 detallesFase Eliminatoria: Marzo de 2011 LICENCIATURA
Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica Clásica Formal y de la Lógica Informal. Considera solamente las premisas
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 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 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 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 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 detallesOperaciones lógicas principales: Negación, Conjunción y Disyunción
Operaciones lógicas principales: Negación, Conjunción y Disyunción Definiciones informales. A es verdadera A es falsa A B es verdadera A es verdadera y B es verdadera A B es verdadera A es verdadera o
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 detallesb) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Más detalles3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:
MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales
Más detallesTEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)
TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.
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 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 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 detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
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 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 detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Pablo Cobreros pcobreros@unav.es Tema 1: El objeto de la lógica La lógica proposicional clásica El objeto de la lógica Consecuencia lógica La lógica proposicional El lenguaje
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 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 detalles- Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura. Topología
- Fernando Sánchez - - 6 Topología Cálculo I en R 26 10 2015 Elementos de la topología en R. Una topología en un conjunto da un criterio para poder hablar de proximidad entre los elementos de un conjunto.
Más detallesTEXTO DE SANTO TOMÁS
TEXTO DE SANTO TOMÁS Suma Teológica El texto propuesto para analizas es una cuestión de la Suma Teológica, esta obra es un tratado de teología, redactado en latín, escrito por Santo Tomás en el SXIII,
Más detallesÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA
ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...
Más detallesNegación Conjunción Dis junción. P -ip P Q P & Q P Q P V Q C F C C C C C C F C C F F C F C F C F F C C F F F F F F P Q P Q
APITULO 4 TABLAS DE ERTEZA 4.1 Tablas de certeza Un método en general más conveniente que el diagrama para analizar los valores de certeza de proposiciones, es el de poner todas las posabilidades de certeza
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
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 detallesSemana 09 [1/28] Sucesiones. 29 de abril de Sucesiones
Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará
Más detallesTema 3: Sistemas de ecuaciones lineales
Tema 3: Sistemas de ecuaciones lineales 1. Introducción Los sistemas de ecuaciones resuelven problemas relacionados con situaciones de la vida cotidiana que tiene que ver con las Ciencias Sociales. Nos
Más detallesSemana03[1/17] Funciones. 16 de marzo de Funciones
Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,
Más detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA
INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1
Más detallesNormas Estatales Fundamentales Comunes
Dando sentido a las Normas Estatales Fundamentales Comunes Una guía práctica para maestros y padres Lakeshore S8220 Normas Estatales Fundamentales Comunes: Preguntas frecuentes Qué son las Normas Estatales
Más detallesÁLGEBRAS DE BOOLE. En un álgebra de Boole (B, +,, ) se cumplen las siguientes propiedades, para todo x, y, z B: Doble Complemento
ÁLGEBRAS DE BOOLE CARACTERIZACIÓN DE UN ÁLGEBRA DE BOOLE Un álgebra de Boole (o álgebra booleana) consiste en un conjunto B = {0, 1}, operadores binarios + y en S y un operador unario en S. Estas operaciones
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 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 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 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 detalles= 310 (1 + 5) : 2 2 = = = 12 ( 3) ( 5) = = 2 = ( 4) + ( 20) + 3 = = 21
Unidad I, NÚMEROS NATURALES Y ENTEROS A continuación se enuncian las claves de cada pregunta hechas por mí (César Ortiz). Con esto, asumo cualquier responsabilidad, entiéndase por si alguna solución está
Más detallesNOT. Ejemplo: Circuito C1
Métodos de diseño de circuitos digitales Sistemas combinacionales En un circuito combinacional los valores de las salidas dependen únicamente de los valores que tienen las entradas en el presente. Se construen
Más detallesInteligencia Artificial II La Lógica Proposicional como un lenguaje formal
Inteligencia Artificial II La Lógica Proposicional como un lenguaje formal Dr. Alejandro Guerra-Hernández Universidad Veracruzana Centro de Investigación en Inteligencia Artificial mailto:aguerra@uv.mx
Más detallesSECUENCIA DIDÁCTICA PROPIEDAD DISTRIBUTIVA DE LA MULTIPLICACIÓN RESPECTO DE LA SUMA Y LA RESTA
1 Matemática. Dirección de Nivel Secundario. Ministerio de Educación, Cultura, Ciencia y Tecnología del Chaco. SECUENCIA DIDÁCTICA PROPIEDAD DISTRIBUTIVA DE LA MULTIPLICACIÓN RESPECTO DE LA SUMA Y LA RESTA
Más detallesFacultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1
Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos
Más detallesCompuertas Lógicas. Sergio Stive Solano Sabié. Agosto de 2012 MATEMÁTICA. Sergio Solano. Compuertas lógicas NAND, NOR, XOR y XNOR
XOR y Lógicas Sergio Stive Solano Agosto de 2012 XOR y Lógicas Sergio Stive Solano Agosto de 2012 XOR y XOR y Con las puertas básicas podemos implementar cualquier función booleana. Sin embargo existen
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 detallesInterpretación y Argumentación Jurídica
Interpretación y Argumentación Jurídica INTERPRETACIÓN Y ARGUMENTACIÓN JURÍDICA 1 Sesión No. 10 Nombre: La Argumentación Jurídica Contextualización Como ya se ha visto, un argumento es una afirmación que
Más detallesƒ : {(1, 4), (2, 5), (3, 6), (4, 7)}.
SECCIÓN 5. Funciones inversas 5. Funciones inversas Verificar que una función es la inversa de otra. Determinar si una función tiene una función inversa. Encontrar la derivada de una función inversa. f
Más detallesIntroducción. podríamos concretar, por ser de dimensiones tan reducidas.
Introducción. Habrá situaciones, a la hora de realizar un dibujo de un objeto, en las que, por tratarse de objetos excesivamente grandes, o bien, demasiado pequeños, es conveniente reducir o ampliar el
Más detallesEl Teorema Fundamental del Álgebra
El Teorema Fundamental del Álgebra 1. Repaso de polinomios Definiciones básicas Un monomio en una indeterminada x es una expresión de la forma ax n que representa el producto de un número, a, por una potencia
Más detallesResumen de deducción natural
Resumen de deducción natural F. Javier Gil Chica 2010 1. Orientación de estas notas El cálculo de argumentos mediante tablas de verdad es un método rápido y seguro. También mecánico, puesto que se puede
Más detalles2 experiencia empírica contiene saberes acerca de aspectos de la realidad que no son accesibles a la experiencia empírica, tales como un saber con res
LAS AFIRMACIONES VERDADERAS ACERCA DE LA REALIDAD NO EXPERIMENTABLE EMPÍRICAMENTE COMO FUNDAMENTO FUNDAMENTAL DE UNA METAFÍSICA DESPUÉS DE LAS OBJECIONES DE KANT Y DEL POSITIVISMO LÓGICO La pretensión
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 detallesAlgebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1
Página 1 Simplificación de circuitos Como los circuitos lógicos son representaciones de funciones lógicas, se pueden utilizar los recursos disponibles para simplificarlos y así reducir la cantidad de componentes
Más detallesESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S
ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 014 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA CIENCIAS, INGENIERÍAS
Más detallesCONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.
CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función
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 detallesLas falacias que se autorefutan y la consequentia mirabilis Carlos A. Oller Departamento de Filosofía UBA IdIHCS-FaHCE-UNLP
IX Jornadas de Investigación del Departamento de Filosofía FaHCE-UNLP Las falacias que se autorefutan y la consequentia mirabilis Carlos A. Oller Departamento de Filosofía UBA IdIHCS-FaHCE-UNLP Resumen:
Más detallesPrograma de Lógica para la solución de problemas
Programa de Lógica para la solución de problemas Octubre del 2006 B @ UNAM Asignatura: Lógica para la solución de problemas Plan: 2006 Créditos: 10 Bachillerato: Módulo 2 Tiempo de dedicación total: 80
Más detallesPráctica B: Examinar la configuración de TCP/IP
Direccionamiento IP 1 Práctica B: Examinar la configuración de TCP/IP Objetivos En este laboratorio, aprenderá a: Visualizar la configuración de TCP/IP utilizando la utilidad Ipconfig. Visualizar la configuración
Más detallesUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA
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 detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Z = N {0} N Enteros Las operaciones + y. son cerradas en Z, es decir la suma de dos números enteros es un número entero y el producto
Más detallesConvergencia de sucesiones
TEMA 4. CONVERGENCIA DE SUCESIONES 65 Tema 4. Convergencia de sucesiones Definición 5.4.1. Sea X un conjunto: una sucesión en X es una aplicación s : N X; denotaremos x n := s(n) y por S := {x n } n N
Más detallesEje 2. Razonamiento lógico matemático
Razonamiento deductivo e inductivo La historia de las matemáticas se remonta al antiguo Egipto y Babilonia. Ante la necesidad de resolver problemas a través de errores y victorias, estas culturas lograron
Más detallesCálculo vs Análisis. Trabajos
1. Analizar los dos libros que aparecen en la bibliografía del curso, Cálculo Vectorial, de Marsden, J.E. y Tromba, A.J., y Análisis clásico elemental, de Marsden, J.E. y Hoffman, M.J. Hacer un informe
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 detallesLógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición
Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la
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 detallesF. Javier Gil Chica 2010
lp Manual de usuario y notas de implementación F. Javier Gil Chica 2010 Parte I Fundamentos teóricos 1. Qué es lp lp es un pequeño programa que evalúa la validez de un argumento. Un argumento consta de
Más detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detalles