So the problem of inference, that is, figuring out that the picture of a bird is a bird, is this one: it's where y is the unknown and w and x are known.
Έτσι το πρόβλημα της συνεπαγωγής, δηλαδή του να συμπεράνουμε  ότι πρόκειται για φωτογραφία πουλιού, είναι το εξής: είναι που ο άγνωστος είναι ο y και οι w και x είναι γνωστοί.