Logika (pierwszy rok studiów) Jagoda: Potrzebuję pomocy! Jeśli przestałeś bić swojego ojca, to go przedtem biłeś. Jesli nie przestałeś bić swojego ojca, to go nadal bijesz. Przestałeś lub nie przestałeś bić swojego ojca. A więc biłeś go przedtem lub go nadal bijesz. p − przestałeś bić ojca q − biłeś go wcześniej r − nadal go bijesz Wyszło mi coś takiego: p → q ~p → r p ~r ______ q r Teraz pytanie: czy zapis [(p → q) (~p → r) (p ~r)] → q r jest poprawny i jak go rozwiązać?

Jagoda: Ups, strona nie wyświetla jednego znaku, więc wstawiam poprawione: p → q ~p → r p (koniugacja) ~r ______ q (koniugacja) r Teraz pytanie: czy zapis [(p → q) koniugacja (~p → r) koniugacja (p ~r)] → q koniugacja r

Jagoda: pomocy, nie zdam kolokwium....