- Lógica. É o estudo da legitimidade de argumentos.
- Argumento. É uma sequência de proposições na qual uma das proposições é a conclusão e as demais são as premissas.
- Proposição. Sentença declarativa na qual podemos atribuir um valor lógico.
- Leis do Pensamento
- Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
- Princípio do terceiro excluído: Toda proposição ou é verdadeira ou é falsa, nunca existindo um terceiro caso.
- Lógica Formal. Investiga as estruturas das proposições e do raciocínio dedutivo, ignorando o conteúdo das proposições que venham a ser consideradas, para concentrar-se apenas em sua forma.
- Alfabeto. Dado um conjunto numerável P, o alfabeto proposicional sobre P designa-se Alf_{P} e é constituído por:
- Símbolos Proposicionais: A, B, C, \ldots;
- Símbolo \bot (absurdo, contradição, falso);
- Conectivos Proposicionais: \neg (negação), \wedge, (conjunção), \vee (disjunção), \to (implicação), \leftrightarrow (bi-implicação);
- Símbolos de Pontuação: ( , ).
- Linguagem. A linguagem proposicional induzida por Alf_{P} designa-se L_{P} e é o conjunto definido por:
- p \in L_{P}, qualquer que seja p \in P;
- \bot \in L_{P};
- (\neg \phi) \in L_{P}, (\phi \wedge \psi) \in L_{P}, (\phi \vee \psi) \in L_{P}, (\phi \to \psi) \in L_{P}, (\phi \leftrightarrow \psi) \in L_{P}, quaisquer que sejam \phi, \, \psi \in L_{P}.
Os elementos de
L_{P} são as fórmulas da linguagem proposicional induzida por
Alf_{P}, também chamada de fórmula bem formada (fbf).