Forum Informatica Unict

LAUREA TRIENNALE (D.M. 270/04) => I anno => Topic started by: Sebastiano99 on 21-10-2018, 09:56:47



Title: Esempio Sistema Formale Completo, Corretto, Consistente e Inconsistente
Post by: Sebastiano99 on 21-10-2018, 09:56:47
Buongiorno

Potrei avere un esempio di Sistema Formale Completo, Corretto, Consistente e Inconsistente?

Aspetto cortesemente vostre risposte

Grazie


Title: Re:Esempio Sistema Formale Completo, Corretto, Consistente e Inconsistente
Post by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 16-11-2018, 23:42:30
Buongiorno

Potrei avere un esempio di Sistema Formale Completo, Corretto, Consistente e Inconsistente?

Aspetto cortesemente vostre risposte

Grazie
Tutte contemporaneamente vere sullo stesso esempio?