Una proposición es una expresión donde se afirma o se niega algo. Tal proposición puede ser calificada sin ambigüedades como V o F, también recibe el nombre de Valor de Verdad.

A una proposición se le representa por letras minúsculas como p, q, r, s, t.

Ejemplo: p: Talara es una provincia de Piura V

Además proposiciones como: ¡Hola que tal!

No son proposiciones lógicas porque no podemos decir de ellas que son Verdaderas o Falsas.

Es aquella que no se relaciona con otra. Ejemplo:

p: 17 es un número impar.

q: El Sol no es una estrella.

r: La maca es una planta oriunda del Perú.

Los conectivos lógicos sirven para enlazar dos o más proposiciones. Estos conectivos son "y", "o", "no es cierto que", "entonces", "si y solo sí", cuyos símbolos se ven en el siguiente cuadro:

Es aquella donde aparecen dos o más proposiciones simples enlazadas por conectivos lógicos. Ejemplo:

* César Vallejo nació en Trujillo y es peruano.

p Ù q

* (Tengo sueño de día entonces estoy cansado) o me faltan vitaminas

p Þ q Ú r

Al enlazar n proposiciones simples resultan 2ⁿ valores de verdad para cada proposición al escribir todas las posibles combinaciones de V o F.

• Para 1 proposición hay 2¹ = 2 valores de verdad.

• Para 2 proposiciones hay 2² = 4 valores de verdad.

• Para 3 proposiciones hay 2³ = 8 valores de verdad.