Demostrar la invalidez de un Argumento Deductivo, ya simbolizado y compuesto de proposiciones o predicados.