Sprawdź się
Pokaż ćwiczenia:
Ćwiczenie 1
Schemat rozumowania o zapisie formalnym [(p ∨ q) ∧ ~ p] → q to:
- sylogizm hipoteczny.
- modus tollendo ponens.
- dylemat konstrukcyjny prosty.
- dylemat konstrukcyjny złożony.
Ćwiczenie 2
Wskaż poprawne zakończenie zdania.
Schemat rozumowania o zapisie formalnym [(p →q) ∧ (q →r) ∧ (p ∨ q)] → r to sylogizm hipoteczny/modus tollendo ponens/dylemat konstrukcyjny prosty/dylemat konstrukcyjny złożony.
Ćwiczenie 3
Zapisz poniższe rozumowanie w postaci formalnej.
Ćwiczenie 4
Zapisz poniższe rozumowanie w postaci formalnej.
Ćwiczenie 5
Ćwiczenie 6
Zaznacz twierdzenia opisujące własności sylogizmu hipotecznego.
- Jest to rozumowanie składające się z co najmniej dwóch przesłanek i wniosku, które można zapisać następująco: [(p →q) ∧ (q →r)]→(p →r)
- Sylogizm hipoteczny nie pozwala na tworzenie łańcuchów rozumowań.
- Rozumowanie jest hipotetyczne, jeśli część jego stwierdzeń można przyjąć czysto hipotetycznie, bez ich sprawdzania.
- Sylogizm hipoteczny nie pozwala na przechodniość implikacji.
Ćwiczenie 7
Podaj własny przykład rozumowania o następującym zapisie formalnym:
{[(p ∧ q)→r] ∧ ~p} → ~ r]
Ćwiczenie 8
Zbadaj schemat przedstawiony w ćwiczeniu siódmym. Zastanów się, czy to jest jeden ze schematów zawsze poprawnych. Swoją odpowiedź uzasadnij.