Proposiciones simples:

 ¿Qué es la lógica proposicional?

Es la parte de la lógica que estudia las proposiciones y símbolos utilizados en la creación de nuevas proposiciones que podrían ser verdaderas o falsas.

¿Qué son las proposiciones?

Son enunciados u oraciones que tienen un valor de verdad, pudiendo ser verdaderas o falsas.

Ejemplos:

Las proposiciones pueden ser verdaderas o falsas. (v)

Las plantas hacen fotosíntesis (v)

Los elefantes vuelan (f)

¿Cómo se representan las proposiciones?

Las proposiciones las podemos representar con letras por ejemplo la proposición: Esta lloviendo la podemos representar con la letra p (siempre se escribe la letra en mayúsculas)

Cuales NO son proposiciones:

-Preguntas: ¿Cómo te llamas?

-Exclamaciones: ¡Ay me caí!

-Ordenes: Limpia tu cuarto

Negación:

Para negar una proposición usamos la palabra NO o también la frase ES FALSO QUE

Ejemplos:

-Las proposiciones no pueden ser verdaderas o falsas (f)

-Es falso que las plantas haces fotosíntesis (f)

-Los elefantes no pueden volar (v)

¿Cómo se representa la negación?

Se representa con el siguiente símbolo antes de la proposición: ¬

¬p, ¬q, ¬r

Monódicas y diádicas:

Se le dice monódica a la negación por que se aplica a una sola proposición y diádicas a las proposiciones compuestas por que se aplican a mas de 2 proposiciones.

Creador de la lógica proposicional:

El creador fue Aristóteles que fue un filósofo, polímata y científico nacido en la ciudad de Estagira, al norte de Antigua Grecia. Es considerado junto a Platón, el padre de la filosofía occidental. Sus ideas han ejercido una enorme influencia sobre la historia intelectual de Occidente por más de dos milenios.