lo que constituye un esquema de inferencia en el que de la verdad de las premisas A, B, N y su producto, podemos obtener la conclusión Y.