Uma proposição lógica é, de fato, uma declaração que pode ser classificada como verdadeira ou falsa. Elas são fundamentais na lógica porque servem como os blocos de construção para argumentos. Os argumentos são formados por proposições que se conectam através de operadores lógicos, como "e", "ou" e "não". A validade de um argumento depende da relação entre suas proposições e a lógica utilizada para conectá-las.