El ejemplo más claro que pone Amparo de este tipo es el típico que dice que de la afirmación de que todos los marcianos son verdes no se sigue lógicamente que algunos marcianos son verdes.
Aunque no he ajustado mucho el diccionario a las letras P y Q, pero bueno, diríamos que P: marcianos y Q: verdes.
La premisa de la que se parte es verdadera, pero la consecuencia lógica es hasta ahora falsa.
Edito:
Por lo tanto, este contraejemplo da fe de que la forma lógica es inválida. En un futuro, Dios dirá.