Calcolo dei Predicati

Question 1

Definzione di Termini

Answer 1

I termini di un linguaggio per la logica dei predicati sono definiti induttivamente rispetto alla presenza in essi definiti e sono le costanti, e le variabili.

Question 2

Definizione di Formule

Answer 2

Le Formule sono espressioni del linguaggio definite induttivamente

Question 3

Definizione di Quantificatori

Answer 3

Estistono i quantificatori:
1) Esistenziale
2) Universale

Question 4

Definizione di Ambiente

Answer 4

si difinisce ambiente l’universo numerio per esempio:

1) Numeri interi
2) Numeri naturali
3) Numeri razionali
ecc…

Question 5

Definzione Variabile Vincolare

Answer 5

Per esempio nella formula ∀xa , a si chiama campo d’azione o ambito del quatificatore ∀ ed analogamente diremo per ∃. Nelle formule ∀xa e ∃xa la variabile x si dice vincolata (o quantificata o legata)

Question 6

Definizione di Termini e Variabili

Answer 6

Un termine senza variabili si dice chiuso. Una formula predicativa si dice chiusa se non ha variabili libere , aperta altrimenti