agatha: Para Logica (original) (raw)

8.15

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 ;