Abrir la app

Asignaturas

Filosofía

8 dic 2025

124

4 páginas

Entendiendo la Lógica Formal: Guía para Estudiantes

L

Lucía @luuuuuuuuu_18

¿Te lías con las tablas de verdad y la lógica formal? No te preocupes, es más fácil de... Mostrar más

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Conectores Lógicos y Tablas de Verdad

Los conectores lógicos son como las conjunciones del lenguaje, pero con símbolos matemáticos. Cada uno tiene su propia "personalidad" la conjunción (∧) significa "y" y solo es verdadera cuando ambas partes lo son, como "Velázquez y Goya son pintores".

Las tablas de verdad son tu herramienta principal para resolver ejercicios. Funcionan como una receta siempre sigues el mismo patrón de 1 (verdadero) y 0 (falso). La disyunción inclusiva (∨) es más generosa - basta con que una parte sea verdadera.

Para resolver ejercicios complejos como (p ∧ q) → p, divide el problema en partes pequeñas. Primero resuelves p ∧ q, después aplicas la condicional. Si todos los resultados finales son 1, tienes una tautología - ¡algo que siempre es verdadero!

Truco clave La condicional (→) solo es falsa cuando el antecedente es verdadero y el consecuente es falso. En todos los demás casos, es verdadera.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Tablas con Tres Variables y Formalización

Cuando trabajas con tres variables (p, q, r), las tablas pasan de 4 a 8 filas - pero no te agobies. El patrón sigue siendo el mismo vas rellenando columna por columna, usando las reglas básicas que ya conoces.

La formalización es traducir frases del español a símbolos lógicos. Es como aprender un idioma nuevo "Goya y Velázquez son pintores" se convierte en P ∧ Q. Lo importante es identificar las palabras clave y nunca poner las frases en negativo desde el principio.

Ojo con las trampas del lenguaje "ni llueve ni hace frío" significa ¬P ∧ ¬Q (no llueve Y no hace frío). Los conectores como "sin embargo" o "pero" suelen traducirse como conjunciones (∧), aunque suenen diferentes.

Consejo de oro Cuando veas una coma en una frase larga, probablemente necesites paréntesis en tu formalización.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Reglas de Deducción Natural (Parte 1)

Las reglas de deducción natural son como movimientos de ajedrez - cada una tiene su momento perfecto. El Modus Ponens (MP) es tu mejor amigo si tienes P→Q y P, automáticamente puedes sacar Q. Es lógica pura "si llueve me mojo, llueve, por tanto me mojo".

La Simplificación te permite separar conjunciones de A∧B puedes sacar A o B por separado. El Producto hace lo contrario - junta A y B para formar A∧B. Son como operaciones inversas en matemáticas.

La Adición puede parecer rara al principio de A puedes sacar A∨B (aunque B sea cualquier cosa). La Prueba por Casos es más compleja pero súper útil cuando tienes una disyunción y ambas opciones llevan a la misma conclusión.

Estrategia ganadora En las pruebas por casos, la conclusión debe aparecer exactamente tres veces una para cada caso y una vez al final.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Reglas de Deducción Natural (Parte 2)

La Doble Negación (DN) es la más sencilla ¬¬A es lo mismo que A. Es como decir "no es cierto que no llueva" = "llueve". Úsala cuando te encuentres con negaciones dobles que complican tu demostración.

La Reducción al Absurdo (RAA) es tu arma secreta para los casos difíciles. Supones lo contrario de lo que quieres demostrar y buscas una contradicción (como B y ¬B al mismo tiempo). Si la encuentras, entonces lo que querías demostrar debe ser verdadero.

Recuerda que las líneas numeradas en TD, CAS y RAA marcan el inicio y final de cada razonamiento. Los recuadros te ayudan a organizar visualmente cada paso de la demostración.

Tip final La RAA es perfecta cuando no sabes por dónde empezar - supón lo contrario y deja que la lógica te guíe hacia la contradicción.

Pensamos que nunca lo preguntarías...

¿Qué es Knowunity AI companion?

Nuestro compañero de IA está específicamente adaptado a las necesidades de los estudiantes. Basándonos en los millones de contenidos que tenemos en la plataforma, podemos dar a los estudiantes respuestas realmente significativas y relevantes. Pero no se trata solo de respuestas, el compañero también guía a los estudiantes a través de sus retos de aprendizaje diarios, con planes de aprendizaje personalizados, cuestionarios o contenidos en el chat y una personalización del 100% basada en las habilidades y el desarrollo de los estudiantes.

¿Dónde puedo descargar la app Knowunity?

Puedes descargar la app en Google Play Store y Apple App Store.

¿Knowunity es totalmente gratuito?

Sí, tienes acceso gratuito a los contenidos de la aplicación y a nuestro compañero de IA. Para desbloquear determinadas funciones de la aplicación, puedes adquirir Knowunity Pro.

4

Herramientas Inteligentes NUEVO

Transforma estos apuntes en: ✓ 50+ Preguntas de Práctica ✓ Flashcards Interactivas ✓ Examen Completo de Práctica ✓ Esquemas de Ensayo

Examen de Práctica
Quiz
Fichas
Ensayo

¿No encuentras lo que buscas? Explora otros temas.

Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.

4.9/5

App Store

4.8/5

Google Play

La app es muy fácil de usar y está muy bien diseñada. Hasta ahora he encontrado todo lo que estaba buscando y he podido aprender mucho de las presentaciones. Definitivamente utilizaré la aplicación para un examen de clase. Y, por supuesto, también me sirve mucho de inspiración.

Pablo

usuario de iOS

Esta app es realmente genial. Hay tantos apuntes de clase y ayuda [...]. Tengo problemas con matemáticas, por ejemplo, y la aplicación tiene muchas opciones de ayuda. Gracias a Knowunity, he mejorado en mates. Se la recomiendo a todo el mundo.

Elena

usuaria de Android

Vaya, estoy realmente sorprendida. Acabo de probar la app porque la he visto anunciada muchas veces y me he quedado absolutamente alucinada. Esta app es LA AYUDA que quieres para el insti y, sobre todo, ofrece muchísimas cosas, como ejercicios y hojas informativas, que a mí personalmente me han sido MUY útiles.

Ana

usuaria de iOS

Está app es muy buena, tiene apuntes que son de mucha ayuda y su IA es fantástica, te explica a la perfección y muy fácil de entender lo que necesites, te ayuda con los deberes, te hace esquemas... en definitiva es una muy buena opción!

Sophia

usuario de Android

Me encanta!!! Me resuelve todo con detalle y me da la explicación correcta. Tiene un montón de funciones, ami me ha ido genial!! Os la recomiendo!!!

Marta

usuaria de Android

La uso casi diariamente, sirve para todas las asignaturas. Yo, por ejemplo la utilizo más en inglés porque se me da bastante mal, ¡Todas las respuestas están correctas! Consta con personas reales que suben sus apuntes y IA para que puedas hacer los deberes muchísimo más fácil, la recomiendo.

Izan

usuario de iOS

¡La app es buenísima! Sólo tengo que introducir el tema en la barra de búsqueda y recibo la respuesta muy rápido. No tengo que ver 10 vídeos de YouTube para entender algo, así que me ahorro tiempo. ¡Muy recomendable!

Sara

usuaria de Android

En el instituto era muy malo en matemáticas, pero gracias a la app, ahora saco mejores notas. Os agradezco mucho que hayáis creado la aplicación.

Roberto

usuario de Android

Esto no es como Chatgpt, es MUCHISMO MEJOR, te hace unos resúmenes espectaculares y gracias a esta app pase de sacar 5-6 a sacar 8-9.

Julyana

usuaria de Android

Es la mejor aplicación del mundo, la uso para revisar los deberes a mi hijo.

Javier

usuario de Android

Sinceramente me ha salvado los estudios. Recomiendo la aplicación 100%.

Erick

usuario de Android

Me me encanta esta app, todo lo que tiene es de calidad ya que antes de ser publicado es revisado por un equipo de profesionales. Me ha ido genial esta aplicación ya que gracias a ella puedo estudiar mucho mejor, sin tener que agobiarme porque mi profesor no ha hecho teoría o porque no entiendo su teoría. Le doy un 10 de 10!

Mar

usuaria de iOS

La app es muy fácil de usar y está muy bien diseñada. Hasta ahora he encontrado todo lo que estaba buscando y he podido aprender mucho de las presentaciones. Definitivamente utilizaré la aplicación para un examen de clase. Y, por supuesto, también me sirve mucho de inspiración.

Pablo

usuario de iOS

Esta app es realmente genial. Hay tantos apuntes de clase y ayuda [...]. Tengo problemas con matemáticas, por ejemplo, y la aplicación tiene muchas opciones de ayuda. Gracias a Knowunity, he mejorado en mates. Se la recomiendo a todo el mundo.

Elena

usuaria de Android

Vaya, estoy realmente sorprendida. Acabo de probar la app porque la he visto anunciada muchas veces y me he quedado absolutamente alucinada. Esta app es LA AYUDA que quieres para el insti y, sobre todo, ofrece muchísimas cosas, como ejercicios y hojas informativas, que a mí personalmente me han sido MUY útiles.

Ana

usuaria de iOS

Está app es muy buena, tiene apuntes que son de mucha ayuda y su IA es fantástica, te explica a la perfección y muy fácil de entender lo que necesites, te ayuda con los deberes, te hace esquemas... en definitiva es una muy buena opción!

Sophia

usuario de Android

Me encanta!!! Me resuelve todo con detalle y me da la explicación correcta. Tiene un montón de funciones, ami me ha ido genial!! Os la recomiendo!!!

Marta

usuaria de Android

La uso casi diariamente, sirve para todas las asignaturas. Yo, por ejemplo la utilizo más en inglés porque se me da bastante mal, ¡Todas las respuestas están correctas! Consta con personas reales que suben sus apuntes y IA para que puedas hacer los deberes muchísimo más fácil, la recomiendo.

Izan

usuario de iOS

¡La app es buenísima! Sólo tengo que introducir el tema en la barra de búsqueda y recibo la respuesta muy rápido. No tengo que ver 10 vídeos de YouTube para entender algo, así que me ahorro tiempo. ¡Muy recomendable!

Sara

usuaria de Android

En el instituto era muy malo en matemáticas, pero gracias a la app, ahora saco mejores notas. Os agradezco mucho que hayáis creado la aplicación.

Roberto

usuario de Android

Esto no es como Chatgpt, es MUCHISMO MEJOR, te hace unos resúmenes espectaculares y gracias a esta app pase de sacar 5-6 a sacar 8-9.

Julyana

usuaria de Android

Es la mejor aplicación del mundo, la uso para revisar los deberes a mi hijo.

Javier

usuario de Android

Sinceramente me ha salvado los estudios. Recomiendo la aplicación 100%.

Erick

usuario de Android

Me me encanta esta app, todo lo que tiene es de calidad ya que antes de ser publicado es revisado por un equipo de profesionales. Me ha ido genial esta aplicación ya que gracias a ella puedo estudiar mucho mejor, sin tener que agobiarme porque mi profesor no ha hecho teoría o porque no entiendo su teoría. Le doy un 10 de 10!

Mar

usuaria de iOS

 

Filosofía

124

8 dic 2025

4 páginas

Entendiendo la Lógica Formal: Guía para Estudiantes

L

Lucía

@luuuuuuuuu_18

¿Te lías con las tablas de verdad y la lógica formal? No te preocupes, es más fácil de lo que parece. La lógica formal es como un código secreto que nos ayuda a analizar si los argumentos son válidos o... Mostrar más

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Inscríbete para ver los apuntes¡Es gratis!

Acceso a todos los documentos

Mejora tus notas

Únete a millones de estudiantes

Al registrarte aceptas las Condiciones del servicio y la Política de privacidad.

Conectores Lógicos y Tablas de Verdad

Los conectores lógicos son como las conjunciones del lenguaje, pero con símbolos matemáticos. Cada uno tiene su propia "personalidad": la conjunción (∧) significa "y" y solo es verdadera cuando ambas partes lo son, como "Velázquez y Goya son pintores".

Las tablas de verdad son tu herramienta principal para resolver ejercicios. Funcionan como una receta: siempre sigues el mismo patrón de 1 (verdadero) y 0 (falso). La disyunción inclusiva (∨) es más generosa - basta con que una parte sea verdadera.

Para resolver ejercicios complejos como (p ∧ q) → p, divide el problema en partes pequeñas. Primero resuelves p ∧ q, después aplicas la condicional. Si todos los resultados finales son 1, tienes una tautología - ¡algo que siempre es verdadero!

Truco clave: La condicional (→) solo es falsa cuando el antecedente es verdadero y el consecuente es falso. En todos los demás casos, es verdadera.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Inscríbete para ver los apuntes¡Es gratis!

Acceso a todos los documentos

Mejora tus notas

Únete a millones de estudiantes

Al registrarte aceptas las Condiciones del servicio y la Política de privacidad.

Tablas con Tres Variables y Formalización

Cuando trabajas con tres variables (p, q, r), las tablas pasan de 4 a 8 filas - pero no te agobies. El patrón sigue siendo el mismo: vas rellenando columna por columna, usando las reglas básicas que ya conoces.

La formalización es traducir frases del español a símbolos lógicos. Es como aprender un idioma nuevo: "Goya y Velázquez son pintores" se convierte en P ∧ Q. Lo importante es identificar las palabras clave y nunca poner las frases en negativo desde el principio.

Ojo con las trampas del lenguaje: "ni llueve ni hace frío" significa ¬P ∧ ¬Q (no llueve Y no hace frío). Los conectores como "sin embargo" o "pero" suelen traducirse como conjunciones (∧), aunque suenen diferentes.

Consejo de oro: Cuando veas una coma en una frase larga, probablemente necesites paréntesis en tu formalización.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Inscríbete para ver los apuntes¡Es gratis!

Acceso a todos los documentos

Mejora tus notas

Únete a millones de estudiantes

Al registrarte aceptas las Condiciones del servicio y la Política de privacidad.

Reglas de Deducción Natural (Parte 1)

Las reglas de deducción natural son como movimientos de ajedrez - cada una tiene su momento perfecto. El Modus Ponens (MP) es tu mejor amigo: si tienes P→Q y P, automáticamente puedes sacar Q. Es lógica pura: "si llueve me mojo, llueve, por tanto me mojo".

La Simplificación te permite separar conjunciones: de A∧B puedes sacar A o B por separado. El Producto hace lo contrario - junta A y B para formar A∧B. Son como operaciones inversas en matemáticas.

La Adición puede parecer rara al principio: de A puedes sacar A∨B (aunque B sea cualquier cosa). La Prueba por Casos es más compleja pero súper útil cuando tienes una disyunción y ambas opciones llevan a la misma conclusión.

Estrategia ganadora: En las pruebas por casos, la conclusión debe aparecer exactamente tres veces: una para cada caso y una vez al final.

- LÓGICA FORMAL -

• $\land$ — y (conjunción)  Velázquez y Goya son pintores
• $\lor$ — ...o... (disyunción inclusiva)  Ceno o meriendó
• $\

Inscríbete para ver los apuntes¡Es gratis!

Acceso a todos los documentos

Mejora tus notas

Únete a millones de estudiantes

Al registrarte aceptas las Condiciones del servicio y la Política de privacidad.

Reglas de Deducción Natural (Parte 2)

La Doble Negación (DN) es la más sencilla: ¬¬A es lo mismo que A. Es como decir "no es cierto que no llueva" = "llueve". Úsala cuando te encuentres con negaciones dobles que complican tu demostración.

La Reducción al Absurdo (RAA) es tu arma secreta para los casos difíciles. Supones lo contrario de lo que quieres demostrar y buscas una contradicción (como B y ¬B al mismo tiempo). Si la encuentras, entonces lo que querías demostrar debe ser verdadero.

Recuerda que las líneas numeradas en TD, CAS y RAA marcan el inicio y final de cada razonamiento. Los recuadros te ayudan a organizar visualmente cada paso de la demostración.

Tip final: La RAA es perfecta cuando no sabes por dónde empezar - supón lo contrario y deja que la lógica te guíe hacia la contradicción.

Pensamos que nunca lo preguntarías...

¿Qué es Knowunity AI companion?

Nuestro compañero de IA está específicamente adaptado a las necesidades de los estudiantes. Basándonos en los millones de contenidos que tenemos en la plataforma, podemos dar a los estudiantes respuestas realmente significativas y relevantes. Pero no se trata solo de respuestas, el compañero también guía a los estudiantes a través de sus retos de aprendizaje diarios, con planes de aprendizaje personalizados, cuestionarios o contenidos en el chat y una personalización del 100% basada en las habilidades y el desarrollo de los estudiantes.

¿Dónde puedo descargar la app Knowunity?

Puedes descargar la app en Google Play Store y Apple App Store.

¿Knowunity es totalmente gratuito?

Sí, tienes acceso gratuito a los contenidos de la aplicación y a nuestro compañero de IA. Para desbloquear determinadas funciones de la aplicación, puedes adquirir Knowunity Pro.

4

Herramientas Inteligentes NUEVO

Transforma estos apuntes en: ✓ 50+ Preguntas de Práctica ✓ Flashcards Interactivas ✓ Examen Completo de Práctica ✓ Esquemas de Ensayo

Examen de Práctica
Quiz
Fichas
Ensayo

¿No encuentras lo que buscas? Explora otros temas.

Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.

4.9/5

App Store

4.8/5

Google Play

La app es muy fácil de usar y está muy bien diseñada. Hasta ahora he encontrado todo lo que estaba buscando y he podido aprender mucho de las presentaciones. Definitivamente utilizaré la aplicación para un examen de clase. Y, por supuesto, también me sirve mucho de inspiración.

Pablo

usuario de iOS

Esta app es realmente genial. Hay tantos apuntes de clase y ayuda [...]. Tengo problemas con matemáticas, por ejemplo, y la aplicación tiene muchas opciones de ayuda. Gracias a Knowunity, he mejorado en mates. Se la recomiendo a todo el mundo.

Elena

usuaria de Android

Vaya, estoy realmente sorprendida. Acabo de probar la app porque la he visto anunciada muchas veces y me he quedado absolutamente alucinada. Esta app es LA AYUDA que quieres para el insti y, sobre todo, ofrece muchísimas cosas, como ejercicios y hojas informativas, que a mí personalmente me han sido MUY útiles.

Ana

usuaria de iOS

Está app es muy buena, tiene apuntes que son de mucha ayuda y su IA es fantástica, te explica a la perfección y muy fácil de entender lo que necesites, te ayuda con los deberes, te hace esquemas... en definitiva es una muy buena opción!

Sophia

usuario de Android

Me encanta!!! Me resuelve todo con detalle y me da la explicación correcta. Tiene un montón de funciones, ami me ha ido genial!! Os la recomiendo!!!

Marta

usuaria de Android

La uso casi diariamente, sirve para todas las asignaturas. Yo, por ejemplo la utilizo más en inglés porque se me da bastante mal, ¡Todas las respuestas están correctas! Consta con personas reales que suben sus apuntes y IA para que puedas hacer los deberes muchísimo más fácil, la recomiendo.

Izan

usuario de iOS

¡La app es buenísima! Sólo tengo que introducir el tema en la barra de búsqueda y recibo la respuesta muy rápido. No tengo que ver 10 vídeos de YouTube para entender algo, así que me ahorro tiempo. ¡Muy recomendable!

Sara

usuaria de Android

En el instituto era muy malo en matemáticas, pero gracias a la app, ahora saco mejores notas. Os agradezco mucho que hayáis creado la aplicación.

Roberto

usuario de Android

Esto no es como Chatgpt, es MUCHISMO MEJOR, te hace unos resúmenes espectaculares y gracias a esta app pase de sacar 5-6 a sacar 8-9.

Julyana

usuaria de Android

Es la mejor aplicación del mundo, la uso para revisar los deberes a mi hijo.

Javier

usuario de Android

Sinceramente me ha salvado los estudios. Recomiendo la aplicación 100%.

Erick

usuario de Android

Me me encanta esta app, todo lo que tiene es de calidad ya que antes de ser publicado es revisado por un equipo de profesionales. Me ha ido genial esta aplicación ya que gracias a ella puedo estudiar mucho mejor, sin tener que agobiarme porque mi profesor no ha hecho teoría o porque no entiendo su teoría. Le doy un 10 de 10!

Mar

usuaria de iOS

La app es muy fácil de usar y está muy bien diseñada. Hasta ahora he encontrado todo lo que estaba buscando y he podido aprender mucho de las presentaciones. Definitivamente utilizaré la aplicación para un examen de clase. Y, por supuesto, también me sirve mucho de inspiración.

Pablo

usuario de iOS

Esta app es realmente genial. Hay tantos apuntes de clase y ayuda [...]. Tengo problemas con matemáticas, por ejemplo, y la aplicación tiene muchas opciones de ayuda. Gracias a Knowunity, he mejorado en mates. Se la recomiendo a todo el mundo.

Elena

usuaria de Android

Vaya, estoy realmente sorprendida. Acabo de probar la app porque la he visto anunciada muchas veces y me he quedado absolutamente alucinada. Esta app es LA AYUDA que quieres para el insti y, sobre todo, ofrece muchísimas cosas, como ejercicios y hojas informativas, que a mí personalmente me han sido MUY útiles.

Ana

usuaria de iOS

Está app es muy buena, tiene apuntes que son de mucha ayuda y su IA es fantástica, te explica a la perfección y muy fácil de entender lo que necesites, te ayuda con los deberes, te hace esquemas... en definitiva es una muy buena opción!

Sophia

usuario de Android

Me encanta!!! Me resuelve todo con detalle y me da la explicación correcta. Tiene un montón de funciones, ami me ha ido genial!! Os la recomiendo!!!

Marta

usuaria de Android

La uso casi diariamente, sirve para todas las asignaturas. Yo, por ejemplo la utilizo más en inglés porque se me da bastante mal, ¡Todas las respuestas están correctas! Consta con personas reales que suben sus apuntes y IA para que puedas hacer los deberes muchísimo más fácil, la recomiendo.

Izan

usuario de iOS

¡La app es buenísima! Sólo tengo que introducir el tema en la barra de búsqueda y recibo la respuesta muy rápido. No tengo que ver 10 vídeos de YouTube para entender algo, así que me ahorro tiempo. ¡Muy recomendable!

Sara

usuaria de Android

En el instituto era muy malo en matemáticas, pero gracias a la app, ahora saco mejores notas. Os agradezco mucho que hayáis creado la aplicación.

Roberto

usuario de Android

Esto no es como Chatgpt, es MUCHISMO MEJOR, te hace unos resúmenes espectaculares y gracias a esta app pase de sacar 5-6 a sacar 8-9.

Julyana

usuaria de Android

Es la mejor aplicación del mundo, la uso para revisar los deberes a mi hijo.

Javier

usuario de Android

Sinceramente me ha salvado los estudios. Recomiendo la aplicación 100%.

Erick

usuario de Android

Me me encanta esta app, todo lo que tiene es de calidad ya que antes de ser publicado es revisado por un equipo de profesionales. Me ha ido genial esta aplicación ya que gracias a ella puedo estudiar mucho mejor, sin tener que agobiarme porque mi profesor no ha hecho teoría o porque no entiendo su teoría. Le doy un 10 de 10!

Mar

usuaria de iOS