Logika keilmuan: pengantar silogisme dan induksi