¿Te lías con las tablas de verdad y la lógica... Mostrar más
Entendiendo la Lógica Formal: Guía para Estudiantes





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
1Contenidos más populares de Filosofía
9filosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
NIETZSCHE 2 BACH
Apuntes Nietzsche 2 bach
Platón
Platón (biografía,teoría de las ideas y teoría del conocimiento, antropología y política)
tema uno filo
del logo al mito
APUNTES ORTEGA Y GASSET
En estos apuntes encontramos la filosofía de autor de Ortega y Gasset y ka comparación con Descartes. Estos son los que yo he utilizado durante el curso y con los que me estoy preparando para el examen de selectividad.
Filosofía Kant,Rosseu y Nietzche
Filosofía Kant,Rosseu y Nietzche
Temario Filosofía PAU
Temario de Filosofía de 2° de Bachillerato y EvaU/PAU
Presocràtics: fácil
Aprende y domina los conceptos clave de la trigonometría con estos flashcards fáciles de usar. Prepárate para el éxito en tu examen de matemáticas con esta herramienta de estudio efectiva.
PLATÓN
La filosofía de Platón, más la comparación sofistas vs Platón
Contenidos más populares
9irregular verbs quiz
Domina el idioma inglés de manera sencilla y divertida con estos flashcards diseñados especialmente para estudiantes de sexto grado.
Mesopotamia y Egipto
Contenidos sobre la civilización mesopotámica y egipcia
Grecia: Inicio de la democracia
Más o menos las preguntas que me pusieron a mí en el examen
roma
a estudiar Roma!!
Dominando la gramática inglesa: Flashcards desafiantes
Mejora tus habilidades gramaticales en inglés con estos flashcards desafiantes diseñados para estudiantes de grado 11. ¡Prepárate para dominar la gramática inglesa de manera divertida y efectiva!
Apuntes sintaxis
apuntes de sintaxis lengua 1 de bachillerato
Irregular verbs
Aprende nuevas palabras y expande tu vocabulario en inglés con esta colección de tarjetas de estudio interactivas.
filosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
Apuntes teorico carnet de conducir ACTUALIZADO
sacate el teorico con estos apuntes!!!
¿No encuentras lo que buscas? Explora otros temas.
Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.
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.
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.
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.
Entendiendo la Lógica Formal: Guía para Estudiantes
¿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

Inscríbete para ver los apuntes. ¡Es gratis!
- Acceso a todos los documentos
- Mejora tus notas
- Únete a millones de estudiantes
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.
Contenidos más populares: inducción y deducción
1Contenidos más populares de Filosofía
9filosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
NIETZSCHE 2 BACH
Apuntes Nietzsche 2 bach
Platón
Platón (biografía,teoría de las ideas y teoría del conocimiento, antropología y política)
tema uno filo
del logo al mito
APUNTES ORTEGA Y GASSET
En estos apuntes encontramos la filosofía de autor de Ortega y Gasset y ka comparación con Descartes. Estos son los que yo he utilizado durante el curso y con los que me estoy preparando para el examen de selectividad.
Filosofía Kant,Rosseu y Nietzche
Filosofía Kant,Rosseu y Nietzche
Temario Filosofía PAU
Temario de Filosofía de 2° de Bachillerato y EvaU/PAU
Presocràtics: fácil
Aprende y domina los conceptos clave de la trigonometría con estos flashcards fáciles de usar. Prepárate para el éxito en tu examen de matemáticas con esta herramienta de estudio efectiva.
PLATÓN
La filosofía de Platón, más la comparación sofistas vs Platón
Contenidos más populares
9irregular verbs quiz
Domina el idioma inglés de manera sencilla y divertida con estos flashcards diseñados especialmente para estudiantes de sexto grado.
Mesopotamia y Egipto
Contenidos sobre la civilización mesopotámica y egipcia
Grecia: Inicio de la democracia
Más o menos las preguntas que me pusieron a mí en el examen
roma
a estudiar Roma!!
Dominando la gramática inglesa: Flashcards desafiantes
Mejora tus habilidades gramaticales en inglés con estos flashcards desafiantes diseñados para estudiantes de grado 11. ¡Prepárate para dominar la gramática inglesa de manera divertida y efectiva!
Apuntes sintaxis
apuntes de sintaxis lengua 1 de bachillerato
Irregular verbs
Aprende nuevas palabras y expande tu vocabulario en inglés con esta colección de tarjetas de estudio interactivas.
filosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
Apuntes teorico carnet de conducir ACTUALIZADO
sacate el teorico con estos apuntes!!!
¿No encuentras lo que buscas? Explora otros temas.
Mira lo que dicen nuestros usuarios. Les encanta - y a tí también.
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.
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.
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.