Barrapunto

Premisa: todo x, Comprar(x) ^ Disco(x) -> Copias(x)

Conclusión: ~(Comprar(x) ^ Disco(x))

Traducido a L0:

P: p -> q

C: ~p

No es deducible nada, no es un razonamiento ni válido ni contradictorio. La veracidad dependería del valor semántico de p para una interpretación dada.

La verdad es que no tengo ni idea de lo que has puesto. Pero ya que preguntas, te comento que está un poco recortada, ya que no cabía entera.

La idea original era algo así:

Cada vez que compras un disco tienes tentaciones de compartirlo con tus amigos. Evita esas tentaciones, no compres discos.
Campaña contra la piratería
Campaña en favor de la Música Libre

Es una buena manera de no tener problemas con el mundo "creativo" de este país. No compramos discos y así se evita la piratería, y la SGAE estaría contentísima por acabar con esa lacra (la dichosa y mal llamada piratería) ;-)

Eso no tiene ninguna lógica, veamos:

    p -> q

    no q -> no p

Pues no, eso no es así, un ejemplo:

    Si llueve no saldré a la calle.

    Si no salgo a la calle significa que llueve (falso, me he quedado masturbándome y me ha dado un paro cardiaco).