Lógica proposicional

Lógica proposicional
¿Qué es la lógica?
Lógica es una ciencia formal que estudia la estructura o formas del pensamiento
humano (como proposiciones, conceptos y razonamientos) para establecer leyes y
principios válidos para obtener criterios de verdad. Disposición natural de los seres
humanos para pensar de forma coherente.
 Lógica proposicional
¿Qué es la lógica Matemática?
Ciencia que estudia los procedimientos para distinguir si un razonamiento es
correcto o incorrecto.
 Lógica proposicional
¿Qué es una proposición?

El término proposición es tomado de la lógica y suele ser definido como un enunciado

que puede ser calificado de verdadero o falso.

¿Qué es la lógica proposicional?

La lógica proposicional o lógica de
enunciados, es una oración que puede
ser verdadera o falsa.

Ejemplos: a: Cinco es mayor que tres.

Enunciados que son proposiciones. Lógica proposicional
 Ecuador se encuentra en América.
Letras más usadas
 Todos los carros tienen tres ruedas. Para asignar a las proposiciones.
 La semana tiene 9 días.
p, q, r, s, t, u.
Enunciados que no son proposiciones.
• ¿Cómo te llamas?

• Llama a tu mamá.

• Espérame.
 Lógica proposicional
Conectivos o conector lógico.

Te voy a regalar flores. p

Conjunción. Te voy a regalar chocolates. q
Disyunción.

~ /
Te voy a regalar flores y chocolates. p ^ q.
 Lógica proposicional
Escriba diez ejemplos de proposiciones.