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