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

Objetivo general

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.

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

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.

Lección 4

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

Lección 5

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

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.

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.