Metoda semantičnih tabel za reševanje logičnih nalog - Hafner, Izidor (Presek, 1984)