Discussione:Linguaggio del primo ordine

Cliccando sulla versione inglese della pagina si viene portati a: http://en.wikipedia.org/wiki/Predicate_logic In quella pagina invece, se si clicca sulla versione italiana, si viene indirizzati a: http://it.wikipedia.org/wiki/Logica_del_primo_ordine pagina ancora molto scarna, che non ha link a questa voce.

Carlo.

Sì che ce l'ha il link, è nella terza riga del paragrafo "definizione".--Pokipsy76 18:25, 6 lug 2006 (CEST)

Scusate eventuali errori, è la prima volta che scrivo. Vengo al dunque: al par. 2.3.1, fra le sottoformule vengono incluse anche: P(x) e Q(y) che sono funzioni. Ma le funzioni sono fbf? Le fbf non escludono proprio le funzioni? Grazie, Andrea

Nel paragrafo "2.1 Alfabeto" si afferma che con le lettere P e Q si sarebbero indicati i predicati, pertanto anche in quell'esempio con P e Q si indicano dei predicati. Il problema che manca il pedice n-ario, provvedo ad editare per rendere conforme l'esempio alla definizione. Kaluppollo (msg) 16:16, 4 feb 2010 (CET)

Si, ho visto. Sto correggendo un po' in tutte le voci correlate anche... --Ruthven (msg) 08:46, 13 gen 2021 (CET)

Linguaggio formale con alfabeto infinito?

"Nella logica matematica il linguaggio del primo ordine è un linguaggio formale...", alla voce "linguaggio formale" risulta "un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito". Più avanti nella definizione dell'alfabeto del linguaggio del primo ordine si nota "simboli per variabili (infiniti): x1,x2,x3,...".

Mi sfugge qualcosa?— Questo commento senza la firma utente è stato inserito da 78.12.58.85 (discussioni · contributi) 19:08, 16 dic 2009 (CET).

Normalmente non si fanno assunzioni sulla cardinalità dell'alfabeto. In altre parole, esso può benissimo essere composto da un'infinità di simboli. Nella pratica però si considera sempre un numero finito di predicati e di funzioni e se si considerano (per un esercizio o un esempio o anche per uno studio particolare) formule in numero finito, allora non ha molto senso prendere un alfabeto infinito e basta ampiamente un alfabeto composto da un insieme finito di simboli. --Ruthven (msg) 08:46, 13 gen 2021 (CET)

Variabili libere in ϕ

Scusate l'appunto, ma essendo studente di informatica presso l'università degli studi di Torino mi sono imbattuto in questo articolo studiando logica matematica e sono rimasto confuso dopo aver letto la frase sulle variabili libere in quanto quì asserisce che una variabile per esser libera non deve comparire in nessuna sottoformula preceduta da un quantificatore sulla suddetta, ma ciò non è corretto.

Ho guardato un paio di fonti e tutte quante confermano invece che una variabile può esser libera in una formula anche essendo vincolata in una sottoformula ma comparendo in un'altra non essendo vincolata.

Spero in una correzione in modo che non ci sia più confusione in futuro.

Grazie in anticipo — Questo commento senza la firma utente è stato inserito da Loller97 (discussioni · contributi) 14:08, 14 giu 2020 (CEST).

[@ Loller97] Ti invito ad apportare tu stesso la correzione. usa il tasto "Modifica" in alto alla voce e non dimenticare di segnalare le fonti che hai usato (WP:FONTI). Se hai difficoltà, scrivi qui oppure vedo di migliorare io stesso la voce in un futuro (si spera) prossimo. --Ruthven (msg) 08:48, 13 gen 2021 (CET)