Olá Daniel, Não tem como exportar a prova para pdf, mas podemos pensar em criar essa possibilidade. Eu topo sim, vamos conversar melhor por e-mail.
Permita-me uma última observação em relação à sua explicação de validade formal como: Validade formal: - não são admissíveis situações que violam os conceitos formais (lógicos), ou seja, o "significado dos operadores lógicos" E, OU, NÃO, SE...ENTÃO, ALGUM, TODO,... Isso me parece bom. Entretanto, haverá inevitavelmente circularidade, se não me engano, se for demandada uma explicação da violação dos conceitos formais. Imagino que uma situação que viola os conceitos formais é uma situação que é descrita por um conjunto de proposições de tal modo que podemos deduzir uma contradição. E deduzir uma contradição é produzir um argumento dedutivamente válido (daí a circularidade) cuja conclusão é ⊥ e as premissas são a descrição da situação em questão. Se esse raciocínio se impõe, acho que não tem muita saída a não ser sugerir, como o Mortari apontou anteriormente, que a noção de validade apresentada é informal, pré-teórica e necessariamente um tanto quanto vaga. Abraços, Anderson Em segunda-feira, 26 de abril de 2021 às 09:28:05 UTC-3, [email protected] escreveu: > Oi Anderson, > > >> Eu traduzi o editor e corretor de provas por dedução natural deles (do >> Open Logic Project), pra usar em aulas em tempos de pandemia... (por >> enquanto está hospedado aqui: http://andersonnakano.hyperphp.com/) >> > > Que bacana!! Tem como exportar a prova pronta para um arquivo .pdf? Se > você topar, podemos incluir sua tradução no no "Para Todxs: Natal". Em > breve teremos um site e o projeto disponível no GitHub. > > Saudações, > Daniel. > ----- > Departamento de Filosofia - (UFRN) > http://danieldurante.weebly.com > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85472a60-3bcf-4681-87d8-fe404dec2d20n%40dimap.ufrn.br.
