Egzamin z logiki 11 (B) bmp

2 lutego 2010

Egzamin pisemny z przedmiotu „Logiczne podstawy prawoznawstwa” Wydział Prawa i Administracji UŁ Kierunek: Prawo stacjonarne

Grupa B

Zadanie 1. Wiem, że prawdziwe jest zdanie „Adam jest smutny”.

Na tej podstawie uznaję prawdziwość zdania „Adam zgubił sporą sumę pieniędzy”.

a)    Co to jest rozumowanie?

b)    Jakie rozumowanie nazywamy zawodnym, a jakie niezawodnym?

c)    Jakie zdanie w przykładzie jest racją a jakie następstwem? Uzasadnij swój wybór. Poza wskazaniem racji i następstwa napisz pełną postać implikacji.

d)    Podaj charakter związku łączącego tę rację z następstwem.

e)    Jakim rodzajem rozumowania jest to, podane w przykładzie? Podaj jego definicję.

f)    Czy jest to rozumowanie zawodne, czy niezawodne? Jeśli jest zawodne, to podaj przykład to uzasadniający.

Zadanie 2. Dane jest następujące rozumowanie:

„Żaden niewinny nie jest uwięziony” i „Niektórzy niewinni są skazani”, więc „Niektórzy skazani nie są uwięzionymi’.

a)    Rozumowanie to zapisz symbolicznie w języku rachunku nazw Arystotelesa.

b)    Stosując diagramy Venna sprawdź, czy rozumowanie to jest zawodne, czy niezawodne. Narysowany przez siebie graf oraz podane rozwiązanie objaśnij krótkim komentarzem.

c)    Kiedy rozumowanie jest poprawne formalnie a kiedy materialnie?

d)    Oceń poprawność formalną i materialną tego rozumowania.

Zadanie 3.

a)    Jaką definicję nazywamy klasyczną?

b)    Kiedy definicja klasyczna ma postać naturalną kiedy finalną a kiedy genetyczną?

c)    Podaj trzy przykłady (niekoniecznie trafne słownikowo) definicji klasycznej w postaci:

-    naturalnej

-    finalnej

-    genetycznej.