Una proposición o enunciado, es una oración que puede ser falsa o verdadera, pero no ambas al mismo tiempo. La proposición es un elemento fundamental en la Lógica Matemática. Ejemplos de proposiciones son:

·         Este texto pertenece a un curso de Algebra

·        Camila es estudiante en la Universidad Cooperativa de Colombia.

·        2 + 4 = 24

Conectores u operadores lógicos son aquellos que se utilizan para conectar o unir proposiciones; existen 4 conectores básicos a saber:

a. AND:   se lee: y; se simboliza :     

    En el ejemplo anterior:

    Este texto pertenece a un curso de algebra y Camila es estudiante de la   

    Universidad Cooperativa de Colombia. Se simboliza:   p q

b. OR :     se lee: o ; se simboliza:    V

    En el ejemplo:

    Este texto pertenece a un curso de algebra o Camila es estudiante de la   

    Universidad Cooperativa de Colombia. Se simboliza:   p Vq

c. Condicional.: Se lee: Entonces ; se simboliza: 

    En el ejemplo:

    Si Este texto pertenece a un curso de algebra entonces Camila es estudiante   

    de la Universidad Cooperativa de Colombia. Se simboliza:   p q

d. Bicondicional : Se lee: si y solo si ; se simboliza :

    En el ejemplo:

    Este texto pertenece a un curso de algebra si y solo Camila es estudiante   

    de la Universidad Cooperativa de Colombia. Se simboliza:   p q

Una argumentación es valida, cuando, por medio de un proceso de demostración se logra establecer que su valor de verdad es verdadero.