Pages: [1]   Go Down
Print
Author Topic: DUBBIO ES. 12  (Read 276 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
ptrnic99
Matricola
*
Offline Offline

Posts: 1


« on: 10-02-2019, 18:37:26 »

Salve a tutti, facendo qualche esercizio del capitolo "Logica dei predicati", ho riscontrato difficoltà nel seguente:
Nella logica dei predicati, considerare la segnatura seguente, dove i simboli di funzione sono {c0, k0, f1, g2} mentre i simboli di predicato (relazioni) sono {P1, Q2}. Fornire delle strutture (non banali) nelle quali le seguenti formule risultino vere e strutture nelle quali risultino false.

1. forall x.Q(x,x)
2. forall x. forall y.Q(x,y)
...

Dal testo SM: Una struttura A per Σ è una tripla <A; F; P > dove:
1. A è un insieme, detto supporto di A , indicato spesso con |A|;
2. F è una famiglia di funzioni tale che per ogni fn ∈ Σ , esiste f~n ∈ F , f~n : An -> A;
3. P è una famiglia di relazioni tale che per ogni Pn ∈ Σ, esiste P~n ∈ P , P~n : An -> {0,1};

In maniera "teorica" dovrei seguire la definizione per poi costruirmi una struttura, ma a livello pratico non riesco ad approcciare l'esercizio. Qualcuno saprebbe fornirmi qualche esempio a partire da una qualunque segnatura ?

Grazie.

Logged
Pages: [1]   Go Up
Print
Jump to: