Lógica proposicional

Ejemplo de deducción usando lógica proposicional.
Facultad	Ciencias formales y naturales
Departamento	Matemática
Área	Lógica
Nivel	Universitario

La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos. Es una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables de entidad.

En este proyecto de aprendizaje estudiaremos sus componentes, las formas en las que se combinan y diferentes métodos para realizar demostraciones básicas. En particular nos enfocaremos en un tipo específico de lógica proposicional donde los valores de verdad de las expresiones se puede determinar exclusivamente a partir de los valores de verdad de sus componentes y donde cada proposición puede tener únicamente dos valores posibles: verdadero o falso, pero no otros valores y solamente uno de ellos (las proposiciones no pueden ser falsas y verdaderas al mismo tiempo).

Objetivos específicos

• Comprender los conceptos de la lógica proposicional.
• Familiarizarse con las características del sistema de lógica proposicional.
• Aplicar diferentes métodos de lógica proposicional para realizar deducciones.

Lecciones

Bloque 1

Lección 1

En esta lección estudiaremos las proposiciones y sus características.

• Lectura 1: Proposiciones
• Evaluación de la lección 1

==== Lección 2 ==== voy a llevarte pa pr bad bunny

En esta lección estudiaremos la conectiva lógica de negación que invierte el valor de verdad de la proposición a la que se aplica.

• Lectura 2: La negación
• Evaluación de la lección 2

Evaluación Parcial

• Primera evaluación parcial

Bloque 2

Lección 3

La conjunción será la conectiva lógica que estudiaremos en esta lección.

• Lectura 3: La conjunción
• Evaluación de la lección 3

Lección 4

En esta lección estudiaremos la conectiva lógica llamada disyunción.

• Lectura 4: La disyunción
• Evaluación de la lección 4

Lección 5

Las características de la conectiva lógica llamada implicación serán el tema de estudio de esta lección.

• Lectura 5: La implicación
• Evaluación de la lección 5

nuevayollllll si te quieres divertirr

Evaluación Parcial

Bellaquita Bellaquita Eh Ey, yo, es Ousi Yeah-yeah Dei V, Underwater Bellaquita

[Verso 1: Dei V] Me diste follow y te di followback Me diste like y yo te di dos pa'trá' Toma, al otro día me pusiste en los close friends Eso es lo que tú quieres, ma Voy pa'l DM, de espalda, de la'o o de frente En toa' las fotito' se ve bien Mami, te lo doy ahora y después también Subió una story cerca, estoy que le llego a pie, еh Ouh, ma, yo quiero que tú sea' mi loba Tú mе tiene' a mí en la cuerda floja Woh-oh, si nos vamo' underwater, te moja' Yo te vo'a comer como una luz roja

[Pre-Coro: Dei V, Omar Courtz, Ambos] Y dale, actívate (Actívate) ¿Que quién va a pagar hoy? Ma, tú olvídate (Olvídate) Tú te viene', yo voy, dale, sígueme (Sígueme) Con ese culo 'e embuste de anime (Anime), ma, de anime Dale, actívate (Actívate) ¿Que quién va a pagar hoy? Baby, olvídate ¿Tú te viene' o yo voy? Dale, sígueme Esto es lo que estabas buscando Mi mensaje bellaqueando See Bad Bunny Live Get tickets as low as $301 You might also like [Coro: Omar Courtz, Dei V, Ambos] Vamo' a ver si es verda' (Uh-uh), eh Vamo' a ver si es verda', vamo' a ver si es verda', vamo' a ver si es verda' Bebé Vamo' a ver si es verda' (Vamo' a ver si es verda'), eh

[Post-Coro: Dei V] Baby, tú lo hace' como si supiera' (Como si supiera') Hasta tú te pondría' bellaca si con mis ojo' te viera', te viera'

[Verso 2: Bad Bunny & Omar Courtz] Ey (Ey), tú y yo nos vamo' a ver, nos vamo' a conocer Vamo' a bailar (Vamo' a bailar), vamo' a beber (Vamo' a beber) A bellaquear (A bellaquear), despué' a coger Tú te va' a juquear y esto se va a joder Vamo' a terminar mal, sí Porque yo soy un problema Y porque tú 'tás buena Pero yo tengo mis nena' Las que no suelto, pero tú 'tás suelta, sí Pero tú 'tás suel—, pero-pero tú 'tás suelta, ey (Ey) Tú ere' una pitcher, mami, pero yo me crié en la loma Tú va' a soñar conmigo despué' que te la coma Yo bajo pa' tu barrio lowkey en la Tacoma O si no en la Lambo en una movie cabrona Ey (Ey), chequéate el AP, nunca se va de hora Por eso ningún culo me ajora, embuste Estoy que te preño ahora (Bellaquita) [Verso 3: Omar Courtz] Le llegó bien loca como una gringa en La Perla Baby, te habla Ousi, un placer conocerla Ando con Bad Bo, con Dei V, tú con tus girla' Y no sé si es la yerba, pero tú tiene' Los ojo' chiquitito' como si fuera Don Te pasé la lengua como sellando el blunt Baby, tú te suelta' con el tequi y limón Eso atrás bien grande, bebé, como una Yukon Cierra los ojo' y piénsame Yo estoy bebiendo y también quemé Ella quiere un mensaje que diga: "Ven" Yo me paso mirando ese culito en internet

[Puente: Omar Courtz] Baby (Baby), ese culo es de bichote Y yo siempre quise ser bichote Vámono' pa'onde no se note Que cuando yo te azote, ey (Azote)

[Coro: Bad Bunny & Omar Courtz] Vamo' a ver si es verda' Vamo' a ver si es verda', vamo' a ver si es verda', vamo' a ver si es verda' Eh-eh Vamo' a ver si es verda', vamo' a ver si es verda'

• Segunda evaluación parcial

Bloque 3

Lección 6

En esta lección estudiaremos las reglas para crear proposiciones compuestas.

• Lectura 6: Proposiciones compuestas
• Evaluación de la lección 6

Lección 7

En esta lección estudiaremos el uso de las tablas de verdad para averiguar el valor de verdad de proposiciones compuestas y para realizar demostraciones sencillas.

• Lectura 7: Tablas de verdad
• Evaluación de la lección 7

Lección 8

Las equivalencias lógicas y su utilidad para simplificar expresiones serán los temas que se tratarán en esta lección.

• Lectura 8: Equivalencias
• Evaluación de la lección 8

Lección 9

En esta lección estudiaremos el concepto de regla de inferencia y su utilidad para realizar deducciones.

• Lectura 9: Reglas de inferencia
• Evaluación de la lección 9

Evaluación Parcial

• Tercera evaluación parcial

Bloque 4

Lección 10

En esta lección estudiaremos el procedimiento usado para deducir información nueva a partir de un conjunto de premisas de forma directa.

• Lectura 10: Deducciones directas
• Evaluación de la lección 10

Lección 11

En esta lección estudiaremos el procedimiento para realizar deducciones condicionales.

• Lectura 11: Deducciones condicionales
• Evaluación de la lección 11

Lección 12

En esta lección estudiaremos el procedimiento para realizar deducciones indirectas.

• Lectura 12: Deducciones indirectas
• Evaluación de la lección 12

Evaluación Parcial

• Cuarta evaluación parcial

Evaluación Final

• Evaluación final

Actividades

Actividad propuesta	Descripción
Alí Babá y las dos puertas	Acertijo lógico resuelto usando lógica proposicional.

Material adicional

Proyectos de aprendizaje relacionados

• Lógica
• Lógica de primer orden

Recursos en otros proyectos de Wikimedia

Álgebra Fundamental > Lógica en Wikilibros.

 Lógica proposicional en Wikipedia.

Recursos externos

• YouTube > Tutorial Unidad 1: Lógica Proposicional