En torno al minuto 7:55 dices que en pvq al tener negado p en una de las premisas puedes sacar q como conclusión (silogismo disyuntivo), la cosa es que también tienes negado q en las premisas, es decir, ambas premisas p y q están negadas.
Hola. Muchas gracias por las lecciones de Logica. Me ayudan muchísimo. Hace poco emprendí mi tarea que tenía pendiente, que era aprender Lógica. Y con tus vídeos se me hace muy facil. Queria un manual de Lógica para consultarlo e ir leyéndolo. Considerando que mi nivel es elemental, ¿me recomiendas el libro de Irving M. Copi «Introducción a la Lógica»? Es que siempre oí que es bastante bueno (si no el mejor) para introducirse y aprender Lógica. Mil gracias, de antemano.
Gracias de nuevo por el vídeo. He de reconocer que a partir del 10 empieza, a mi juicio lo difícil, pero seguiremos avanzando poco a poco. Tengo 3 cuestiones que me gustaría preguntar. Espero no consumir mucho tiempo. 1. Qué webs recomiendas donde podamos encontrar ejercicios resueltos de lógica? 2. Se pueden solucionar todos los ejercicios de lógica sin reglas derivadas pero en más pasos? 3. De entre toda la secuencia de vídeos.... Hasta qué punto se llega en un supuesto bachillerato de Lógica?. Algunos profesores dedican un único tema en lógica y otros deciden dedicar casi un trimestre entero. Muchas muchas gracias
En el ultimo ejercicio, cuando resuelve el problema con reglas primitivas, en el paso 9, la simbologia seria I "negacion" 3,8 (no 3, 9), ya que lo negado es el 3 y la contradiccion con que se niega esta en el paso 8, no en el 9. Una pequeña falla que recalco para que los que estan aprendiendo en casa no piensen que hicieron mal el ejercicio. GENIALES VIDEOS. He aprendido muchisimo con ellos. Seria genial un curso de logica de predicados. Tengo otra pregunta, ¿tiene la logica formal alguna aplicacion en programacion?
Los vídeos están plagados de pequeños errores. Cuando los detecto me da mucha rabia, jaja. Estoy trabajando para subir algo de silogística y, sí, de lógica de predicados, pero hasta dentro de un tiempo no estarán. La lógica tiene TODA aplicación en programación. De hecho, en la carrera de informática hay una asignatura entera dedicada a esto.
Tengo una duda bastante grande. En el 3:38 dices que el ECQ no cancela premisas adicionales, pero ¿porqué en el 8:44 usas una ECQ para cancelar la Pr ad del paso 4?
@@Avenarius1980 pero si que estás sacando una llave desde el renglón 7 que es donde aplicas ECQ hasta el 4 donde está la premisa adicional, luego sí se está cancelando dicha premisa adicional con ECQ.
Hola David. Pienso seguir subiendo vídeos. De momento voy a continuar profundizando en la lógica proposicional. Más adelante, quizá entre en la de predicados, pero los próximos vídeos seguirán sobre el uso de reglas derivadas.
Hasta da miedo todo lo que he aprendido en 4 horas, ¡Todo un capo profesor!
Gracias Santiagos por la explicación, mis amigos y yo hemos podido recuperar gracias a tus explicaciones.
Muchas gracias por la ayuda santi
En torno al minuto 7:55 dices que en pvq al tener negado p en una de las premisas puedes sacar q como conclusión (silogismo disyuntivo), la cosa es que también tienes negado q en las premisas, es decir, ambas premisas p y q están negadas.
Hola. Muchas gracias por las lecciones de Logica. Me ayudan muchísimo. Hace poco emprendí mi tarea que tenía pendiente, que era aprender Lógica. Y con tus vídeos se me hace muy facil. Queria un manual de Lógica para consultarlo e ir leyéndolo. Considerando que mi nivel es elemental, ¿me recomiendas el libro de Irving M. Copi «Introducción a la Lógica»? Es que siempre oí que es bastante bueno (si no el mejor) para introducirse y aprender Lógica. Mil gracias, de antemano.
Una duda: en el ejercicio del minuto 14:15, en el paso 7 ¿no sería ¬q al aplicar Silogismo disyuntivo en 2 y 5? Gracias
Ojalá fueran así las clases en la Universidad.
Ahora que he llegado valoro mucho este comentario, basado
Que alegría :D, hice bien el último ejercicio. Gracias, por cierto.
Gracias de nuevo por el vídeo. He de reconocer que a partir del 10 empieza, a mi juicio lo difícil, pero seguiremos avanzando poco a poco.
Tengo 3 cuestiones que me gustaría preguntar. Espero no consumir mucho tiempo.
1. Qué webs recomiendas donde podamos encontrar ejercicios resueltos de lógica?
2. Se pueden solucionar todos los ejercicios de lógica sin reglas derivadas pero en más pasos?
3. De entre toda la secuencia de vídeos.... Hasta qué punto se llega en un supuesto bachillerato de Lógica?.
Algunos profesores dedican un único tema en lógica y otros deciden dedicar casi un trimestre entero.
Muchas muchas gracias
En el ejercicio de ~pvq/p^~q entonces (rvs)-> al aplicar introducción a la conjunción pone i^4,5 no sería i^3,5?
Sí, así es. Hay u pequeño error.
En el ultimo ejercicio, cuando resuelve el problema con reglas primitivas, en el paso 9, la simbologia seria I "negacion" 3,8 (no 3, 9), ya que lo negado es el 3 y la contradiccion con que se niega esta en el paso 8, no en el 9. Una pequeña falla que recalco para que los que estan aprendiendo en casa no piensen que hicieron mal el ejercicio. GENIALES VIDEOS. He aprendido muchisimo con ellos. Seria genial un curso de logica de predicados. Tengo otra pregunta, ¿tiene la logica formal alguna aplicacion en programacion?
Los vídeos están plagados de pequeños errores. Cuando los detecto me da mucha rabia, jaja. Estoy trabajando para subir algo de silogística y, sí, de lógica de predicados, pero hasta dentro de un tiempo no estarán. La lógica tiene TODA aplicación en programación. De hecho, en la carrera de informática hay una asignatura entera dedicada a esto.
Porque se cancela la premisa adicional con identidad?
Alguien me lo explica?
9:19 línea 8 y 9
Tengo una duda bastante grande. En el 3:38 dices que el ECQ no cancela premisas adicionales, pero ¿porqué en el 8:44 usas una ECQ para cancelar la Pr ad del paso 4?
No cancelo 4 con ECQ, estoy cancelando 4 con la regla de la eliminación de la disyunción. Mírate el vídeo donde explico esa regla.
@@Avenarius1980 CIERTO. Sí, ya había aprendido la eliminación de la disyunción pero me había fijado solo en la ECQ jaja.
Un saludo y muchas gracias :)
@@Avenarius1980 pero si que estás sacando una llave desde el renglón 7 que es donde aplicas ECQ hasta el 4 donde está la premisa adicional, luego sí se está cancelando dicha premisa adicional con ECQ.
Hola Santiago, ¿vas a seguir con el curso?¿Algo de lógica de predicados? espero tu respuesta. Muchas gracias por tus vídeos, son muy explícitos.
Hola David. Pienso seguir subiendo vídeos. De momento voy a continuar profundizando en la lógica proposicional. Más adelante, quizá entre en la de predicados, pero los próximos vídeos seguirán sobre el uso de reglas derivadas.
Gracias por tu trabajo!
Pa que veas que con la lógica no se come