Logika - rezolucyjny dowód sprzeczności Kuba: Czy w rezolucyjnym dowodzie sprzeczności mogę odnieść się kilkukrotnie do tej samej formuły?