La lógica de predicados es una herramienta fundamental en matemáticas...
Tecnología e Informática57 visualizaciones·Actualizado 18 de ago de 2026·3 páginasIntroducción a la Lógica de Predicado
Y
Yanira Clevel@yaniraclevel
1 / 3
1
of 3
Lógica de Predicados: Conceptos Básicos
Un predicado es una expresión que puede ser verdadera o falsa. Normalmente se representa con letras como P, Q, R, A, B, C, etc. La belleza de los predicados está en que podemos combinarlos mediante operaciones lógicas para crear expresiones más complejas.
La conjunción (AND, Y, ∧) es una operación que resulta verdadera solo cuando ambos predicados son verdaderos. En la tabla de verdad de la conjunción, P AND Q es verdadero únicamente cuando tanto P como Q son verdaderos. Si alguno es falso, el resultado será falso - básicamente, un solo valor falso anula toda la expresión.
La negación (NOT, ¬) simplemente cambia el valor de verdad de un predicado. Si P es verdadero, entonces NOT(P) es falso, y viceversa. La disyunción (OR, O, ∨) es verdadera cuando al menos uno de los predicados es verdadero - con solo una expresión verdadera, toda la disyunción se vuelve verdadera.
💡 Recuerda que cualquier expresión con varios predicados tendrá 2^n posibles combinaciones de valores de verdad, donde n es el número de predicados. Por ejemplo, una expresión con 3 predicados tendrá 2³ = 8 posibles resultados.
2
of 3
Reglas del Álgebra de Boole
El álgebra de Boole tiene reglas que nos permiten simplificar expresiones lógicas complejas. La doble negación establece que negar dos veces un predicado equivale al predicado original: NOT(NOT(P)) = P. Esta regla es intuitiva - si negamos que algo es falso, estamos afirmando que es verdadero.
La implicación (P → Q) puede expresarse como NOT(P) OR Q, lo que nos muestra la relación entre diferentes operaciones lógicas. Otras reglas fundamentales incluyen que P OR P = P y P AND P = P, que reflejan la idempotencia de estas operaciones.
Algunas reglas simplificadoras importantes son: P OR NOT(P) = 1 (siempre verdadero, conocido como ley del tercero excluido) y P OR 1 = 1 (cualquier cosa OR verdadero siempre es verdadero). De manera similar, P AND 0 = 0 y P AND 1 = P.
🔑 Estas reglas son la base para simplificar circuitos digitales y optimizar algoritmos en informática. Dominarlas te dará ventaja en programación y diseño de sistemas.
3
of 3
Simplificación de Expresiones Lógicas
La simplificación de expresiones lógicas complejas se logra aplicando las reglas del álgebra de Boole de manera sistemática. Reglas adicionales importantes son: P AND 0 = 0 y P AND 1 = P, que nos ayudan a reducir términos innecesarios.
La conmutatividad establece que P AND Q = Q AND P, y P OR Q = Q OR P, permitiéndonos reorganizar términos sin cambiar el valor de la expresión. Para ejercicios de simplificación, debemos identificar primero qué reglas aplicar y proceder paso a paso.
Las leyes de De Morgan son herramientas poderosas que establecen que NOT(P AND Q) = NOT(P) OR NOT(Q) y NOT(P OR Q) = NOT(P) AND NOT(Q). Estas leyes nos permiten distribuir la negación sobre operaciones de conjunción y disyunción.
🧩 Un buen método para verificar tus simplificaciones es construir tablas de verdad para la expresión original y la simplificada - si coinciden para todas las combinaciones de valores de entrada, tu simplificación es correcta.
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í lo es! Tienes acceso totalmente gratuito a todo el contenido de la app, puedes chatear con otros alumnos y recibir ayuda inmeditamente. Puedes ganar dinero utilizando la aplicación, que te permitirá acceder a determinadas funciones.
Contenidos más populares de Tecnología e Informática
9Tecnología e InformáticaLa Inteligencia Artificial
Definición y Explicación de la Inteligencia Artificial
91,2697
Tecnología e InformáticaElectrónica Básica
Apuntes de conceptos básicos de electrónica
Universidad412
BiologiaFuentes de energía renovable y no renovable
Explica lo qué es las fuentes de energía renovable y no renovable y ejemplos.
72786
FísicaCircuito eléctrico.
Circuito eléctrico, corriente, resistencia, fórmulas, etc.
91790
Tecnología e InformáticaLas redes sociales
Las ventajas y desventajas
82952
Tecnología e InformáticaProgramación
Guia de como utilizar app inventor para hacer aplicaciones móviles
4° Sec3391
Tecnología e InformáticaInteligencia Artificial
Apunte sobre la inteligencia artificial
101840
Tecnología e InformáticaBucles o ciclos
Bucles o ciclos java
11673
Tecnología e InformáticaDelito informático
Violación a la privacidad
4° Sec1213
Contenidos más populares
9
ICFES: Lectura CríticaSimulacro icfes
Simulacro
112,22254
ICFES: MatemáticasSimulacro ICFES primera sesión calendario B filtrado 2025
Este simulacro te ayudará a sacar un buen puntaje en las pruebas ICFES este 2025. Vamos por ese 500/500. Y poder ser admitido en la universidad que quieras, estudiar la carrera que quieres y no la que te toque. Vamos con toda para sacar un buen puntaje.
1017,426178
ICFES: MatemáticasMaterial de estudio ICFES
Material de estudio, preguntas icfes de matemáticas resueltas
117,172113
ICFES: InglésCuadernillo Preguntaa Saber 11 Inglés.
Aprovecha los cuadernillos de Inglés para practicar y mejorar tus habilidades en el ítem de Inglés de la Prueba Saber 11. 🫡
1093115
Lengua CastellanaIcfes lectura crítica
Lectura crítica
114742
ICFES: MatemáticasMatemáticas icfes
Icfes matemáticas
111,83818
ICFES: Lectura CríticaICFES segunda sesión calendario B 2025
Segunda sesión simulacro ICFES 2025 calendario B filtrado, aprovecha y se el mejor ICFES de tu colegio y poder ingresar a universidad, y estudiar aquella carrera con la que tanto sueñas.
119,897124
QuímicaTrucos para ganar icfes
Lo mejor
111,08113
ICFES: Sociales y CiudadanasIcfes
Simulacro icfes
111,45826
Mira lo que dicen nuestros usuarios. Les encantó — y a ti también te encantará.
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
Tecnología e Informática57 visualizaciones·Actualizado 18 de ago de 2026·3 páginasIntroducción a la Lógica de Predicado
Y
Yanira Clevel@yaniraclevel
La lógica de predicados es una herramienta fundamental en matemáticas y ciencias de la computación que nos permite analizar y determinar el valor de verdad de expresiones. A través de operaciones como conjunción, disyunción y negación, podemos resolver problemas lógicos...
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.
Lógica de Predicados: Conceptos Básicos
Un predicado es una expresión que puede ser verdadera o falsa. Normalmente se representa con letras como P, Q, R, A, B, C, etc. La belleza de los predicados está en que podemos combinarlos mediante operaciones lógicas para crear expresiones más complejas.
La conjunción (AND, Y, ∧) es una operación que resulta verdadera solo cuando ambos predicados son verdaderos. En la tabla de verdad de la conjunción, P AND Q es verdadero únicamente cuando tanto P como Q son verdaderos. Si alguno es falso, el resultado será falso - básicamente, un solo valor falso anula toda la expresión.
La negación (NOT, ¬) simplemente cambia el valor de verdad de un predicado. Si P es verdadero, entonces NOT(P) es falso, y viceversa. La disyunción (OR, O, ∨) es verdadera cuando al menos uno de los predicados es verdadero - con solo una expresión verdadera, toda la disyunción se vuelve verdadera.
💡 Recuerda que cualquier expresión con varios predicados tendrá 2^n posibles combinaciones de valores de verdad, donde n es el número de predicados. Por ejemplo, una expresión con 3 predicados tendrá 2³ = 8 posibles resultados.
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.
Reglas del Álgebra de Boole
El álgebra de Boole tiene reglas que nos permiten simplificar expresiones lógicas complejas. La doble negación establece que negar dos veces un predicado equivale al predicado original: NOT(NOT(P)) = P. Esta regla es intuitiva - si negamos que algo es falso, estamos afirmando que es verdadero.
La implicación (P → Q) puede expresarse como NOT(P) OR Q, lo que nos muestra la relación entre diferentes operaciones lógicas. Otras reglas fundamentales incluyen que P OR P = P y P AND P = P, que reflejan la idempotencia de estas operaciones.
Algunas reglas simplificadoras importantes son: P OR NOT(P) = 1 (siempre verdadero, conocido como ley del tercero excluido) y P OR 1 = 1 (cualquier cosa OR verdadero siempre es verdadero). De manera similar, P AND 0 = 0 y P AND 1 = P.
🔑 Estas reglas son la base para simplificar circuitos digitales y optimizar algoritmos en informática. Dominarlas te dará ventaja en programación y diseño de sistemas.
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.
Simplificación de Expresiones Lógicas
La simplificación de expresiones lógicas complejas se logra aplicando las reglas del álgebra de Boole de manera sistemática. Reglas adicionales importantes son: P AND 0 = 0 y P AND 1 = P, que nos ayudan a reducir términos innecesarios.
La conmutatividad establece que P AND Q = Q AND P, y P OR Q = Q OR P, permitiéndonos reorganizar términos sin cambiar el valor de la expresión. Para ejercicios de simplificación, debemos identificar primero qué reglas aplicar y proceder paso a paso.
Las leyes de De Morgan son herramientas poderosas que establecen que NOT(P AND Q) = NOT(P) OR NOT(Q) y NOT(P OR Q) = NOT(P) AND NOT(Q). Estas leyes nos permiten distribuir la negación sobre operaciones de conjunción y disyunción.
🧩 Un buen método para verificar tus simplificaciones es construir tablas de verdad para la expresión original y la simplificada - si coinciden para todas las combinaciones de valores de entrada, tu simplificación es correcta.
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í lo es! Tienes acceso totalmente gratuito a todo el contenido de la app, puedes chatear con otros alumnos y recibir ayuda inmeditamente. Puedes ganar dinero utilizando la aplicación, que te permitirá acceder a determinadas funciones.
Contenidos más populares de Tecnología e Informática
9Tecnología e InformáticaLa Inteligencia Artificial
Definición y Explicación de la Inteligencia Artificial
91,2697
Tecnología e InformáticaElectrónica Básica
Apuntes de conceptos básicos de electrónica
Universidad412
BiologiaFuentes de energía renovable y no renovable
Explica lo qué es las fuentes de energía renovable y no renovable y ejemplos.
72786
FísicaCircuito eléctrico.
Circuito eléctrico, corriente, resistencia, fórmulas, etc.
91790
Tecnología e InformáticaLas redes sociales
Las ventajas y desventajas
82952
Tecnología e InformáticaProgramación
Guia de como utilizar app inventor para hacer aplicaciones móviles
4° Sec3391
Tecnología e InformáticaInteligencia Artificial
Apunte sobre la inteligencia artificial
101840
Tecnología e InformáticaBucles o ciclos
Bucles o ciclos java
11673
Tecnología e InformáticaDelito informático
Violación a la privacidad
4° Sec1213
Contenidos más populares
9ICFES: Lectura CríticaSimulacro icfes
Simulacro
112,22254
ICFES: MatemáticasSimulacro ICFES primera sesión calendario B filtrado 2025
Este simulacro te ayudará a sacar un buen puntaje en las pruebas ICFES este 2025. Vamos por ese 500/500. Y poder ser admitido en la universidad que quieras, estudiar la carrera que quieres y no la que te toque. Vamos con toda para sacar un buen puntaje.
1017,426178
ICFES: MatemáticasMaterial de estudio ICFES
Material de estudio, preguntas icfes de matemáticas resueltas
117,172113
ICFES: InglésCuadernillo Preguntaa Saber 11 Inglés.
Aprovecha los cuadernillos de Inglés para practicar y mejorar tus habilidades en el ítem de Inglés de la Prueba Saber 11. 🫡
1093115
Lengua CastellanaIcfes lectura crítica
Lectura crítica
114742
ICFES: MatemáticasMatemáticas icfes
Icfes matemáticas
111,83818
ICFES: Lectura CríticaICFES segunda sesión calendario B 2025
Segunda sesión simulacro ICFES 2025 calendario B filtrado, aprovecha y se el mejor ICFES de tu colegio y poder ingresar a universidad, y estudiar aquella carrera con la que tanto sueñas.
119,897124
QuímicaTrucos para ganar icfes
Lo mejor
111,08113
ICFES: Sociales y CiudadanasIcfes
Simulacro icfes
111,45826
Mira lo que dicen nuestros usuarios. Les encantó — y a ti también te encantará.
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