Proposicion:

(P & Q)->¬R:R->(P->¬Q)

Modus tollens

-(-R) -> -(p&Q)


Aplicando  doble negacion
R -> -(p&Q)

p  => -q
0  1   1
0  1   0
1  1   1
1  0   0


p  p/\q  q
0   0   0
0   0   1
1   0   0
1   1   1


p  -(p/\q)  q
0      1   0
0      1   1
1      1   0
1      0   1


Las tablas de verdad de -(p&q) y (p=>q) son identicas, luego son operaciones equivalentes, lqqd.