As proposições simples são representadas por letras como A, B, C, ... ou p, q, ...
Os conectivos usados pela lógica são a junção, disjunção, negação, condicional e bicondicional, representadas respectivamente pelos seguintes símbolos:

e (^), ou (v), não (~ ou ¬ ), se...então... (->), se e somente se (<->)
Exemplos de proposições compostas:

Princípio da não contradição: ~(P^~P). Não é verdade que uma frase p é ao mesmo tempo verdadeira e não verdadeira (falsa).
Exemplo: "não pode ocorrer que um bem seja normal e sua curva de demanda seja positivamente inclinada".
Princípio do terceiro excluído: P∨~P. Ou ocorre p ou ocorre a sua negação (não existe terceira opção)
Exemplo: ou um bem é inferior ou é normal

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. Seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.