Logika - rezolucja Kuba: Podaj rezolucyjny dowód sprzeczności dla zbioru klauzul { ~p ∨ q, ~p ∨ ~r ∨ s, ~q ∨ r, p, ~s }. W jaki sposób mam zacząć? Jak dobrać przesłanki? To dla mnie nowość i, pomimo spędzenia na czytaniu o tym ostatniej godziny, nadal potrzebuję kogoś, kto poprowadzi mnie za rękę...