La lógica proposicional es la base de toda la matemática...
Matemáticas1871 visualizaciones·Actualizado 26 jul 2026·3 páginasIntroducción a la Lógica Proposicional en Matemática Discreta
Erika@yoyo__eri
1 / 3
1
of 3
Fundamentos de la Lógica Proposicional
Imagínate que cada proposición es como un interruptor: está encendido (verdadero = 1) o apagado (falso = 0), nunca las dos cosas. Una proposición simple es indivisible, como "Llueve", mientras que una proposición compuesta se forma uniendo varias proposiciones simples.
Los operadores lógicos son las herramientas que usas para combinar proposiciones. La negación (¬) simplemente cambia el valor: si algo es verdadero, lo hace falso y viceversa.
La conjunción (∧) funciona como la palabra "y": solo es verdadera cuando ambas proposiciones son verdaderas. La disyunción (∨) es como decir "o": basta con que una sea verdadera para que toda la expresión sea verdadera.
¡Recuerda! Las tablas de verdad son tu mejor amigo para entender estos operadores. Memorízalas y todo será más fácil.
2
of 3
Operadores Lógicos Avanzados
El condicional (→) es tricky: "si p entonces q" solo es falso cuando p es verdadero pero q es falso. Piénsalo como una promesa que solo se rompe en esa situación específica.
El bicondicional (↔) significa "si y solo si": es verdadero únicamente cuando ambas proposiciones tienen el mismo valor de verdad. La disyunción exclusiva (⊕) es el "o exclusivo": una cosa o la otra, pero no ambas.
Los operadores NAND (↑) y NOR (↓) son las negaciones de la conjunción y disyunción respectivamente. NAND es falso solo cuando ambas son verdaderas, mientras que NOR es verdadero solo cuando ambas son falsas.
Tip clave: Estos operadores son fundamentales en circuitos digitales, así que dominarlos te dará ventaja en informática.
3
of 3
Clasificación de Fórmulas y Equivalencias
En lógica proposicional tenemos un orden de precedencia específico: primero la negación, luego los paréntesis, después conjunción y NAND, seguidos de disyunción y NOR, y finalmente condicional y bicondicional.
Las fórmulas se clasifican en tres tipos cruciales: tautologías (siempre verdaderas), contradicciones (siempre falsas) y contingencias (a veces verdaderas, a veces falsas). Esta clasificación es esencial para resolver problemas.
La equivalencia lógica te permite simplificar expresiones complejas. Dos fórmulas son equivalentes cuando su bicondicional es una tautología. El contrarrecíproco de una condicional (¬B → ¬A) es siempre lógicamente equivalente a la condicional original (A → B).
Para el examen: Practica identificando tautologías y contradicciones usando tablas de verdad. Es una pregunta casi garantizada.
Pensamos que nunca lo preguntarías...
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.
Puedes descargar la app en Google Play Store y Apple App Store.
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.
Contenido similar
Informática y tecnología
ArtesContenidos más populares de Matemáticas
9D
MatemáticasDescubre el mundo de Las Matematicas
Explora los conceptos y técnicas de la Plástica en este emocionante conjunto de tarjetas de estudio.
3° ESO2,2400
E
Matemáticasecuaciones
esta la segunda parte
1° ESO1,4477
MatemáticasFunciones, límites y continuidad
Apuntes de funciones, límites y continuidad para 1-2 Bachillerato
1° Bach7,769228
MatemáticasProbabilidad
Apuntes de probabilidad completos
1° Bach2,42753
L
MatemáticasLos triangulos y los angulos
4 de primaria
5º primaria1,1926
Á
MatemáticasÁreas y perímetros
Aprende a hallar las áreas de todas la figuras planas
3° ESO1,3413
E
MatemáticasEcuaciones
Es de 1 de la Eso
1° ESO1,5105
MatemáticasFunciones
Teoría básica sobre las funciones y los graficos
3° ESO13,8673,813
MatemáticasMatemáticas II (análisis) 2Bach
Primera parte de los apuntes de todo el temario de matemáticas II de cara a la PAU. Nota PAU: 10
1° Bach2,19273
Contenidos más populares
9R
Geografía e Historiaroma
a estudiar Roma!!
1° ESO2,3122
I
Inglésirregular verbs quiz
Domina el idioma inglés de manera sencilla y divertida con estos flashcards diseñados especialmente para estudiantes de sexto grado.
6º primaria2,9241
OtrosCarnet Conducir
Apuntes permiso de conducir tipo B
2° Bach7,898207
O
Lengua Castellana y LiteraturaOBRAS Y AUTORES II
Quiz donde tendrás que relacionar las siguientes obras con sus respectivos autores: edición Romanticismo.
4° ESO3,3640
Tips de estudioApuntes teorico carnet de conducir ACTUALIZADO
sacate el teorico con estos apuntes!!!
2° Bach4,793138
G
Geografía e HistoriaGrecia: Inicio de la democracia
Más o menos las preguntas que me pusieron a mí en el examen
1° ESO2,3622
D
InglésDominando 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!
3° ESO2,2620
F
Filosofíafilosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
1° Bach2,8451
I
InglésIngles para repasar
quiz de ingles para entrar a clase preparados
2° ESO2,6350
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
Matemáticas1871 visualizaciones·Actualizado 26 jul 2026·3 páginasIntroducción a la Lógica Proposicional en Matemática Discreta
Erika@yoyo__eri
La lógica proposicional es la base de toda la matemática discreta y te va a servir muchísimo en informática y programación. Básicamente, se trata de trabajar con proposiciones que solo pueden ser verdaderas o falsas, usando operadores lógicos para combinarlas...
1
of 3
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.
Fundamentos de la Lógica Proposicional
Imagínate que cada proposición es como un interruptor: está encendido (verdadero = 1) o apagado (falso = 0), nunca las dos cosas. Una proposición simple es indivisible, como "Llueve", mientras que una proposición compuesta se forma uniendo varias proposiciones simples.
Los operadores lógicos son las herramientas que usas para combinar proposiciones. La negación (¬) simplemente cambia el valor: si algo es verdadero, lo hace falso y viceversa.
La conjunción (∧) funciona como la palabra "y": solo es verdadera cuando ambas proposiciones son verdaderas. La disyunción (∨) es como decir "o": basta con que una sea verdadera para que toda la expresión sea verdadera.
¡Recuerda! Las tablas de verdad son tu mejor amigo para entender estos operadores. Memorízalas y todo será más fácil.
2
of 3Inscrí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.
Operadores Lógicos Avanzados
El condicional (→) es tricky: "si p entonces q" solo es falso cuando p es verdadero pero q es falso. Piénsalo como una promesa que solo se rompe en esa situación específica.
El bicondicional (↔) significa "si y solo si": es verdadero únicamente cuando ambas proposiciones tienen el mismo valor de verdad. La disyunción exclusiva (⊕) es el "o exclusivo": una cosa o la otra, pero no ambas.
Los operadores NAND (↑) y NOR (↓) son las negaciones de la conjunción y disyunción respectivamente. NAND es falso solo cuando ambas son verdaderas, mientras que NOR es verdadero solo cuando ambas son falsas.
Tip clave: Estos operadores son fundamentales en circuitos digitales, así que dominarlos te dará ventaja en informática.
3
of 3Inscrí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.
Clasificación de Fórmulas y Equivalencias
En lógica proposicional tenemos un orden de precedencia específico: primero la negación, luego los paréntesis, después conjunción y NAND, seguidos de disyunción y NOR, y finalmente condicional y bicondicional.
Las fórmulas se clasifican en tres tipos cruciales: tautologías (siempre verdaderas), contradicciones (siempre falsas) y contingencias (a veces verdaderas, a veces falsas). Esta clasificación es esencial para resolver problemas.
La equivalencia lógica te permite simplificar expresiones complejas. Dos fórmulas son equivalentes cuando su bicondicional es una tautología. El contrarrecíproco de una condicional (¬B → ¬A) es siempre lógicamente equivalente a la condicional original (A → B).
Para el examen: Practica identificando tautologías y contradicciones usando tablas de verdad. Es una pregunta casi garantizada.
Pensamos que nunca lo preguntarías...
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.
Puedes descargar la app en Google Play Store y Apple App Store.
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.
Contenido similar
Contenidos más populares de Matemáticas
9D
MatemáticasDescubre el mundo de Las Matematicas
Explora los conceptos y técnicas de la Plástica en este emocionante conjunto de tarjetas de estudio.
3° ESO2,2400
E
Matemáticasecuaciones
esta la segunda parte
1° ESO1,4477
MatemáticasFunciones, límites y continuidad
Apuntes de funciones, límites y continuidad para 1-2 Bachillerato
1° Bach7,769228
MatemáticasProbabilidad
Apuntes de probabilidad completos
1° Bach2,42753
L
MatemáticasLos triangulos y los angulos
4 de primaria
5º primaria1,1926
Á
MatemáticasÁreas y perímetros
Aprende a hallar las áreas de todas la figuras planas
3° ESO1,3413
E
MatemáticasEcuaciones
Es de 1 de la Eso
1° ESO1,5105
MatemáticasFunciones
Teoría básica sobre las funciones y los graficos
3° ESO13,8673,813
MatemáticasMatemáticas II (análisis) 2Bach
Primera parte de los apuntes de todo el temario de matemáticas II de cara a la PAU. Nota PAU: 10
1° Bach2,19273
Contenidos más populares
9R
Geografía e Historiaroma
a estudiar Roma!!
1° ESO2,3122
I
Inglésirregular verbs quiz
Domina el idioma inglés de manera sencilla y divertida con estos flashcards diseñados especialmente para estudiantes de sexto grado.
6º primaria2,9241
OtrosCarnet Conducir
Apuntes permiso de conducir tipo B
2° Bach7,898207
O
Lengua Castellana y LiteraturaOBRAS Y AUTORES II
Quiz donde tendrás que relacionar las siguientes obras con sus respectivos autores: edición Romanticismo.
4° ESO3,3640
Tips de estudioApuntes teorico carnet de conducir ACTUALIZADO
sacate el teorico con estos apuntes!!!
2° Bach4,793138
G
Geografía e HistoriaGrecia: Inicio de la democracia
Más o menos las preguntas que me pusieron a mí en el examen
1° ESO2,3622
D
InglésDominando 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!
3° ESO2,2620
F
Filosofíafilosofía
repaso filosofía "el arje , la metafísica y la crítica de Nietszche a platon"
1° Bach2,8451
I
InglésIngles para repasar
quiz de ingles para entrar a clase preparados
2° ESO2,6350
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