s.f. Lógica Cada uma de duas proposições hipotéticas tais, que o antecedente da primeira é necessariamente o conseqüente da segunda, e vice-versa: se todo homem é um ser racional, todo ser racional é homem (recíproca verdadeira); se todo homem é um ser vivo, todo ser vivo é homem (recíproca falsa). |