¿Te lías con las tablas de verdad y la lógica... Mostrar más
Filosofía
Inglés
Matemáticas
Tips de estudioInscríbete para ver los apuntes¡Es gratis!
Acceso a todos los documentos
Mejora tus notas
Únete a millones de estudiantes
446
•
Actualizado Mar 21, 2026
•
Entendiendo la Lógica Formal: Guía para Estudiantes
L
Lucía
@luuuuuuuuu_18
1 / 4
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.
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.
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.
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.
Contenidos más populares: inducción y deducción
Contenidos más populares de Filosofía
Contenidos más populares
Sintaxis
Sintexis de Lengua Castellana. Incluye las oraciones simples, los complementos y todas las oraciones compuestas
Lengua Castellana y LiteraturaPAU (2° Bach)
¿No encuentras lo que buscas? Explora otros temas.
Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.
4.6/5
App Store
4.7/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
LOS QUIZ Y FLASHCARDS SON SÚPER ÚTILES Y ME ENCANTA Knowunity IA. ADEMÁS ES LITERALMENTE COMO CHATGPT PERO MÁS LISTO!! ME AYUDÓ TAMBIÉN CON MIS PROBLEMAS DE MÁSCARA!! Y CON MIS ASIGNATURAS DE VERDAD! OBVIO 😍😁😲🤑💗✨🎀😮
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
LOS QUIZ Y FLASHCARDS SON SÚPER ÚTILES Y ME ENCANTA Knowunity IA. ADEMÁS ES LITERALMENTE COMO CHATGPT PERO MÁS LISTO!! ME AYUDÓ TAMBIÉN CON MIS PROBLEMAS DE MÁSCARA!! Y CON MIS ASIGNATURAS DE VERDAD! OBVIO 😍😁😲🤑💗✨🎀😮
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
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
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.
Inscríbete para ver los apuntes¡Es gratis!
Acceso a todos los documentos
Mejora tus notas
Únete a millones de estudiantes
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.
Inscríbete para ver los apuntes¡Es gratis!
Acceso a todos los documentos
Mejora tus notas
Únete a millones de estudiantes
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.
Inscríbete para ver los apuntes¡Es gratis!
Acceso a todos los documentos
Mejora tus notas
Únete a millones de estudiantes
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.
17
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
Contenidos más populares: inducción y deducción
Contenidos más populares de Filosofía
Contenidos más populares
Sintaxis
Sintexis de Lengua Castellana. Incluye las oraciones simples, los complementos y todas las oraciones compuestas
Lengua Castellana y LiteraturaPAU (2° Bach)
¿No encuentras lo que buscas? Explora otros temas.
Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.
4.6/5
App Store
4.7/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
LOS QUIZ Y FLASHCARDS SON SÚPER ÚTILES Y ME ENCANTA Knowunity IA. ADEMÁS ES LITERALMENTE COMO CHATGPT PERO MÁS LISTO!! ME AYUDÓ TAMBIÉN CON MIS PROBLEMAS DE MÁSCARA!! Y CON MIS ASIGNATURAS DE VERDAD! OBVIO 😍😁😲🤑💗✨🎀😮
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
LOS QUIZ Y FLASHCARDS SON SÚPER ÚTILES Y ME ENCANTA Knowunity IA. ADEMÁS ES LITERALMENTE COMO CHATGPT PERO MÁS LISTO!! ME AYUDÓ TAMBIÉN CON MIS PROBLEMAS DE MÁSCARA!! Y CON MIS ASIGNATURAS DE VERDAD! OBVIO 😍😁😲🤑💗✨🎀😮
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