Modelli canonici di Herbrand e modelli numerabili - 9788889525159

Modelli canonici di Herbrand e modelli numerabili: Il modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la soddisfacibilità di una formula, è di solito infinito,ossia con supporto (insieme universo) di cardinalità infinita, se nella formula considerata compare almeno una funzione di Skolem. Ciò non diminuisce tuttavia la sua importanza, poichè è possibile trovare basi di Herbrand per la soddisfacibilità. Infatti esempi di formule non valide si trovano di solito prendendo in esame insiemi di supporto di piccola cardinalità (2 elementi). Nel Capitolo 1 di questo lavoro si studia il modello di Herbrandt e la proprietà del modello numerabile, in connessione col modello di Herbrandt. Il Capitolo 2 è dedicato allo studio dei tableaux infiniti della logica dei predicati ed alla loro modellizzazione matematica con grafi infiniti.Il risultato cruciale è che la logica fornisce una nuova classe di grafi il cui studio è molto interessante dal punto di vista matematico.
Herbrandt model is a standard model which allows to demonstrate important theorems in predicate logic, when you can have a concrete example of a template for the satisfiability of a formula, usually infinite, infinite cardinality support (universal set), if at least one function appears in the formula considered of Skolem. This does not diminish its importance, since it is possible to find bases of Herbrand for satisfiability. In fact, examples of invalid formulas are usually found by examining sets of supporting small cardinality (2 items). In Chapter 1 of this paper we study the model of Herbrandt and countable model properties, in connection with the model of Herbrandt. Chapter 2 is devoted to the study of tableaux infiniti predicate logic and mathematical modelling with infinite graphs. The result is that logic provides a new class of graphs whose study is very interesting from a mathematical point of view.