Sobre a Formalização de Frases em Linguagem Natural

O que se pode dizer pode dizer-se de forma clara... O currículo de Matemática A para o 10.º ano (ver [BGLOT]) prevê a Lógica como um dos tópicos. Complementamos as considerações no respetivo caderno de apoio no que diz respeito à formalização de afirmações não-matemáticas feitas em linguagem natural.


Para ver o artigo na íntegra, por favor efectue login.
Gazeta nº 183, pág. nº 9 | Categoria: Canto Délfico | Palavras-Chave: tabelas de verdade, lógica
Autor(es): Alexander Kovacec |