LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
|
|
- César Luis Miguel Rodríguez Castellanos
- hace 7 años
- Vistas:
Transcripción
1 PROPOSICIONES LÓGICA PROPOSICIONAL ^ = : verdadero = : falso v v TABLAS DE ERDAD conjunción disjunción disjunción exclusiva. + PROPOSICIONES ~ es la negación de ~ es el ouesto de ~ LÓGICA PROPOSICIONAL imlicación = : verdadero = : falso Si. entonces. SILOGISMO razonamiento correcto Una cosa uede ser OPUESTA a otra de cuatro maneras: or relación (ejemlo: doble y mitad) or contrariedad (ejemlo: bien y mal) or rivación ouesta a la osesión (ejemlo: ceguera y visión) or afirmación ouesta a la negación (ejemlo: está sentado, no está sentado) TABLAS DE ERDAD
2 LÓGICA PROPOSICIONAL CONDICIONALES (IMPLICACIONES) ~ ~ ~ ~ ~ ~ directa recíroca contraria contra-recíroca ~ ~ ~ ~ LÓGICA PROPOSICIONAL CONDICIONALES (IMPLICACIONES) Si está soleado, entonces es de día. Está soleado. Luego, es de día. ~ ~ ~ ~ Ponendo onens (afirmando afirma) 2
3 LÓGICA PROPOSICIONAL CONDICIONALES (IMPLICACIONES) Si está soleado, entonces es de día. No es de día. Luego, no está soleado. ~ ~ ~ ~ Ponendo onens (afirmando afirma) Tollendo tollens (negando niega) ~ ~ LÓGICA PROPOSICIONAL CONDICIONALES (IMPLICACIONES) O es de día o es de noche. Es de día. Por lo tanto, no es de noche. ~ ~ ~ ~ Ponendo onens (afirmando afirma) Ponendo tollens (afirmando niega) v ~ Tollendo tollens (negando niega) ~ ~ 3
4 LÓGICA PROPOSICIONAL CONDICIONALES (IMPLICACIONES) O es de día o es de noche. No es de día. Por lo tanto, es de noche. ~ ~ ~ ~ Ponendo onens (afirmando afirma) Ponendo tollens (afirmando niega) v ~ Tollendo tollens (negando niega) ~ ~ Tollendo onens (negando afirma) v ~ ALACIAS LÓGICAS ALACIAS: Tios de razonamientos engañosos, sicológicamente ersuasivos ero lógicamente defectuosos. alacias lógicas o falacias formales: se cometen al obtener una conclusión a artir de remisas mediante razonamientos incorrectos. Si me caigo en la ileta, me mojo. Estoy mojado, así ue debo de haberme caído en la ileta. A B afirmar el CONSECUENTE B Ponendo onens (afirmando afirma) A Si me caigo en la ileta, me mojo. No me caí en la ileta or lo cual no estoy mojado. negar el ANTECEDENTE ~ ~ Tollendo tollens (negando niega) A B -A -B CUIDADO! la falsedad de A no ermite deducir nada acerca de B 4
5 ALACIAS LÓGICAS a) Identificar el tio de falacia formal b) Señalar la argumentación válida con la ue se la confunde Hoy es sábado, mañana es domingo. Hoy no es sábado. Entonces, mañana no es domingo. Afirmación del consecuente Negación del antecedente Silogismo disyuntivo falaz Afirmación del rimer término o antecedente Negación del segundo término o consecuente Silogismo disyuntivo Hoy es sábado, mañana es domingo. Hoy no es domingo. Entonces, ayer no fue sábado. Hoy es sábado, mañana es domingo. Mañana no es domingo. Entonces, hoy no es sábado. ALACIAS LÓGICAS a) Identificar el tio de falacia formal b) Señalar la argumentación válida con la ue se la confunde Si vos sos su hijo, entonces él es tu adre. Él es tu adre. Entonces, vos sos su hijo. Afirmación del consecuente Negación del antecedente Silogismo disyuntivo falaz Afirmación del rimer término o antecedente Negación del segundo término o consecuente Silogismo disyuntivo Si vos sos su hijo, entonces él es tu adre. os sos su hijo. Entonces, él es tu adre. 5
6 ALACIAS LÓGICAS a) Identificar el tio de falacia formal b) Señalar la argumentación válida con la ue se la confunde Te interesan las ciencias o te interesan las humanidades; se ve claro ue te interesan las ciencias. Entonces, no te interesan las humanidades. Afirmación del consecuente Negación del antecedente Silogismo disyuntivo falaz Modus onens Modus tollens Silogismo disyuntivo Te interesan las ciencias o te interesan las humanidades; se ve claro ue te interesan las ciencias. Entonces, no te interesan las humanidades. ALACIAS LÓGICAS a) Identificar el tio de falacia formal b) Señalar la argumentación válida con la ue se la confunde Si ienso, existo. No ienso. Entonces no existo. Afirmación del consecuente Negación del antecedente Silogismo disyuntivo falaz Modus onens Modus tollens Silogismo disyuntivo Si ienso, existo. No existo. Entonces no ienso. 6
7 ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Ad baculum (or la fuerza) Ad oulum (al ueblo, emoción) Ad ignorantiam (or ignorancia) Post hoc o falsa causa Se acredita la ersona ue argumenta Se recurre a autoridad reconocida Se desacredita la ersona ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Ad baculum (or la fuerza) Ad oulum (al ueblo, emoción) Ad ignorantiam (or ignorancia) Post hoc o falsa causa Se acredita la ersona ue argumenta Se recurre a amenaza o fuerza Se recurre a autoridad reconocida 7
8 ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Este chocolate se anuncia or la televisión, debe ser de calidad. Ad baculum (or la fuerza) Ad oulum (al ueblo, emoción) Ad ignorantiam (or ignorancia) Post hoc o falsa causa Se dan razones ara convencer No se ha demostrado lo contrario Se recurre a autoridades o exertos ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Este chocolate se anuncia or la televisión, debe ser de calidad. Cambió de trabajo y al oco tiemo se divorció. El cambio de trabajo no debería haber afectado su matrimonio. Ad baculum (or la fuerza) Ad oulum (al ueblo, emoción) Ad ignorantiam (or ignorancia) Post hoc o falsa causa alsa razón, buscando emociones Relación causal sin bases Por acuerdo mayoritario 8
9 ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Este chocolate se anuncia or la televisión, debe ser de calidad. Cambió de trabajo y al oco tiemo se divorció. El cambio de trabajo no debería haber afectado su matrimonio. No votemos al señor S, él llevará el aís al caos. Se desacredita la ersona Se recurre a autoridad o fuerza alsa razón, buscando emociones Ad baculum (or la fuerza) Ad oulum (al ueblo, emoción) Ad ignorantiam (or ignorancia) Post hoc o falsa causa ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Este chocolate se anuncia or la televisión, debe ser de calidad. Ad baculum (or la fuerza) Cambió de trabajo y al oco tiemo se divorció. El cambio de trabajo no debería haber Se desacredita la ersona Ad oulum (al ueblo, emoción) afectado su matrimonio. alsa razón, buscando emociones Ad ignorantiam (or ignorancia) No Se votemos dan razones al señor ara S, él llevará convencer el aís al caos. Post hoc o falsa causa os no sos mujer, or tanto no odés oinar sobre el aborto. 9
10 ALACIAS NO ORMALES a) Identificar el tio de falacia b) Señalar or ué es un argumento falaz El olítico P dice ue tenemos ue actar, ero ué sabe él, de actos? No hagan caso de lo Mejor estudiá, orue si no arobás te uedarás sin vacaciones. Este chocolate se anuncia or la televisión, debe ser de calidad. Cambió de trabajo y al oco tiemo se divorció. El cambio de Adtrabajo baculum no debería (or la fuerza) haber afectado Se desacredita su matrimonio. la ersona No votemos Se da una al señor razón S, adecuada Ad oulum (al ueblo, emoción) él llevará el aís al caos. Se recurre a amenaza o fuerza Ad ignorantiam (or ignorancia) os no Se sos recurre mujer, a or autoridad tanto no odés oinar sobre el aborto. Post hoc o falsa causa Si en el aís E sale elegido el artido P, se le retirará la ayuda de la comunidad internacional. IN
Francisco Zúñiga Urbina Jaime Gajardo Falcón
Francisco Zúñiga Urbina Jaime Gajardo Falcón 1) Noción general de metodología jurídica 2) Métodos comunes al pensamiento científico 3) Métodos particulares de la investigación jurídica 1. Conceptos Los
Más detallesOperaciones con Proposiciones
Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes
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 detallesLógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesINDICADOR DE DESEMPEÑO. Comprende la importancia social, cultural y epistémica de la disciplina filosófica para la historia occidental y mundial.
INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: AREA : FILOSOFÌA-SOCIALES ASIGNATURA: FILOSOFÌA DOCENTE: GUSTAVO LÓPEZ ROZO TIPO DE GUIA: CONCEPTUAL PERIODO GRADO N 0 FECHA DURACION 1 9 1 21-01-2018
Más detalles3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS
FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.
Más detallesTema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesLógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
Más detallesCENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN
ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos
Más detallesLicenciatura en Ingeniería en Sistemas Inteligentes
Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.
Más detallesLÓGICA. 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema. 4. Qué es un epiquerema?
LÓGICA 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema 4. Qué es un epiquerema? 5. Da un ejemplo de un epiquerema 6. Qué es un Poli silogismo? 7. Da un ejemplo de
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesLógica proposicional Objetivo específico: Aplicaciones:
Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son
Más detallesCAPÍTULO I ÁLGEBRA DE PROPOSICIONES
ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera
Más detallesENUNCIADO: Es cualquier frase u oración que expresa una idea
LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan
Más detallesEl argumento y la lógica
LA LÓGICA El argumento y la lógica Desde el Órganon de Aristóteles, podemos entender la noción de argumento en términos de razones: un argumento consiste en dar razones para sustentar una tesis como verdadera
Más detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
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 detallesSubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos
SubTemas 1.1 Introducción al control difuso 1.2 Teoría de conjuntos difusos 1.3 Representación del conocimiento 1.4 Razonamiento aproximado 1.5 Sistemas de inferencia difusos Tema 1.4 Razonamiento Aproximado
Más detalles2.5 Los argumentos: premisas y conclusiones
Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detallesMatemáticas - Guía 1 Proposiciones
LOGROS: 1. Reconoce el conceto e roosición. 2. Clasifica las roosiciones en simles y comuestas. 3. Resuelve roosiciones comuestas utilizando los conectivos lógicos. 4. Halla el valor de verdad de una roosición
Más detallesLa Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016
La Lógica Grado Décimo GRUPO CUATRO 1 PUEDE PROBARSE TODO? El ideal de un método estrictamente científico de la matemática, que he tratado de realizar aquí, y que bien pudiera ser denominado euclídeo,
Más detallesCUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA
CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detallesFundamentos de Lógica de Predicados
Chater 1 Fundamentos de Lógica de Predicados Profesor. Carlos Barrón Romero Los temas de Lógica tiene como objetivo: 1. Comrender los rinciios básicos de la lógica de redicados. Reaso. Proosiciones, reresentación
Más detallesLOS ARGUMENTOS CONDICIONALES I1
USO DE RAZÓN. ARGUMENTOS. Ricardo García Damborenea LOS ARGUMENTOS CONDICIONALES I1 Índice 1. El juicio condicional. 2. Qué condición expone. 3. Las dos formas correctas del argumento. 4. Falacias. 5.
Más detallesLÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.
LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición
Más detallesInferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia
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 detallesTIPOS DE SILOGISMOS SILOGISMOS IRREGULARES TIPOS CARACTERÍSTICAS EJEMPLOS
TIPOS DE SILOGISMOS SILOGISMOS IRREGULARES TIPOS CARACTERÍSTICAS EJEMPLOS ENTINEMA -Viene del griego ενθυµηµα, en la mente. -Tiene dos premisas -Se elimina la premisa mayor. -Se sobreentiende la conclusión.
Más detallesUn ejemplo de esta falacia podría ser el siguiente:
Una falacia es un razonamiento que parece correcto, pero que no lo es. Hay falacias cuyo fallo reside en un mal paso lógico y otras que simplemente simulan argumentar; las primeras pueden probarse como
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesLÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017
LÓGICA GUÍA PARA EXTRAORDINARIO Noviembre 2017 Nota: Si requieres practicar más ejercicios consulta el libro: Lógica. Conceptos y ejercicios que llevaste en tu curso de 1 de preparatoria. PRIMERA UNIDAD.
Más detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
Más detallesLenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.
LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.
Más detallesPLANTEL 02 CIEN METROS ELISA ACUÑA ROSSETTI GUÍA PARA PRESENTAR EXAMEN DE RECUPERACIÓN O ACREDITACIÓN ESPECIAL (EXTRAORDINARIO):
PLANTEL 02 CIEN METROS ELISA ACUÑA ROSSETTI GUÍA PARA PRESENTAR EXAMEN DE RECUPERACIÓN O ACREDITACIÓN ESPECIAL (EXTRAORDINARIO): LÓGICA Y ARGUMENTACIÓN CLAVE 510 INSTRUCCIONES: TODAS LAS ACTIVIDADES DEBEN
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
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 detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL 1. INTRODUCCIÓN 1.1. El lenguaje natural El lenguaje ordinario, el que utilizamos normalmente para comunicarnos y expresar nuestros pensamiento, deseos o situaciones, es lo que se
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 detallesPreguntas de test (20%)
LÓGICA y MATEMÁTICA DISCRETA. (60 27/10/2015 Aellidos y Nombre:... Indicaciones: Tres rimeras letras del rimer aellido: No abandonar el examen durante los rimeros 30 minutos. En las reguntas de test, ara
Más detalles1.4 Inferencia Lógica
Una Introducción a las Matemáticas Discretas y Teoría de Grafos 1.4 Inferencia Lógica En la Sección anterior reconocimos al Álgebra de Proposiciones como un conjunto de herramientas que nos permiten verificar
Más detallesLÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.
PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proosiciones atómicas y comuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Deartamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fh@cienciasunammx Página
Más detallesPanorama general de la asignatura. Evaluación de Diagnostico
Asignatura : Lógica CALENDARIZACIÓN DE CONTENIDOS Modalidad Presencial 017-0 Resultado Aprendizaje la Asignatura:.Al finalizar la asignatura, el estudiante será capaz analizar las proposiciones moleculares,
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesLÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL
LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL 1.- Exresión, oración y enunciado: Una oración es una exresión lingüística gramaticalmente correcta que osee sentido comleto. Las oraciones ueden ser, desde el unto
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 detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más 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 detallesLenguaje natural y artificial. Constituyentes
Lenguaje natural y artificial. Constituyentes 1) Lenguaje natural y artificial - Natural: Aquel lenguaje que sirve para comunicarnos con otras personas. Ej. Lengua materna - Artificial: Creados expresamente
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 detallesTEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.
TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
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 detallesCapítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones
3.5 Razonamientos con proposiciones Si nos entregan el valor de verdad de las proposiciones simples es posible deducir el valor de verdad de la proposición compuesta. p: Holmes nació antes que Marx, es
Más detallesFalacias. Copi, Irving, Introducción a la lógica, Buenos Aires, EUDEBA, 1987, p. 81.
Falacias La presente información no es una lista acabada de falacias, pues sólo incluye algunas que se consideraron pertinentes para este material. Es importante destacar que un argumento puede incurrir
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 detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesQué es la lógica? Lógica matemática. Introducción. La lógica de proposiciones (enunciados) El lenguaje de la lógica
Qué es la lógica? El la ciencia de los rinciios de la validez formal de los razonamientos. Dicho de otra forma, trata de establecer unas leyes que, si las seguimos, siemre razonaremos bien. Hay que diferenciar
Más detallesLógica I modelo de examen (curso ) Ejemplo de respuestas
Lógica I modelo de examen (curso 2006-07) Ejemlo de resuestas 1 Para definir un lenguaje formal damos su alfabeto y sus reglas de formación: Símbolos rimitivos: - Variables roosicionales:, q, r - Conectivas:
Más detallesLógica proposicional 5. Sintaxis
Lógica proposicional 5. Sintaxis Juan Carlos León Universidad de Murcia Esquema del tema 5.1. Sintaxis y semántica 5.2. Fórmulas bien formadas 5.3. Alcance 5.4. Teoremas 5.5. Reglas derivadas 1 Lógica
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 detallesLAS FALACIAS PUBLICITARIA S
LAS FALACIAS PUBLICITARIA S Este anuncio trata de una familia donde el padre y el hijo luchan por atención de la madre ofreciendo así una visión sexista. La madre es quien se hace cargo del hijo mientras
Más detallesAlgoritmos y Estructura de Datos I
Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesTema 3: Demostraciones proposicionales
Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesSumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10
ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...
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 detallesDEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales.
LIBRO 6: DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales. AUTOR: Faustino V. Cárdenas P. --------------------------------------------------------------------------------------------------------
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 detallesArgumentación sofística es todo raciocinio que sólo en apariencia es correcto y verdadero, pero que en el fondo, es falso o incorrecto o ambas cosas.
Falacias o sofismas Argumentación sofística es todo raciocinio que sólo en apariencia es correcto y verdadero, pero que en el fondo, es falso o incorrecto o ambas cosas. La apariencia de verdad y de corrección
Más detallesLICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE PROFESOR: Jesús Raymundo Morado Estrada CICLO: BÁSICO ÁREA: LÓGICA
Más detallesCurso LÓGICA Examen de recuperación de lógica proposicional
Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie
Más detallesUnidad 2: Argumentos, retórica, falacias y lógica
Unidad 2: Argumentos, retórica, falacias y lógica Dilemas fundamentales: 1. Qué ocurriría si los políticos democráticos acordasen dejar de hacer mala retórica y utilizar argumentos que cuyo objetivo sea
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
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 detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesCÁLCULO PROPOSICIONAL
CÁLCULO PROPOSICIONAL ALORES DE ERDAD DE PROPOSICIONES COMPUESTAS Hay dos formas de establecer los valores de verdad: 1. Por medio de las tablas de verdad Las tablas de verdad permiten determinar el valor
Más detalles2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesCONCEPTO DE LÓGICA MATEMÁTICA
CONCEPTO DE LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento. La Lógica Matemática es la discilina que trata de métodos de razonamiento. En un nivel elemental, la Lógica roorciona reglas y
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesI. LÓGICA PROPOSICIONAL A) Deducción natural
I. LÓGICA PROPOSICIONAL A) Deducción natural Regla de supuestos (S) A A Reglas primitivas Modus ponens (MP) Δ A Γ, Δ B Doble negación (DN) Γ A Γ A Modus tollens (MT) Δ B Γ, Δ A Prueba condicional (PC)
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detallesFORMATO DE CONTENIDO DE CURSO PLANEACIÓN DEL CONTENIDO DE CURSO
FACULTAD DE: CIENCIAS DE LA EDUCACIÓN PROGRAMA DE: LICENCIATURA EN MATEMÁTICAS 1. IDENTIFICACIÓN DEL CURSO PLANEACIÓN DEL CONTENIDO DE CURSO NOMBRE : LÓGICA MATEMÁTICA CÓDIGO : 22133 SEMESTRE : SEGUNDO
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesIntroducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios
Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza con Lógica proposicional. con semántica de cortocircuito Qué es la lógica proposicional?
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 Curso ª evaluación 28 - octubre
1. Formalizar en el lenguaje de la lógica proposicional (2 puntos) a) Los siguientes enunciados: Si no entrena pero hace estiramientos después del partido, no tendrá una lesión. Pero basta con que no haga
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 detallesMaterial educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Más detallesEl conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
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 detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detalles