Lógica na Especificação Formal de Sistemas

Lógica em especificação formal de sistemas Instituto de Informatica Ufrgs – Porto Alegre - RS
16 de junho de 2009

Resumo
A lógica formal é usada na sistematização das afirmações que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informações. Apresentaremos neste artigo a definição de um sistema formal, seus elementos e sua sintaxe. Além disso mostraremos mostraremos regras de dedução para os dois principais ramos da lógica formal, a lógica proposicional e a lógica de predicados.
Proposições, Conectivos , Valores Lógicos, Seqüência de Demonstração , Regras de
Dedução, Quantificadores e Predicados são alguns dos elementos apresentados ao longo do texto. Introdução
As linguagens formais são úteis não apenas na matemática, mas também nas áreas que utilizam a matemática como ferramenta, como por exemplo, as Engenharias, a Física, a
Química e a Computação. No caso da Computação, em particular, as linguagens formais têm uma importância ímpar, pois a maioria dos profissionais da área lida diretamente com uma ou mais no dia a dia.
Neste artigo valemo-nos de fontes bibliográficas para revisarmos a lógica em especificação formal de sistemas. Primeiramente definiremos uma Linguagem Formal, por conseguinte conheceremos a sintaxe usada nestes sistemas.

Linguagem Formal – Conceito
Desenvolvida originalmente na década de 1950, a Teoria das Linguagens Formais surgiu com o objetivo de desenvolver teorias voltadas às linguagens naturais. Contudo, verificou-se que esta teoria era importante para o estudo de linguagens artificiais, como as procedentes da Computação e da Informática.
Uma linguagem formal, ao contrário de uma linguagem natural, é tal que:
(a) tem uma sintaxe bem definida, de tal forma que, dada uma sentença, é sempre possível saber se ela pertence ou não à linguagem; e
(b) tem uma semântica precisa, de tal forma que não contém sentenças sem significado ou ambíguas.
Toda linguagem tem um alfabeto associado. Um