|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/logica-y-demostraciones/
课程评论：没有评论
**课程名称：** 基础命题逻辑 (Lógica proposicional básica) **课程概述：** 本课程旨在介绍逻辑学的基本概念和方法，涵盖了命题逻辑和谓词逻辑的核心内容。 **课程内容摘要：** 1. **命题 (Proposiciones)：** * 定义什么是命题。 * 介绍命题中的逻辑联结词 (conectores) 的作用。 * 探讨命题可以取的值（真值）。 2. **逻辑等价与推理规则 (Equivalencias lógicas y reglas de inferencia)：** * 分析主要的逻辑等价式。 * 学习一些推理规则，以进行准确和正确的推理。 * 介绍“演绎法” (deducción) 作为一种证明方法，即从一组假设推导出逻辑结论。 3. **谓词演算基础性质 (Propiedades básicas del cálculo de predicados)：** * 分析不同类型的量词：存在量词 (existencial)，全称量词 (universal)，以及唯一存在量词 (existencial único)。 * 详细探讨每个量词的性质。 * 展示量词的否定形式及其组合时的行为。 * 将命题演算与量词相结合，形成更通用的“谓词演算” (cálculo de predicados)。本部分将侧重于主要性质。 4. **证明方法 (Demostraciones)：** * 分析常见的证明方法，包括： * 演绎法 (deducción) * 逆否证法 (contrarrecíproco) * 反证法 (reducción al absurdo) * 分情况讨论法 (disyunción de casos) * 数学归纳法 (inducción matemática)
Un esbozo del contenido del curso es el siguiente:1. Proposiciones: En este tópico se definirá qué es una proposición, como operan los conectores y los valores de verdad que pueden tomar las proposiciones. 2. Equivalencias lógicas y reglas de inferencia: en este tópico se analizarán las principales equivalencias lógicas y algunas reglas de inferencia que nos permitirán desarrollar deducciones acertadas o correctas. Apoyándonos en lo anterior mostraremos una primera forma de demostrar, la deducción; es decir, a partir de unas hipótesis deducir una consecuencia lógica.3. Propiedades básicas del cálculo de predicados: En esta sección se analizarán los diferentes tipos de cuantificadores: el existencial, el universal y el existencial único. Se examinará cada uno con cierto detalle; se mostrará como se da la negación de estos y cómo se comportan a la hora de combinar varios de ellos.Además, analizaremos cómo se mezclan el cálculo proposicional y los cuantificadores, para formar una teoría un poco más general: el cálculo de predicados. Solo se trataran las principales propiedades.4. Demostraciones: En esta sección se analizarán los métodos más comunes de demostración como lo son la deducción, el contrarrecíproco, reducción al absurdo, la disyunción de casos y la inducción matemática.
