#LISTA DE EXERCICIO
- Implemente um verificador de consequência lógica utilizando os dois teoremas (P=<E,F,Op>)=>(E|=a) vistos em sala de aula, ainda considerando: A: o uso de tabela verdade; B: sem uso da tabela verdade. (Op vai ser conj. de equivalência)
info: Teorema 1: Prova direta Teorema 2: Prova por contradição
ENTRADA: {(PvQ)->R,~Q}
- Implemente a questão 1 aceitando uma entrada em linguagem natural (pt-br) para verificar se um dado argumento é válido.
Se o time joga bem, então ganha o campeonato. Se o time não joga bem, então o técnico é culpado. Se o time ganha campeonato, então os torcedores...
3.Implementar a questão 1 usando regras de inferência (E|-a) (Op vão ser as regras de inferência).
OBS.: Criar uma implementação que gere novas regras durante a resolução da questão.