Consideremos as seguintes sentenças atômicas:
p: O time joga bem.
q: O time ganha o campeonato.
r: O técnico é o culpado.
s: Os torcedores estão felizes.
Consideremos as seguintes sentenças atômicas:
p: O time joga bem.
q: O time ganha o campeonato.
r: O técnico é o culpado.
s: Os torcedores estão felizes.
A linguagem que usamos nas demostrações é uma linguagem natural, como o português e o inglês. O estudo formal das deduções matematicamente corretas é feito na Lógica Matemática. Os lógicos contemporâneos