Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

LOGOS - Caderno de Estudos e Exercícios de Lógica do ambiente de ensino Heráclito

2018; Volume: 1; Linguagem: Português

10.5753/cbie.wcbie.2018.164

ISSN

2316-8889

Autores

Fabiane Flores Penteado Galafassi, Cristiano Galafassi, Jo�ão Carlos Gluz, Rosa Maria Viccari, Rafael Bueno,

Tópico(s)

Education and Digital Technologies

Resumo

O presente artigo tem como objetivo apresentar o Caderno de Estudos e Exercícios de Lógica (LOGOS) do ambiente de ensino Heráclito. O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs e atualmente vem sendo utilizado com alunos de graduação dos 1º e 2º semestres em currículos das áreas científicas e tecnológicas.

Referência(s)