PHP, no contexto da lógica proposicional, significa _Pigeon Hole Principle_ (princípio do escaninho).