Versione delle 18:49, 4 ott 2012 modifica 2.227.63.217 (discussione) →‎Assiomi logici ← Differenza precedente		Versione delle 10:32, 23 ott 2012 modifica annulla Panda-1967 (discussione \| contributi) 13 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 7: == Assiomi logici == {{vedi anche\|assiomi logici}} Sono [[formula ben formata\|formule]] ~~tua madre~~ [[Validità (logica matematica)\|valide]], cioè formule che sono [[Validità (logica matematica)\|soddisfatte]] da ogni [[modello (logica matematica)\|modello]] (ovvero da ogni ''struttura'') per ogni assegnamento delle variabili. In termini più colloquiali, gli assiomi sono enunciati che sono ''veri'' in ogni possibile universo, nell'ambito di ogni possibile interpretazione e con ogni assegnamento di valori. Per poter ''affermare'' che una formula è un assioma logico, dobbiamo sapere che è valida. Dunque dovrebbe essere necessario fornire una dimostrazione della sua verità in ogni modello. Questo si trova in conflitto con la nozione classica di assioma e costituisce almeno una delle ragioni per le quali, in [[logica matematica]], gli assiomi ''non'' sono considerati come enunciati ''ovviamente veri'' o ''evidenti di per sé''.

Assioma (matematica): differenze tra le versioni