Você está na página 1de 1

Trabalho Prático II – Regras de Inferência

Lógica e Programação Lógica


Professora: Jeneffer Cristine Ferreira

Problema: Verificar regras de inferência.


Sua tarefa será construir um interpretador para Regras de Inferência que leia de um
arquivo.txt ou da tela as proposições que serão testadas pelo interpretador e a partir da
entrada, o mesmo irá dizer a Regra de Inferência que as proposições pertencem.
.

Descrição:
Nesta seção, será apresentada uma definição informal da para Regras de Inferência,
onde teremos:
Símbolos representando as proposições .......................... = [A-Z]
Símbolo – vírgula (utilizada para separar as proposições) .............................. = (,)
Símbolos - conetivos................................... = ^ , v, -> , <-> e ~
Símbolo de conclusão................................. = (=) utilizar o igual

Observação. Nas regras de inferência temos alguns conectivos lógicos que utilizados
na conclusão das regras tornam-se principais. Utilizar parênteses para separar os
principais conectivos lógicos.

O que Imprimir na Tela:


A proposição que será testada;
Dizer qual regra de inferência a proposição pertence.

O que entregar:
1. Relatório com a descrição do problema e estruturas de dados utilizadas
2. O CÓDIGO SERÁ TESTADO EM SALA DE AULA.
3. Data da entrega dia 19/06/2019