2
La risoluzione proposizionale è un sistema di prova completo?
Questa domanda riguarda la logica proposizionale e tutte le occorrenze di "risoluzione" devono essere lette come "risoluzione proposizionale". Questa domanda è qualcosa di estremamente semplice, ma mi ha infastidito per un po '. Vedo che le persone affermano che la risoluzione proposizionale è completa ma vedo anche che le persone …