Professional Documents
Culture Documents
Logika
Logika
Naszym podręcznikiem jest książka „Logika dla prawników” Andrzeja Malinowskiego. Warto mieć książkę „Logika
Znaczenie kwantyfikatorów:
Wartość aksjomatów:
Logika ma na celu sprawdzenie czy tekst jest napisany jasno i przejrzyście. Jest to sposób konstruowania myśli,
Całość wyrażenia jest formułą, która składa się ze zdań. Sprawdzamy prawdziwość formuły metodą 0-1.
0 - fałsz
1 - prawda
Prawa de Morgana
1. Pierwsze prawo
Zaprzeczenie koniunkcji dwóch zdań logicznych jest równoważne alternatywie zaprzeczeń tych zdań.
Inaczej „nieprawda, że p i q ma taką samą wartość logiczną co: nieprawda, że p lub nieprawda, że q”
2. Drugie prawo
Zaprzeczenie alternatywy dwóch zdań logicznych jest równoważne koniunkcji zaprzeczeń tych zdań.
Inaczej „nieprawda, że p lub q ma taką samą wartość logiczną co: nieprawda, że p i nieprawda, że q”
Tautologia a kontrtautologia
Przykład II
1. Jeśli JEST PÓŹNO (p), to DZIECI ŚPIĄ (q) oraz nieprawdą jest, że SŁOŃCE ŚWIECI (r). DZIECI ŚPIĄ (q) zawsze i tylko
wtedy, gdy SŁOŃCE NIE ŚWIECI (~r). Zatem jeśli DZIECI NIE ŚPIĄ (~q), to NIE JEST PÓŹNO (~p) lub SŁOŃCE ŚWIECI
(r).
2. ANIA JEST SZCZĘŚLIWA (p) wtedy i tylko wtedy, gdy ZDA EGZAMIN (q) lub SPOTKA SIĘ Z TOMKIEM (r). Jeśli NIE
ZDA EGZAMINU (~p), to SPOTKA SIĘ Z TOMKIEM (r), zatem ANIA JEST SZCZĘŚLIWA (p).
3. Jeśli PADAŁO (p), to JEST MOKRO (q) i w lesie SĄ GRZYBY (r). Zawsze i tylko, jeśli w lesie GRZYBÓW NIE MA (~r),
to NIE JEST MOKRO (~q) lub NIE PADAŁO (~p). Zatem jeśli JEST MOKRO (q), to PADAŁO (p).
TEMAT: ZBIORY
WYKŁAD NUMER II
Kategorie synkretyczne
3. punktory - znaki, które pozwalają nam tworzyć nazwy oraz zdania; używane do przeprowadzania rozkładu zdania
Nazwy
a) kiedyś:
onomatoidy (nazwy pozorne) - odnoszą się do tego co nie jest ani człowiekiem, ani rzeczą np. jasność, ciemność,
sprawiedliwość
b) teraz:
Jest to zbiór wszystkich nazw w obrębie danego podmiotu. Zbiór wszystkich desygnatów danej nazwy, nazywamy
- generalne - nazwy ogólne: wskazują na desygnat pośrednio, ponieważ kojarzą się z jego cechami
Podział zdań
b) zdania analityczne - zdania, w których oceniamy prawdziwość wnioskując z własnego doświadczenia i wiedzy
c) zdania syntetyczne - zdania, w których oceniamy prawdziwość na podstawie wnioskowania lub poszukiwania
informacji
d) zdania egzystencjalne - zdania, które nie wydarzyły się, ponieważ nie jest to realnie możliwe
3. suppositio materialis - nie odnosi się ona do podmiotu, lecz do siebie samej
Stosunek zamiennosci (takie same zbiory) - zakresy pokrywają się, kilka nazw określających to samo
Wyjątki
1. części składowe
2. części desygnatu
Zadanie 1