assioma identità particolare assioma nel calcolo dei → sequenti, che assicura la validità del sequente A ⊦ A, dove A è una qualunque formula ben formata del linguaggio.
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
identita
identità s. f. [dal lat. tardo identĭtas -atis, der. di idem «medesimo», calco del gr. ταὐτότης]. – 1. L’essere identico, perfetta uguaglianza: i. di due firme, di due concetti; i. piena, vera, totale, assoluta. Con accezioni partic.:...
