Si scrivono con la sintassi conclusionepremessa Dove premessa e conclusione sono due formule di logica predicativa.