Solo una línea de la tabla de verdad —la primera— satisface estas dos condiciones ("p" y "p" → "q").