agatha:   Para Logica
1 Introdução
2 Operadores
3 Da Linguagem
7.7

agatha: Para Logica

Joseildo M S Filho, Andrei Formiga

 #lang "agatha" package: Agatha

1 Introdução

Está é um linguagem de dominio especifico, o objetivo é produzir tabelas-verdade para formular de Lógica de primeira ordem.

#lang agatha

f = A ^ B;

#f;

Assim o operador #(avalia expressão) cria a tabela e exibe o resultado.

Podemos Compor funções:

#lang agatha

f = A ^ B;

g = f ^ C;

2 Operadores

Temos os Operadores basicos de Lógica.

#lang agatha

f = A ^ B; // Operador E

f = A + B; // Operador Ou

f = A -> B; // Operador Implica

f = ¬A; // Operador Não

3 Da Linguagem

Apesar de muito simples, devemos atentar a alguns detalhes. 1º as variaveis devem ser minusculas, ou seja, o lado esquerdo do = é minusculo. 2º as variaveis booleanas são maiusculas. 3º as variaveis naõ booleanas podem ser sobrescritas 4º toda linha de commando ou expressão deve terminar com ;