Lógica proposicional básica
5.0 (5 ratings)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
35 students enrolled
Wishlisted Wishlist

Please confirm that you want to add Lógica proposicional básica to your Wishlist.

Add to Wishlist

Lógica proposicional básica

Aprende los conceptos básicos de la lógica matemática desde cero
5.0 (5 ratings)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
35 students enrolled
Last updated 1/2016
Spanish
Current price: $10 Original price: $25 Discount: 60% off
1 day left at this price!
30-Day Money-Back Guarantee
Includes:
  • 5 hours on-demand video
  • 1 Supplemental Resource
  • Full lifetime access
  • Access on mobile and TV
  • Certificate of Completion
Have a coupon?
What Will I Learn?
Diferenciar si una sentencia es o no una proposición
Conocer el valor de verdad de proposiciones compuestas
Utilizar las equivalencias lógicas para probar nuevos enunciados
Usar los métodos de demostración más usuales
Usar adecuadamente los cuatificadores y hallar su valor de verdad
Sentar bases esenciales para enfrentar cursos profesionales relacionados con las matemáticas
Aproximarse al pensamiento estructural matemático
Usar adecuadamente las hipótesis para dar conclusiones adecuadas y precisas
View Curriculum
Requirements
  • Para este curso no es necesario usar ningún tipo de material extra; tan solo se recomienda un medio para ver los videos, ya sea un computador o un celular o una tablet y, además, un cuaderno o bloc de notas, para hacer anotaciones que considere importantes para la mejor interiorización de conceptos y la realización de ejercicios y problemas.
  • En cuanto a preparación y conocimientos previos, no son realmente muy necesarios; es un curso abierto a personas con nivel académico mayor a primaria, es decir, que se encuentren preferiblemente en secundaría o en la universidad. Sí recomendaría entrar con una mentalidad abierta y dispuesta a entender y aprender a profundidad los conceptos explicados, pues aprender conceptos matemáticos de memoria tiene pocas aplicaciones reales.
Description

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.

Who is the target audience?
  • El curso de "Lógica y demostraciones" es un curso básico que debe conocer cualquier universitario. Para los futuros ingenieros y científicos es una base para los cursos a los cuales enfrentarán en sus carreras, muchos con gran carga matemática. Para las demás personas es una gran herramienta para forjar un pensamiento dotado por las deducciones y el uso adecuado de las afirmaciones. Los filósofos y aquellos que pretenden construir teorías de cualquier índole deben conocer bien el uso de la lógica y la forma adecuada de demostrar sus postulados, es así como tenemos un curso realmente esencial. Este curso fue creado principalmente para suplir las necesidades de un curso de matemáticas discretas en cuanto lo que se refiere a lógica, sin embargo, como ya lo he mencionado anteriormente el curso es básico para cualquier universitario.
Students Who Viewed This Course Also Viewed
Curriculum For This Course
Expand All 33 Lectures Collapse All 33 Lectures 05:12:45
+
Lo que encontrarás en el curso
2 Lectures 03:50
En este video introduciremos el curso, qué tiene curso y hacía qué personas va dirigido.
Preview 03:50

Con la ayuda de los tutoriales que encontrarás en este curso serás capaz de resolver el siguiente taller práctico. Resolviéndolo podrás dar cuentas de lo aprendido en el curso. El taller está divido por cada sección del curso, siendo más sencillo saber cuales herramientas de las aprendidas puedes usar para atacar los problemas. Espero que sea de bastante utilidad.

Preview 6 pages
+
Proposiciones
9 Lectures 01:26:16
En este tutorial se define qué es una proposición y a través de ejemplos se clarifica el concepto, es decir, se muestran ejemplos de algunos enunciados que son proposiciones y otros que no lo son.

Además de la definición de proposición, en este tutorial se muestran los dos tipos de proposiciones: simples y compuestas.
Preview 07:20

En este tutorial se da comienzo al tema de los conectores lógicos, que son los que nos permiten crear proposiciones compuestas. En este caso se comienza definiendo la conjunción y la disyunción para posteriormente mostrar su tabla de verdad que nos permitirá de una forma gráfica identificar el valor de verdad de una proposición compuesta con el uso de estos conectores. A través de ejemplos se muestra el uso de la tabla en casos específicos.

Conjunción y disyunción
10:19

En este tutorial se define el conector negación y se muestra su tabla de valores de verdad. Además se realiza un ejemplo en el que se muestra el uso de dicha tabla en una situación cotidiana. También en este tutorial se define cuál es el conector implicación y qué es una condición necesaria y se dan ejemplos para clarificar el concepto.
Negación y condición necesaria
10:34

En este tutorial se define qué es una condición suficiente y se dan ejemplos de ella para clarificar el concepto. Además siguiendo con el video anterior y como se ha hecho para los demás conectores, se define la tabla de verdad para el conector implicación y se muestra su uso en casos particulares por medio de ejemplos.

Condición suficiente y Conector Implicación
10:07

En este tutorial se define el conector bicondicional o doble implicación, se muestra su tabla de verdad y su uso por medio de ejemplos. Además de esto se define cuando dos proposiciones van a ser consideradas equivalentes o “iguales" de manera lógica.

Bicondicional y proposiciones equivalentes
12:51

En este tutorial se muestra por medio de dos ejemplos simples cómo se realiza una tabla de valores de verdad para proposiciones compuestas.
Tablas de verdad para proposiciones compuestas. Parte 1
05:24

Continuando con el tutorial anterior, en este tutorial se muestran dos ejemplos más de cómo se realiza una tabla de valores de verdad para proposiciones compuestas.

Tablas de verdad para proposiciones compuestas. Parte 2
11:57


En este tutorial se muestran varios ejemplos en los cuales se encontrarán los valores de verdad de algunas proposiciones. Se debe recalcar que este no es el caso de los tutoriales anteriores, ya que las tablas de verdad nos dan todos los posibles valores de verdad, mientras que en este tutorial solo pretendemos encontrar un valor de verdad específico.

Valor de verdad de proposiciones compuestas. Ejemplos.
09:12

En este tutorial se definen los conceptos de tautología y contradicción, dos conceptos de gran importancia en el ámbito de la lógica y las matemáticas en sí. Se muestran ejemplos para aclarar los conceptos.
Tautología y contradicción
08:32

Esta será una evaluación de los temas correspondientes a la primera unidad del curso, es decir las definición de proposición sus clases y valores de verdad, las tablas de verdad y el paso del lenguaje simbólico al lenguaje cotidiano, y para terminar las tautologías y contradicciones.

Examen de la sección Proposiciones
9 questions
+
Equivalencias y reglas de inferencia
6 Lectures 59:37
En este video se muestran algunas de las principales equivalencias lógicas, equivalencias que nos ayudarán a probar y generar nuevas tautologías. En este video, mostraremos cuatro bloques de equivalencias: el primero, compuesto de una sola equivalencia que es la doble negación; el segundo, tiene que ver con la conmutatividad de ciertos conectores lógicos; el tercero tiene que ver con la asociatividad de algunos conectores lógicos y, por último, tenemos un par de equivalencia que tienen que ver con la distribución de la conjunción con respecto a la disyunción, y viceversa.
Principales equivalencias lógicas. Parte 1
13:38

En este tutorial se muestran algunas de las principales equivalencias lógicas, equivalencias que nos ayudarán a probar y generar nuevas tautologías. En este video, mostraremos cuatro bloques de equivalencias: el primero, compuesto de una sola equivalencia que es la doble negación; el segundo, tiene que ver con la conmutatividad de ciertos conectores lógicos; el tercero tiene que ver con la asociatividad de algunos conectores lógicos y, por último, tenemos un par de equivalencia que tienen que ver con la distribución de la conjunción con respecto a la disyunción, y viceversa.
Principales equivalencias lógicas. Parte 2
06:43

En este tutorial se muestra a través de dos ejemplos cómo se usan las equivalencias lógicas mostradas en los videos anteriores para probar otras equivalencias.
Ejemplo del uso de las equivalencias para probar tautologías
10:33

En este tutorial se muestran dos equivalencias lógicas de bastante relevancia, que tienen que ver con la eliminación de un término en una proposición; en uno de los casos se puede eliminar una tautología en una conjunción, y en segundo lugar, se puede eliminar una contradicción en una disyunción.
Preview 04:55

En este tutorial se muestran las principales reglas de inferencia que nos permitiran junto con las equivalencias lógicas llevar a cabo deducciones de manera adecuada o lógicamente correctas. En medio del video se muestran las tablas de verdad de algunas de ella para mostrar que realmente son tautologia. Se menciona el sentido formal acerca de por qué el antecedente en una implicación verdardera es una condicón suficiente y el consecuente es una condición necesaria.
Reglas de inferencia
12:55

En este tutorial se define que es una deducción lógica y se muestra su significado en la vida cotidiana. Además de esto se enuncia una proposición que nos va permitir probar que una implicación es una tautología mediante el uso de las deducciones lógicas. Se mostrarán además dos ejemplos en los cuales se aplicará el método de deducciones para probar tautologías.
Deducciones lógicas. Parte 1
10:53
+
Cálculo de predicados
7 Lectures 01:08:08
En este tutorial se definen dos cuantificadores lógicos, el existencial y el universal. Se llega a la definición de estos y la necesidad de sus uso por medio de ejemplos.
Preview 10:43

En este tutorial se muestra la necesidad de la elaboración de un nuevo concepto: el cuantificador acotado. A través de algunos ejemplo se muestra su uso y ante todo se una definición precisa de dos ciuantificadores típicos el existencial y el universal.
Cuantificadores acotados
05:42

En este tutorial se define el cuantificador existencia única y a por medio de un ejemplo se explica la manera en que se debe llevar a cabo una prueba que lo involucre. Este es solo un ejemplo que se explicará someramente, ya que al tema de las demostraciones le dedicaremos el último módulo.
Existencia única
05:01

En este tutorial se define el cálculo de predicados, y se muestran algunas de sus propiedades principales que tienen que ver con el cambio de cuantificadores acotados a cuantificadores sencillos y, además, laforma en que se ve esquematicamente una existencia única. No se hacen pruebas formales de las propiedades mostradas pero se dice de manera no formal su significado.
Cálculo de predicados
09:45

En este tutorial se muestra como se hace la negación de un cuantificador, en el video se muestran tan solo dos de las propiedades que tienen que ver con la negación de los cuantificadores acotados, las demás no se hacen pruebas pero se indica la manera en que se cumplen de manera no formal. Los ejemplos de estas propiedades son dejados para hacerlos en el próximo video, en un video independiente.
Negación de cuantificadores
08:21

En este tutorial se muestra, a través de cuatro ejemplos, como se realiza la negación de un predicado el cual involucra algún tipo de cuantificador.
Ejemplos de negación de cuantificadores
16:32

En este tutorial se muestran algunas propiedades que cumplen los cuantificadores anidados, esas propiedades son las que tienen que ver con el intercambio de cuantificadores. Las propiedades se deducen de algunos ejemplos dados, ya que las demostraciones de estas propiedades no se harán formalmente.

Cuantificadores anidados
12:04
+
Métodos de demostración
9 Lectures 01:28:54

En este tutorial se define qué es una demostración y además sus partes: hipótesis y tesis. Se dan algunos ejemplos para aclarar las definiciones. En el tutorial, también se muestra un esquema en el cual se puede observar el por qué de nombrar teoremas con ciertos nombres específicos como lema o corolario.

Qué es una demostración
09:09

En este tutorial se muestran dos formas no muy usadas pero si bastante útiles para demostrar algunos enunciados, estas formas son la vacuidad y la trivialidad. Ambas enmascaran en si mismas pasos que son de cierta manera tontos o muy triviales, por lo que en general no son mencionadas.

Preview 05:53

En este video se muestra el método directo de demostración, de él se muestran tres facetas, una en que se tiene un enunciado en forma de proposición, otra en que se haya un cuantificador universal y, por último, una en la que se haya un existencial. Para cada una de estas facetas se muestra un ejemplo para clarificar el procedimiento que se debe llevar a cabo para concluir la demostración.
Método directo
13:59

En este tutorial se muestra el método del contrarrecíproco y un esbozo de porque se da su uso. Para aclarar la forma de ser usado se realizan dos ejemplos ilustrativos.

Contrarrecíproco
07:45

En este tutorial se muestra el método de reducción al absurdo y se muestra el procedimiento que debe de ser usado para demostrar por medio de él. Para aclarar el modo de proceder se realizan dos ejemplos, uno de las cuales es la demostración de por qué raiz de 2 no es un número racional.

Reducción al absurdo (contradicción)
14:20

En este tutorial mostraremos el método de disyunción de casos, en el se muestra como se realiza una prueba si tenemos varios casos de los cuales debemos sacar una conclusión. Por medio de dos ejemplos mostraremos el uso del método.

Disyunción de casos
08:46

En este tutorial se muestra un método por medio del cual se puede probar un enunciado que tiene la forma de una doble implicación. Por medio de un ejemplo se clarifica como se realiza su uso.
Pruebas de doble implicación
05:19

En este tutorial se muestra el método de inducción matemática con el cual se pueden probar propiedades que se cumplen sobre los números naturales. Por medio de dos ejemplos se muestra el funcionamiento del método; el primero tiene que ver con la suma de los n primeros números enteros; el segundo tiene que ver con la suma de los cuadrados de los primeros números enteros.

Inducción matemática. Parte 1.
13:56

En este tutorial concluimos el tema de la inducción matemética y con ello el módulo de demostraciones. En el video podemos encontrar la explicación de cómo probar un enunciado del tipo un propiedad se cumple para todo natural mayor o igual a a, donde a es un número natural. Por medio de dos ejemplos se clarifica el uso del método.
Inducción matemática. Parte 2
09:47
About the Instructor
Juan José Ortiz García
5.0 Average rating
8 Reviews
43 Students
3 Courses
Profesor de matemáticas

Juan José lleva completados ocho semestres de la carrera de Matemáticas en la Universidad de Antioquia, una de las mejores y más prestigiosas universidades de Colombia. En la actualidad, adelanta su proyecto de grado en el área de Geometría algebraica, en donde busca utilizar el Teorema de Uniformización aplicado a las curvas Elípticas definidas sobre los números complejos, con el fin de dar una caracterización de dichas curvas en el plano complejo.

Tiene un extenso pasado en la enseñanza de las matemáticas, tanto como tutor privado como de tallerista en las Olimpiadas Matemáticas Regionales organizadas por la Universidad de Antioquia; además, tiene una experiencia significativa en la realización de cursos online.

Hasta ahora, Juan José ha diseñado, grabado y publicado cursos de Lógica y conjuntos, Geometría básica, Geometría analítica y cursos preparatorios para presentar exámenes de admisión para ingresar a las principales universidades públicas de Colombia, dando así un total de más de 1000 vídeos online realizados.

Su considerable experiencia, combinado con su conocimiento del área en que trabaja y su gran interés hacia la docencia, hacen que sus cursos sean de un contenido claro y preciso, siendo así de gran utilidad para aquellos estudiantes, empiristas, e incluso docentes que buscan entender un tema, o aprender a tratarlo y explicarlo de un modo más manejable para el público general.