metasimbolo

di null - Dizionario delle Scienze Fisiche (2012)

metasimbolo


metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare l'esposizione della teoria medesima.

Vedi anche
lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... applicazione matematica Il concetto di applicazione è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di applicazione di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza del tipo seguente: a ogni elemento di P corrisponde un ben determinato elemento ... alfabeto linguistica Complesso di segni ciascuno dei quali indica un suono consonantico o vocalico di una lingua determinata.  ● L’antichità ha conosciuto vari sistemi di scrittura, ciascuno dei quali è giunto dalla primitiva fase ideografica a un grado più evoluto, in cui determinati segni hanno acquistato ...
Categorie
Vocabolario
metasìmbolo
metasimbolo metasìmbolo s. m. [comp. di meta- e simbolo]. – In logica matematica, simbolo non appartenente all’alfabeto di una teoria oggetto di studio e che viene introdotto con funzione ausiliaria per semplificare l’esposizione della...