[MCTB019-17] §1 — Demonstrações: Linguagem

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

1. constroem linguagens simbólicas, rigorosas e livres de ambiguidades e de contexto, adequadas para lidar com a relação de consequência. As linguagens possuem duas dimensões relevantes:
   • a sintática: os símbolos da linguagem e as regras de combinação às quais estão sujeitos para a construção dos termos e fórmulas;
   • a semântica define precisamente o significado das fórmulas.
2. especificam os axiomas dentre as fórmulas bem formadas;
3. especificam as regras de inferência que independem da semântica.