O valor lógico, que se refere a um dos possíveis juízos que atribuímos a proposição. Os métodos de inferência, que são usados na representação do raciocínio. A linguagem formal, que é usada para representar o conhecimento da proposição. Os argumentos, que indicam a sequência das sentenças onde uma é a conclusão e o resto, as premissas. Os conectivos, que são palavras ou símbolos usados a partir de proposições já dadas.