Estruturas lógicas - Conceito de proposição (Teoria)