El tollendo ponens tiene la forma (p V q) ^ ¬ p q, y su tabla de verdad es