Las primeras son aquellas cuya invalidez se puede demostrar mediante métodos formales, tales como la afirmación del consecuente y la negación del antecedente.