Sprawdź się
Pokaż ćwiczenia:
Ćwiczenie 1
Ćwiczenie 2
Ćwiczenie 3
Zapisz poniższe rozumowanie w postaci formalnej.
Ćwiczenie 4
Zapisz poniższe rozumowanie w postaci formalnej.
Ćwiczenie 5
Ćwiczenie 6
Ć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.