Página HTML para verificar a validade de silogismos e determinar suas possíveis conclusões, de acordo com a lógica proposicional aristotélica
di-ca-n / silogismos Goto Github PK
View Code? Open in Web Editor NEWPágina HTML para verificar a validade de silogismos e determinar suas possíveis conclusões, de acordo com a lógica proposicional aristotélica
License: MIT License