Abrir la app

Asignaturas

FilosofíaFilosofía575 visualizaciones·Actualizado May 22, 2026·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... Mostrar más

1
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

2
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

3
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

4
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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

1

Contenidos más populares de Filosofía

9

Contenidos más populares

9

¿No encuentras lo que buscas? Explora otros temas.

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

4.6/5App Store
4.7/5Google 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.

Pablousuario 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.

Elenausuaria 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.

Anausuaria de iOS
FilosofíaFilosofía575 visualizaciones·Actualizado May 22, 2026·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

1
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

2
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

3
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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.

4
of 4
- LÓGICA FORMAL

- ۰۸ - y (conjunción) Velázquez y Goya son pintores
- V....... (disyunción inclusiva) Ceno o meriendo
- V 0...0... (disyunc

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

1

Contenidos más populares de Filosofía

9

Contenidos más populares

9

¿No encuentras lo que buscas? Explora otros temas.

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

4.6/5App Store
4.7/5Google 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.

Pablousuario 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.

Elenausuaria 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.

Anausuaria de iOS