De las tres fuentes principales que consulto para esta cuestión (Hunter, Mendelson y Shapiro), las primeras dos incluyen como primitivos sólo a ¬ y →, y la tercera incluye a los cinco, pero a diferencia de las otras dos, no incluye al símbolo de función, f, la comilla ni los asteriscos. ¿Qué fuente cito para justificar que los símbolos primitivos que puse son una selección aceptable?