Logika 21-12-2010

Relacja między zakresami nazw:

A=B

A

A B V

A B

A nie A

1. Każdy desygnat nazwy A jest jednocześnie desygnatem nazwy B i na odwrót. Makaron i kluski

2. Relacja nadrzędności/ podrzędności: wszystkie desygnaty B są jednocześnie desygnatami nazwy A, ale są takie desygnaty A, które nie są desygnatami nazwy B, np. jabłka- B, owoce- A; każde jabłko jest owocem ,ale nie każdy owoc jest jabłkiem

3. Relacja krzyżowania zakresów: są takie desygnaty nazwy A, które są desygnatami nazwy B, ale są takie desygnaty nazwy A, które nie są desygnatami nazwy B… lepiej od razu przykład: są tacy wykładowcy, którzy są rowerzystami, ale są tacy, którzy nie są rowerzystami, ale są też tacy rowerzyści, którzy nie są wykładowcami.

4. Relacja wykluczania: nazwy A i B nie mają wspólnych desygnatów. Kotek i młotek, nie mają wspólnych desygnatów.

5. Relacja dopełniania: V zbiór wszystkich przedmiotów istniejących, zbiór desygnatów nazwy A, zbiór nazwy nie A

KWADRAT LOGICZNY:

Kwadrat wymyślili w średniowieczu, aby było łatwiej pewne rzeczy zapamiętać.

SaP: Wszystkie psy są ssakami.

SeP: Wszystkie żółwie nie są ssakami- żaden żółw nie jest ssakiem.

SiP: Niektóre grzyby są jadalne.- Niektóre koty są gadami- fałszywe

SoP: Niektóre grzyby nie są jadalne.- niektóre psy nie są ssakami.

Najmocniejsza relacja, która łączy idzie po przekątnych. Relacja sprzeczności: jedno zdanie jest prawdziwe, drugie fałszywe lub na odwrót. Zdanie SaP: Wszyscy politycy są złodziejami i SoP niektórzy politycy są złodziejami jedno musi być prawdziwe a drugie nie. Znaczenie ma tylko to jaką wartość logiczną ma zdanie wyjściowe.

Zdanie ogólne- na górze- łączy relacja przeciwieństwa, nie mogą być na raz prawdziwe. Ale mogą być na raz fałszywe.

Zdania SiP i SoP: podprzeciwieństwa: nie mogą być na raz fałszywe, ale mogą być na raz prawdziwe. Niektóre koty są czarne. Niektóre koty nie są czarne. SoP: Niektóre psy nie są ssakami- fałsz. Zdanie Niektóre psy są ssakami(o pewnej części zbioru psów, dlatego jest prawdziwe).

Relacja podporządkowania: szczegółowo twierdzące jest podporządkowane ogólno twierdzącemu jeśli SeP prawdziwe SoP też jest prawdziwe. Prawda zawsze idzie z góry na dół, a fałsz z dołu ku górze

SaP: wszystkie koty są czarne- fałsz; SiP może być prawdziwe: Niektóre koty są czarne.

Jeżeli SaP jest prawdziwe, to SoP jest fałszywe, SeP fałszywe(z dołu ku górze), SiP prawdziwe.

Zadanie domowe: W wolnej chwili muszą państwo narysować kwadraty. 8. Zbadajcie, co się dzieje, kiedy zdaniem wyjściowym jest… na egzamin

C.d. poprzedniego wykładu