Data too long for column 'ip' at row 1
Database Error
Message:MySQL Query fail: INSERT INTO `ga_sessoes` (`id_sessao`, `id_user`, `ip`, `expiracao`, `local`) VALUES ('c0c9e54946d1384e28fef2c4afba40b3', '0', '10.8.212.30, 216.73.216.119', '1764871923', '/fichaartigo?id=467');
MySQL Error:Data too long for column 'ip' at row 1
Date:Thursday, December 4, 2025 at 5:42:03 PM
Script:/fichaartigo?id=467
Data too long for column 'ip' at row 1
Database Error
Message:MySQL Query fail: INSERT INTO `ga_sessoes` (`id_sessao`, `id_user`, `ip`, `expiracao`, `local`) VALUES ('c0c9e54946d1384e28fef2c4afba40b3', '0', '10.8.212.30, 216.73.216.119', '1764871923', '/fichaartigo?id=467');
MySQL Error:Data too long for column 'ip' at row 1
Date:Thursday, December 4, 2025 at 5:42:03 PM
Script:/fichaartigo?id=467
Gazeta de matemática

Quando a lógica não se contenta com a verdade

Ainda que muitas vezes sem nos apercebermos, a lógica está presente não apenas na prática matemática mas nos mais variados aspetos da nossa vida quotidiana. Noções de lógica são usadas para encadearmos o nosso raciocínio, chegarmos a conclusões válidas e tomarmos decisões fundamentadas. Quando se fala em lógica, quase garantidamente o leitor pensará em lógica clássica, a lógica mais amplamente utilizada e estudada, assente no conceito de verdade. Haverá outras? A resposta é afirmativa e será ilustrada com dois exemplos que mostram que a introdução de novas lógicas não é um mero (estéril) exercício intelectual, mas um caminho com um vasto leque de aplicações práticas.

PDF do Artigo | PDF integral
Gazeta nº 174, pág. nº 26 | Categoria: Artigos | Palavras-Chave: lógica, clássica, intuicionista, linear
Autor(es): Gilda Ferreira |