Lista de #Tautologias (atualizada a cada 3 horas) da #lógica proposicional com possibilidade de construção automática de #tabelas de verdade: https://dfaria.eu/tautologias
Um #software para os alunos fazerem #exercícios de preenchimento de #tabelas de #verdade na #lógica clássica com correção automática: https://w.dfaria.eu/tabelasdeverdade
#software #exercícios #tabelas #verdade #lógica