LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL

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

Download "LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL"

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 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 detalles

Operaciones con Proposiciones

Operaciones 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 detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA 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 detalles

Lógica de Predicados

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

Más detalles

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: 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 detalles

INDICADOR DE DESEMPEÑO. Comprende la importancia social, cultural y epistémica de la disciplina filosófica para la historia occidental y mundial.

INDICADOR 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 detalles

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS

3. 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 detalles

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

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

Más detalles

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

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

Más detalles

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN

CENTRO 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 detalles

Licenciatura en Ingeniería en Sistemas Inteligentes

Licenciatura 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 detalles

LÓ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? 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 detalles

p q p q p (p q) V V V V V F F F F V V F F F V F

p 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 detalles

Lógica proposicional Objetivo específico: Aplicaciones:

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

Más detalles

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

CAPÍ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 detalles

ENUNCIADO: Es cualquier frase u oración que expresa una idea

ENUNCIADO: 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 detalles

El argumento y la lógica

El 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 detalles

Evaluación Nacional Revisión del intento 1

Evaluació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 detalles

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

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

Más detalles

SubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos

SubTemas. 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 detalles

2.5 Los argumentos: premisas y conclusiones

2.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 detalles

2. Los símbolos de la lógica proposicional.

2. 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 detalles

Matemáticas - Guía 1 Proposiciones

Matemá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 detalles

La Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016

La 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 detalles

CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA

CUADERNILLO 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 detalles

LÓGICA PROPOSICIONAL

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

Más detalles

Fundamentos de Lógica de Predicados

Fundamentos 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 detalles

LOS ARGUMENTOS CONDICIONALES I1

LOS 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 detalles

LÓ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. 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 detalles

Inferencia 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 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 detalles

Cálculo Proposicional

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

Más detalles

TIPOS DE SILOGISMOS SILOGISMOS IRREGULARES TIPOS CARACTERÍSTICAS EJEMPLOS

TIPOS 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 detalles

Un ejemplo de esta falacia podría ser el siguiente:

Un 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 detalles

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.

Camilo 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 detalles

LÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017

LÓ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 detalles

ENUNCIADO 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

ENUNCIADO 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 detalles

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.

Lenguaje 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 detalles

PLANTEL 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): 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 detalles

Lógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero

Ló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 detalles

Taller 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 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 detalles

LÓGICA PROPOSICIONAL

LÓ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 detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Introd. 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 detalles

Preguntas de test (20%)

Preguntas 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 detalles

1.4 Inferencia Lógica

1.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 detalles

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.

LÓ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 detalles

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

Sintaxis 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 detalles

Panorama general de la asignatura. Evaluación de Diagnostico

Panorama 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 detalles

Lógica proposicional o Lógica de enunciados

Ló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 detalles

LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL

LÓ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 detalles

Introducción a la Lógica

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 detalles

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

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

Más detalles

Matemáticas Discretas TC1003

Matemá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 detalles

Lenguaje natural y artificial. Constituyentes

Lenguaje 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 detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO 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 detalles

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.

TEMA 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 detalles

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico

Inteligencia 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 detalles

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

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

Más detalles

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones

Capí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 detalles

Falacias. Copi, Irving, Introducción a la lógica, Buenos Aires, EUDEBA, 1987, p. 81.

Falacias. 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 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 detalles

Matemáticas Discretas Lógica

Matemá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 detalles

Qué 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? 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 detalles

Lógica I modelo de examen (curso ) Ejemplo de respuestas

Ló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 detalles

Lógica proposicional 5. Sintaxis

Ló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 detalles

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA

UNIDAD 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 detalles

LAS FALACIAS PUBLICITARIA S

LAS 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 detalles

Algoritmos y Estructura de Datos I

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

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

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

Más detalles

Tema 3: Demostraciones proposicionales

Tema 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 detalles

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10

Sumario 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 detalles

Matemáticas Discretas TC1003

Matemá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 detalles

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.

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

Forma lógica de enunciados

Forma 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 detalles

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.

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

LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS

LICENCIATURA 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 detalles

Curso LÓGICA Examen de recuperación de lógica proposicional

Curso 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 detalles

Unidad 2: Argumentos, retórica, falacias y lógica

Unidad 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 detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA 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 detalles

Matemáticas Discretas TC1003

Matemá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 detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES 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 detalles

UNIDAD I: LÓGICA MATEMÁTICA

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

Más detalles

CÁLCULO PROPOSICIONAL

CÁ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 detalles

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

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

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

Más detalles

CONCEPTO DE LÓGICA MATEMÁTICA

CONCEPTO 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 detalles

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

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

Más detalles

I. LÓGICA PROPOSICIONAL A) Deducción natural

I. 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 detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

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

Más detalles

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

LA 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 detalles

FORMATO DE CONTENIDO DE CURSO PLANEACIÓN DEL CONTENIDO DE CURSO

FORMATO 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 detalles

Resumen 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. 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 detalles

Introducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios

Introducció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 detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

LÓGICA Curso ª evaluación 28 - octubre

LÓ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 detalles

SOBRE 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. 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 detalles

Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar

Material 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 detalles

El conectivo XOR y la diferencia simétrica de conjuntos

El 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 detalles

Más sobre Leyes de implicación

Má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 detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: 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