Metoda wnioskowania w logice wielowartościowej w programie diagnostycznym DIAG 2