2. Formas de inferência válida - A lógica Aristotélica