Egzamin z logiki 11 (A) bmp

2 lutego 2010

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

Grupa A

Zadanie 1. Zastanawiam się czy prawdziwe jest zdanie „Ofelia nie poszła na egzamin”. Po pewnym czasie dowiaduję się, że prawdąjest zdanie „Ofelia nie zdała egzaminu” i na tej podstawie uznaję prawdziwość zdania „Ofelia nie poszła na egzamin”.

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 skazany” i „Każdy uwięziony jest skazanf, więc „Żaden niewinny nie jest uwięziony

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)    Podaj dwa prawa negacji kwantyfikatorów.

b)    Zapisz symbolicznie zdanie:

„Pewien prokurator kiedyś oskarżył kogoś niewinnego.”

Podpisz wszystkie zastosowane symbole.

c)    Korzystając z praw negacji kwantyfikatorów podaj symboliczną postać zdania twierdzącego, które jest równoważne zaprzeczeniu podanego w punkcie b zdania.

d)    Otrzymane zdanie zapisz w języku naturalnym.