Función proposicional atómica