CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
|
|
- Carmen González Miranda
- hace 7 años
- Vistas:
Transcripción
1 LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante abstraer dentro de su contexto, el resultado de veracidad o falsedad de una proposición. Metodología Lectura de los contenidos del temario, investigación de referencias bibliográficas y realización de actividades de aprendizaje (talleres referentes al temario visto) Contenido Generalidades de las proposiciones Operadores lógicos Fórmulas bien formuladas
2 GENERALIDADES DE LAS PROPOSICIONES Uno de los conceptos más interesantes y primordiales en la teoría de la lógica matemática es el de proposición. En esta sección comenzaremos organizando las necesidades preliminares y básicas para abordar este tema, creando así, en principio el conjunto de los símbolos con los que se va a trabajar a lo largo de estas notas de clase. Tomemos de manera concreta, el conjunto de todas las letras, L={P,Q,R,S,T,U,V,W,X,Y,Z,P1,P2,P3,...,Q1,Q2,Q3,...}, con las cuales se van a simbolizar las proposiciones. Conjunto que después ampliamos con los símbolos de los conectores lógicos y los paréntesis (que contiene también a las letras proposicionales), así V={V,^,->,<->,,(,)} U L. A partir de todos estos símbolos formaremos cadenas de caracteres o fórmulas que representarán a las proposiciones. Para empezar notamos que la forma lógica de algo depende de su estructura o forma de organización, lo cual da pie para hablar de relación entre sus partes. Por ende, a cada una de estas partes se llama término de la relación. Los términos de la relación, también llamados elementos, pueden ser cualidades, valores, entre otros. Así, podemos afirmar que una proposición es, por ejemplo, una combinación de palabras que involucran términos y relaciones con un significado, teniendo en cuenta que los términos satisfacen o no la relación. Otra característica muy importante en las proposiciones, es que su enunciado permite asignarles un criterio bien sea de verdadero o falso. Ejemplo 1: SON PROPOSICIONES Los flamingos son azules Alirio tomó una taza de té Juan abrió la ventana NO SON PROPOSICIONES De qué color son los flamingos? Desea una taza de té? Abre la ventana
3 Cuando los enunciados son formulados de manera interrogativa o imperativa, no ofrecen una valoración clara para asignarles un valor de verdad, por ello no son usados como proposiciones en la lógica matemática (columna de la derecha). Por el contrario, cuando el enunciado permite asignarle un valor de verdad o falsedad es posible utilizarlos en la lógica matemática (columna de la izquierda) Como podemos apreciar en los ejemplos anteriores, una proposición es una frase que dentro de su contexto representa una circunstancia de la realidad y permiten asignarles un valor de verdadero o falso. simples y compuestas Es importante precisar que las proposiciones están determinadas por dos características: simples y compuestas Las proposiciones simples (conocidas también como atómicas o moleculares) no tienen conectivos lógicos Ejemplo 2: Hoy es viernes El computador está encendido Los programas del menú de inicio de windows se inician automáticamente cada vez que se inicia windows Las proposiciones compuestas tienen conectivos lógicos. Ejemplo 3: Hoy es Viernes y mañana es sábado Estoy programando y bajando un archivo de internet Si el computador no funciona, o esta dañado o está desconfigurado
4 Estas proposiciones pueden representarse con una letra la cual interpreta el significado de su contexto: Ejemplo 4: Sea la proposición Las computadoras trabajan más rápido que los hombres Podemos interpretar en lógica matemática el anterior enunciado con la proposición: P Como podemos observar, es bastante fácil y obvio la interpretación de las proposiciones, pero no deja de ser el insumo principal para aplicar sus conceptos en la lógica matemática. En el tema a seguir, veremos la iteración y conexión existente en una proposición a partir de los operadores lógicos y ver más a fondo su interpretación.
5 OPERADORES LÓGICOS En esta parte del curso se intenta guiar al estudiante gradualmente en la adquisición de los conceptos y técnicas de la lógica que le permitan identificar razonamientos válidos e inválidos, construir argumentos deductivos, adquirir el concepto de demostración y la habilidad de demostrar La Conjunción Su expresión castellana es " y ", mientras que su expresión simbólica es " ^ " Definición: La conjunción une dos proposiciones de modo que la proposición compuesta es verdadera si y solo si ambas son verdaderas. Usaremos A,B,C,...como variables proposicionales, es decir, como símbolos que representan una proposición cualquiera, de manera análoga a como se usan x,y,z, en álgebra. Si A y B representan proposiciones cualesquiera, el uso correcto de la conjunción se define por la tabla de verdad La tabla de verdad de la conjunción es la siguiente: Una conjunción es verdadera cuando todas las proposiciones componentes son verdaderas. Una conjunción es falsa si por lo menos una de las proposiciones componentes es falsa. Ejemplo 1: Hoy es Viernes y Mañana es sábado
6 La Disyunción Su expresión castellana es " o ", mientras que su expresión simbólica es " V ". Definición: La disyunción une dos proposiciones de modo que la proposición compuesta es verdadera si por lo menos una de las dos proposiciones es verdadera La tabla de verdad de la disyunción es la siguiente: Una disyunción es verdadera cuando por lo menos una de las proposiciones componentes es verdadera. Una disyunción es falsa si todas las proposiciones componentes son falsas Ejemplo 2: La negación Hoy es Viernes ó Mañana es sábado Su expresión castellana es " no ", mientras que su expresión simbólica es " ". Definición: La definición es un operador que actúa sobre una proposición para cambiar su valor de verdad. La siguiente tabla ilustra su comportamiento
7 Una proposición y su negación tienen valores de verdad contrarios Ejemplo 3: No es cierto que hoy es Viernes La implicación o condicional Su expresión castellana es " si...entonces ", mientras que su expresión simbólica es " ". El condicional es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional material es la siguiente: En la expresión a A se le denomina antecedente y a B consecuente Un condicional es falso si el antecedente tiene valor verdadero y el consecuente tiene valor falso Ejemplo 4: Si hoy es Viernes, entonces mañana es sábado
8 El Bicondicional Su expresión castellana es " si y solo sí ", mientras que su expresión simbólica es " ". El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren. La tabla de verdad del bicondicional es la siguiente: Un bicondicional es verdadero si las proposiciones componentes tienen el mismo valor de verdad Ejemplo 5: Hoy es Viernes si y solo sí mañana es Sábado La clave en las proposiciones es identificar aquellas individuales o atómicas y luego reconocer los conectores lógicos inmersos en el contexto. Veamos una serie de ejemplos: Ejemplo 6: No tengo un auto azul este enunciado está compuesto por una proposición atómica y una negación:
9 P = "tengo un auto azul" Negación = "No" Teniendo en cuenta los símbolos anteriormente descritos, podemos interpretar el anterior enunciado así: P Ejemplo 7: Jairo estudia en Unicomfacauca y Reinel estudia en Unicauca Este enunciado está compuesto por dos proposiciones atómicas y un conector lógico (la conjunción) P = "jairo estudia en Unicomfacauca" Q = "Reinel estudia en Unicauca" Conector = "y" El anterior enunciado en lógica matemática se puede interpretar así: P ^ Q Como podemos observar, cada oración o proposición puede representarse por una letra. La conjugación de ellas con conectores lógicos permiten hacer razonamientos específicos para concluir la veracidad o falsedad de alguna situación. Veamos un caso: Ejemplo 8: EL PROBLEMA DEL ROBO Se ha cometido un robo y están detenidos tres sospechosos. Uno de ellos (el ladrón) miente sistemáticamente; otro (el cómplice) deforma solo una parte de la verdad, y el último (acusado de manera errónea) nunca miente. El
10 interrogatorio comienza con preguntas de órden profesional: Vicente: "Soy pintor, Alfredo es pianista. Carlos es decorador" Alfredo: "Soy médico. Carlos es agente de seguros. En cuanto a Vicente, si se le pregunta dirá que es pintor". Carlos: "Alfredo es pianista. Vicente es decorador. Yo soy agente de seguros" Cuál es la profesión del cómplice? Solución Aquí, cada declaración es, o bien verdadera o bien falsa. Sabiendo que hay alguien que siempre miente, debe buscarse alguna declaración que sea sin duda verdadera. Como Vicente dice que es pintor y Alfredo afirma que Vicente diría que es pintor, entonces la última declaración de Alfredo es verdadera. Esto permite concluir que Alfredo no es ladrón. Así que el ladrón está entre Vicente y Carlos. Pero Vicente y Carlos coinciden en una declaración (Alfredo es pianista), por lo tanto o ambos mienten o ambos dicen la verdad. Como esto último no es posible (dado que el ladrón siempre miente), entonces ambos mienten en esa declaración. Esto permite concluir que Alfredo es inocente, por ende, todas sus declaraciones son verdaderas. Vamos a usarlas. Alfredo asegura que Carlos es agente de seguros y, por lo tanto, lo es. Y como Carlos declara lo mismo, entonces a veces miente y a veces no. Luego, él es el cómplice y Vicente, el ladrón. Así tenemos que: Alfredo: inocente. Médico Carlos: cómplice. Agente de seguros Vicente: Ladrón. Otra profesión desconocida
11 FÓRMULAS BIEN FORMADAS Una cadena a es una fbf (fórmula bien formada) si a es una letra proposicional o es la negación de una fórmula bien formada, esto es, a = b, donde b es una fórmula bien formada, o a es de la forma (b * c), donde b y c son fórmulas bien formadas y * es un conectivo lógico binario. Ejemplo: Las siguientes son casos de fórmulas bien formadas (fbf) (P ^ Q) (P v Q) Q (P v Q) ^ ( (R v Q)) Las siguientes no son casos de fórmulas bien formadas (fbf) vp P ^vq P ^ Q) Nota: El concepto de fbf tiene gran relevancia cuando el estudiante de ingeniería deba aplicar algoritmos para la resolución de un problema. La algoritmia, al ser traducida a un lenguaje de programación tiene que satisfacer la sintaxis soportada por el lenguaje, que técnicamente se conoce como compilador. El compilador es entonces el recurso encargado de validar que las rutinas de códigos estén bien estructuradas para que puedan ser validadas y permitir su operación y ejecució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. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra 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 frases u oraciones. Estas
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesIntroducció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 detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesALGEBRA 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 detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesLó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 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 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 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 detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 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 frases
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 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 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 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 detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesAmpliació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 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 detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
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 detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesGUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,
Más detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
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 detallesSESIÓN 04 LÓGICA PROPOSICIONAL
SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES
Más detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesAlgoritmos y Estructura de Datos I
Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza
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 detallesSISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos
TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I
ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
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
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas
Más detallesUNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
Más detallesINTRODUCCIÓN A LA LÓGICA
UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA INTRODUCCIÓN A LA LÓGICA Para el ingreso a las carreras de Matemática Material preparado
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 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 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 detallesNo ~ Si entonces Sí y sólo si
Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea
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 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 detallesMás sobre Leyes de implicación
Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
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 detallesRAZONAMIENTO 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 detallesPROGRAMA 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 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 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 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 detallesPROGRAMA INSTRUCCIONAL
UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA
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 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 detallesEJERCICIOS RESUELTOS 6
LÓGICA I EJERCICIOS RESUELTOS 6 TEMA 6 SEMÁNTICA: TABLAS DE ERDAD Y RESOLUCIÓN ERITATIO-UNCIONAL EJERCICIO 6.01 Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible: ( p q) p q ( p q)
Más detallesTópicos de Matemáticas Discretas
Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica
Más detallesMatemáticas Discretas. Oscar Bedoya
Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos
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 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 detallesUNIVERSIDAD TECNOLÓGICA DE BAHÍA DE BANDERAS PORTAFOLIO DE ACTIVIDADES DE APRENDIZAJE
UNIVERSIDAD TECNOLÓGICA DE BAHÍA DE BANDERAS PORTAFOLIO DE ACTIVIDADES DE APRENDIZAJE PROGRAMA EDUCATIVO ASIGNATURA DESARROLLO DE HABILIDADES DE PENSAMIENTO LÓGICO ACADEMIA MATEMÁTICAS FECHA DE ELABORACIÓN
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 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 detallesSi..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.
1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,
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 detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesFormato para prácticas de laboratorio
PLAN DE CLAVE CARRERA NOMBRE DE LA ASIGNATURA ESTUDIO ASIGNATURA LSC 2009-2 11290 Introducción a la Programación PRÁCTICA No. 2 LABORATORIO DE NOMBRE DE LA PRÁCTICA Licenciado en Sistemas Computacionales
Más detalles: Algorítmica y Estructura de Datos I
FACULTAD POLITÉCNICA DIRECCIÓN ACADÉMICA PROGRAMA DE ESTUDIO I. IDENTIFICACIÓN Carrera : Ingeniería de Sistemas CARGA HORARIA (Horas reloj) Asignatura : Algorítmica y Estructura de Datos I Carga Horaria
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 detallesUNIDAD 4: INTRODUCCIÓN A LA LÓGICA
UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos
Más detallesUNIVERSIDAD LIBRE PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS. PROGRAMA ACADÉMICO: Ingeniería de Sistemas
PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS PROGRAMA ACADÉMICO: Ingeniería de Sistemas JORNADA: DIURNA 1.- INFORMACION DEL DOCENTE E-mail institucional: E-mail personal: 2.- ESTUDIOS
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
Más detallesLA LÓGICA PROPOSICIONAL http://www.jezasoft.co.cc 1 de 7 La lógica proposicional también llamada simbólica o matemática, es aquella parte de la lógica que estudia las proposiciones y símbolos utilizados
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 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 detallesDIPLOMADO. Evaluación de la Calidad de la práctica docente para la implementación del Nuevo Modelo Educativo en Escuelas de Ingeniería del I.P.N.
DIPLOMADO Evaluación de la Calidad de la práctica docente para la implementación del Nuevo Modelo Educativo en Escuelas de Ingeniería del I.P.N. Trabajo Final Propuesta Metodológica del área de Ciencias
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 detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesLÓGICA PROPOSICIONAL
MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre
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 detallesOperadores. Javier Fernández Rivera -
Programación en C Operadores Javier Fernández Rivera - www.aurea.es Los operadores Son los elementos o caracteres gráficos encargados de manipular los datos, que pueden ser dados por números, caracteres,
Más detallesTEORÍA BÁSICA PASOS PARA APAGAR EL SISTEMA
TEMAS: ENCENDIDO Y APAGADO DEL PC LAS VENTANAS Y SUS PARTES 33 TALLER SIETE INDICADOR DE LOGRO: Aplica el proceso que se debe llevar a la hora de Encender y Apagar una Computadora Personal, bajo el sistema
Más detallesPROGRAMACIÓN UNIDADES
PROGRAMACIÓN Semestre: Segundo Horas: 90 horas Hrs/sem: 4.5 Créditos: 9 Clave: AI-02 DESCRIPCIÓN DE LA ASIGNATURA Al finalizar el curso el alumno tendrá el conocimiento y la capacidad de implementar programas
Más detallesMateria: Matemáticas Curso: Octavo de Básica
Materia: Matemáticas Curso: Octavo de Básica BREVE DESCRIPCIÓN DE LA CLASE: Formar entre el profesor y el estudiante/es una comunidad de trabajo por medio de la creatividad y estructura de los conocimientos
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
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 detallesNombre de la asignatura: Diseño Estructurado de Algoritmos. Carrera: Ingeniería en Sistemas Computacionales. Clave de la asignatura: SCB-9316
. D A T O S D E L A A S I G N A T U R A Nombre de la asignatura: Diseño Estructurado de Algoritmos Carrera: Ingeniería en Sistemas Computacionales Clave de la asignatura: SCB-9 Horas teoría Horas práctica
Más detallesUNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA FACULTAD DE CIENCIAS PROGRAMA DE MATEMÁTICAS PLAN DE ESTUDIOS
UNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA FACULTAD DE CIENCIAS PROGRAMA DE MATEMÁTICAS PLAN DE ESTUDIOS ASIGNATURA : ELECTIVA I - PROGRAMACION CÓDIGO : 8104661 SEMESTRE : IV CRÉDITOS : 4 FECHA DE
Más detallesDIAGRAMAS DE FLUJO ELEMENTOS E INSTRUCCIONES A USAR EN UN DIAGRAMA DE FLUJO
DIAGRAMAS DE LUJO Un Diagrama de lujo es la representación gráfica de los pasos a seguir para lograr un objetivo, que habitualmente es la solución de un problema. Por Logical se entiende, en algunos libros,
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 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 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 detallesProgramación en java. Estructuras algorítmicas
Programación en java Estructuras algorítmicas Estructuras algoritmicas 1. Conceptos basicos 1. Dato 2. Tipos de datos 3. Operadores 2. dsd Conceptos Basicos DATO: se considera una representación simbólica
Más detalles1.Introducción al Modelo Relacional.
1.Introducción al Modelo Relacional. 1.1 Qué es un Modelo?. Cuando en teoría de diseño de bases de datos se emplea el término "modelo", esto no tiene el mismo significado que en Lógica. En Lógica por "modelo"
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesOperadores lógicos y de comparación en programación. Not, and, or Ejemplos. (CU00132A)
aprenderaprogramar.com Operadores lógicos y de comparación en programación. Not, and, or Ejemplos. (CU00132A) Sección: Cursos Categoría: Curso Bases de la programación Nivel I Fecha revisión: 2024 Autor:
Más detallesUniversidad de Guanajuato Tronco Común de Ingenierías
Universidad de Guanajuato Tronco Común de Ingenierías Objetivo del Area: Diseñar modelos matemáticos y proponer alternativas de solución a problemas. Programa. AREA: Matemáticas MATERIA: Lenguaje de Programación
Más detalles