diallelo 1 (sm.) Nella logica antica è il tipo di ragionamento che si sforza di dare per dimostrato ciò che in realtà è proprio da dimostrare.