Quem estuda a Matemática, ou desenvolve algoritmos deve saber que a Lógica Matemática é essencial para diversas áreas do conhecimento, ex: na computação(programação), então gostaria de saber, qual a diferença entre Tautologia, Contradições e Contingências?