| Dutch |
| has gloss | nld: Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld. Een interpretatiefunctie met het predicaat L (van "lang") kan op deze manier bijvoorbeeld de extensie bo} (van "Barack Obama") krijgen. De uitkomst van deze logische interpretatie is dat Barack Obama lang is. |
| lexicalization | nld: interpretatie |
| Portuguese |
| has gloss | por: :Nota: Para outros significados de Interpretação, ver Interpretação (desambiguação). |
| lexicalization | por: Interpretação Logica |
| lexicalization | por: Interpretação lógica |
| lexicalization | por: interpretação |
| Castilian |
| has gloss | spa: En lógica, una interpretación es una asignación de significados a las fórmulas bien formadas de un lenguaje formal. Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que "dibujitos" sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal. Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas. |
| lexicalization | spa: Interpretacion |
| lexicalization | spa: interpretación |