ProLógica– Ambiente de Apoio ao Ensino de Lógica Proposicional

ponto, ele aciona um comando que finaliza a escrita da forma de algumento incluindo a
conclusão. A figura 3.1 ilustra a seqüência de passos possíveis para realizar uma prova no
ambiente.
sim
não
Adiciona premissa
Nova premissa?
não
Seleciona premissas
Aplica regra
Regra aplicada corretamente?
sim
Aplicar nova regra?
não
Finaliza prova
Figura 3.1 – Seqüênc ia de prova
Todos os erros de sintaxe e aplicação das regras são apontados pelo ambiente,
permitindo ao aluno identificar e realizar correções antes e durante o desenvolvimento da
prova. Erros de sintaxe dizem respeito à escrita das premissas. O sistema aplica regras de
validação de wff (well formed formula), o que implica no respeito às regras de
posicionamento de conectivos unários e binários em uma premissa. A aplicação de regras
utilizando premissas não adequadas também é verificada e anunciada pelo ambiente. É
possível, ainda, que o aluno imprima ou salve sua prova como um arquivo com extensão
TXT ou DOC.
A dedução da forma de argumento a seguir pode ser realizada, de forma escrita,
como mostrado:
sim