Para estudarmos o mecanismo da inferência, precisamos de algumas noções de Lógica das Proposições e de Lógica dos Predicados.
A Lógica investiga leis de raciocínio correto, isto é, aquele que permite, a partir de proposições verdadeiras, chegar a conclusões verdadeiras.
A Lógica das Proposições opera com conectivos:
1. Negação (- ~ ¬)
Leituras:
1. não, não é fato que,
2. não é verdade que,
3. não é o caso de.
Seja p uma proposição qualquer. Por exemplo, se “hoje é domingo” é verdadeiro (v), então “hoje não é domingo” é falso (f); se “hoje não é domingo” é verdadeiro (v), então “hoje é domingo” é falso (f).
2. Conjunção (& ∧.)
Leitura: e
Na linguagem corrente, o conectivo "e" tem duas significações: "e também" (e +) e "e depois" (e >).
O primeiro desses sentidos é o usual no texto descritivo.
Quando digo que “ela tem um marido e um filho”, digo que ela tem um marido e também um filho. O segundo desses sentidos é o usual no texto narrativo.
Quando digo "ela se casou e teve um filho", pressuponho que o casamento precedeu o "ter um filho".
O sentido "e também" é o mais elementar, isto porque o "e depois" pode ser compreendido como "e também" acrescido de "depois O sentido "e também" é o que é considerado em Lógica.