(lat. Catasyllogismus). Contrademonstração. esse termo é empregado por João de Salisbury (Metalogicus, IV, 5) com referência ao verbo contrademonstrar usado por Aristóteles (An. pr., II, 19, 66 a 25).