Indice:
Definizione
Il metodo dei tableaux è un metodo dimostrativo utilizzato per verificare se una determinata formula è una valida nella Logica del primo ordine (predicativa)
Metodo
il procedimento è identico al Metodo dei Tableaux nella logica proposizionale però nella logica del primo ordine si aggiungono due nuovi simboli i quantificatori ∀ e ∃
Consigli
- Se possibile sviluppare prima i connettivi logici e poi i quantificatori
- Se possibili sviluppare prima le formule esistenziali e poi quelle universali