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 ;