Ejercicios de simbolización en Lógica de predicados | | UPV

Título: Ejercicios de simbolización en Lógica de predicados

Descripción: En este vídeo se plantean ejemplos de simbolización en Lógica de predicados que se resuelven con todo detalle.
. Jordan Lluch, C. (2021). Ejercicios de simbolización en Lógica de predicados. Universitat Politècnica de València. http://hdl.handle.net/10251/167926

Descripción automática: En este video, se explica cómo simbolizar enunciados en lógica de predicados utilizando ejercicios prácticos basados en las reglas aristotélicas. Se presentan varios ejemplos donde se plantea la simbolización de diferentes condiciones lógicas como "hay programas que funcionan tanto en Linux como en Windows" y se detalla cómo utilizar los predicados para simbolizar esta afirmación.

Se aborda el tratamiento de frases con la palabra "solo", diferenciando su uso en el lenguaje coloquial del lógico-matemático, especificando su interpretación como "únicamente" y cómo se traduce correctamente a la lógica de predicados a través de ejemplos.

En otro ejemplo, se simbolizan conceptos como "algunos de mis amigos estudian piano", explicando cómo representar enunciados que engloban subconjuntos y características comunes entre ellos. Además, se discute cómo manejar afirmaciones negativas como "nadie que ame la música y sea un virtuoso del piano le desagrada asistir a conciertos", ilustrando cómo convertir una negación en una afirmación lógica y su correspondiente simbolización.

El video concluye enfatizando la importancia de las reglas aristotélicas en la transformación del lenguaje coloquial al simbólico y recuerda que la clave para dominar la simbolización lógica radica en la práctica constante.

Autor/a: Jordan Lluch Cristina



+ Universitat Politècnica de València UPV: https://www.upv.es
+ Más vídeos en:    / valenciaupv  
+ Accede a nuestros MOOC: https://upvx.es

#Lógica #Predicados #Simbolización #Universo #Cuantificadores #Cuantificador universal #Cuantificador existencial #Existe #Para todo #Matemática multidisciplinar #Matemática aplicada #Matemáticas #Ejemplos #Ejercicios #Reglas aristotélicas #MATEMATICA APLICADA #1201 - Álgebra