Wykład z logiki 3 zdania

background image

ZDANIA

KRYTERIA PRAWDY

1. Kryterium św. Tomasza z Akwinu: „prawda jest to zgodność rzeczy z rozumem”
(„veritas est adequatio rei et intellectus”).

2. Kryterium klasyczne (współczesne): za prawdziwe uznajemy te informacje, które
głoszą treści zgodne ze stanem faktycznym, który odnajdujemy w rzeczywistości.

3. Koherencyjne kryterium prawdy: prawda jest zgodnością myśli z samą sobą, a
ściślej – zgodnością z innymi myślami, wcześniej uznanymi za prawdziwe.

4. Pragmatyczna koncepcja prawdy: utożsamiała prawdziwość jakiegoś twierdzenia z
jego użytecznością.

ZDANIE I SĄD, WARTOŚĆ LOGICZNA ZDANIA

Zdaniami w sensie logicznym są tylko zdania oznajmujące.

Zdanie oznajmujące –

to wyrażenie, które jest prawdziwe bądź fałszywe. Znaczenie zdania nazywamy
sądem.

Sąd – to sposób rozumienia danego zdania.

RODZAJE ZDAŃ

Zdanie proste

jest to zdanie, w którym występują wyłącznie funktory zdaniotwórcze od

argumentów nazwowych. Szczególne znaczenie mają tzw. zdania kategoryczne. Należą do nich
takie zdania, jak: „Ziemia jest planetą”, „Słońce świeci”, „Słońce przyciąga Ziemię”, „Niektóre
ptaki nie latają”, „Każdy metal jest pierwiastkiem chemicznym”, „Żaden koziorożec nie fruwa”.
Wspólną cechą tych zdań (to jest zdań kategorycznych) jest to, że dadzą się one rozłożyć na
części, z których jedna jest funktorem zdaniotwórczym od nazw, a pozostałe części są
nazwami.

W klasycznej logice formalnej wyróżniało się pewne postacie zdań kategorycznych, które
nazywa się „

klasycznymi zdaniami kategorycznymi

”. Są to zdania, które dają się zapisać

w następujących postaciach:

1. „Każde S jest P”, 2. „Żadne S nie jest P”, 3. „Niektóre

S są P”, 4. „Niektóre S nie są P”.

WYKŁAD 3

background image

Zdanie złożone

jest to zadnie, w którym występuje funktor od

przynajmniej jednego argumentu zdaniowego. (przynajmniej jedna
negacja)

Negacja (zaprzeczenie) zdania lub : czytamy "nieprawda, że

p ".

Koniunkcja zdań : czytamy "p i q".
Alternatywa zdań : czytamy "p lub q".
Implikacja : czytamy "jeśli p, to q".
Równoważność : czytamy "p wtedy i tylko wtedy, gdy q".
Alternatywa wykluczająca zdań : czytamy "p albo q".

p

q

p

q

p

q

p

q

p

q

p

WARTOŚCI LOGICZNE ZDAŃ ZŁOŻONYCH

p

q

1

1

0

1

1

1

1

0

1

0

0

0

1

0

0

1

0

1

1

0

1

1

0

1

0

0

1

0

0

1

1

0

p

q

p

q

p

q

p

q

p

q

p

~
p

background image

Zbuduj schematy następujących zdań:

a)    Jeżeli nie przygotuję się do egzaminu, to go nie zdam.

b)    Jeżeli nie zdam egzaminu, to rodzice zabiorą mi kieszonkowe i
nie wyjadę na narty do Zakopanego.

c)    Jeżeli nie wyjadę na narty, to moja dziewczyna pojedzie w góry
z przyjaciółmi i pozna innego chłopaka albo zostanie w domu i
będzie miała do mnie pretensje z powodu zmarnowanych ferii.

d)    Jeżeli moja dziewczyna będzie suszyła mi głowę, to się z nią
rozstanę i zostanę sam.

e)    Jeżeli zostanę sam, to będzie mi smutno i będę chciał się
pocieszyć.

f)      Będę chodził codziennie do kina lub na imprezy.

g)    Jeżeli nie będę miał czasu na naukę, to nie przygotuję się do
egzaminu i moja sytuacja nie ulegnie poprawie.

h)    Zdam egzamin w pierwszym terminie wtedy i tylko wtedy, gdy
będę uczestniczył w zajęciach i rozwiązywał zadania.

i)      Rozwiążę zadania, jeżeli wysłucham wykładu lub przestudiuję
podręcznik.

j)      Jeżeli przestudiuję podręcznik, to jeśli nie zrozumiem jego
treści, to jeśli znajomi nie będą znali odpowiedzi na dręczące mnie
pytania, to postawię je na zajęciach i dam prowadzącemu szansę
wykazać się wiedzą.

background image

ZDANIA ANALITYCZNE I SYNTETYCZNE

Specjalną kategorię zdań stanowią

zdania analityczne.

O

prawdziwości tych zdań nie decyduje ich zgodność ze stanem
faktycznym, lecz ich wewnętrzna budowa i znaczenie użytych w nich
wyrażeń. Analitycznym jest np. zdanie: „kawaler jest to mężczyzna
nieżonaty”. Prawdziwość tego zdania wynika z analizy użytych w nim
wyrażeń. Na tej samej zasadzie można stwierdzić fałszywość zdania, np.
„trójkąt jest figurą sześciokątną”. Takie zdanie, jak to ostatnie, jest
wewnętrznie sprzeczne. Jego fałszywość stwierdzamy na mocy znaczenia
użytych w nim wyrażeń, w tym przypadku „trójkąt” i „figura
sześciokątna”.

Zdania analityczne nie wymagają weryfikacji w rzeczywistości

doświadczalnej. O ich prawdziwości decyduje niejako ich
struktura syntaktyczna i znaczenie występujących w nim
wyrażeń.

Wymaga takiej weryfikacji, czyli potwierdzenia, inny typ zdań, a
mianowicie tzw.

zdania syntetyczne

. Są to zdania, które wypowiadają

się o konkretnych stanach i zdarzeniach rzeczywistych. Do takich zdań
należą np. zdania następujące: „Warszawa jest stolicą Polski”, „Neapol
jest stolicą Czech”, „Franciszek Józef był cesarzem monarchii Austro-
Węgierskiej” itd. Widzimy, że prawdziwości informacji podawanych przez
zdania syntetyczne nie możemy stwierdzić w oparciu o analizę wyrażeń, z
których zbudowane są te zdania. Ze znaczenia wyrazu „Warszawa” nie
wynika, że jest to stolica Polski. By stwierdzić prawdziwość zdań
syntetycznych, trzeba odwołać się do rzeczywistości, o której one mówią.
Zdania syntetyczne wnoszą coś nowego do naszej wiedzy, tzn. podają
informacje, których nie można wysnuć z analizy znaczenia wyrażeń
występujących w tych zdaniach.

background image

FUNKCJE ZDANIOWE

Do opisu pojęć matematycznych nie starcza sam rachunek zdań. Np.
równanie 3x + 5 = 0 nie jest zdaniem logicznym, ponieważ nie można o
nim powiedzieć ani, że jest prawdziwe, ani, że jest fałszywe.

Funkcja zdaniowa

jest wyrażeniem zawierającym zmienną, które

staje się zdaniem logicznym (fałszywym lub prawdziwym), gdy na miejsce
zmiennej podstawimy nazwę odpowiedniego elementu.

Dziedziną funkcji zdaniowej

jest zbiór tych elementów,  dla których 

zdanie uzyskane z formy zdaniowej jest sensowne.

Zbiór elementów należących do dziedziny funkcji zdaniowej, dla których
zdanie staje się prawdziwe, nazywamy

zbiorem elementów

spełniających daną funkcję zdaniową:

Funkcje zdaniowe oznacza się symbolicznie:

p(x), q(x), r(x),...

Każde równanie i każda nierówność jest funkcją zdaniową, której
dziedziną jest pewien podzbiór liczb rzeczywistych.

Podobnie można określić funkcje zdaniowe dwóch zmiennych lub
większej liczby zmiennych.

)

(

:

x

p

D

x

x

A

background image

TAUTOLOGIE RACHUNKU ZDAŃ

~~p <=> p

prawo podwójnego przeczenia

p v (~p)

prawo wyłączonego środka

(p v p) <=> p

prawo idempotentności alternatywy

(p ^ p) <=> p

prawo idempotentności koniunkcji

(p ^ q) <=> (q ^ p)

prawo przemienności koniunkcji

[(p ^ q) ^ r] <=> [p ^ (q ^

r)]

prawo łączności koniunkcji

(

p v q) <=> (q v p)

prawo przemienności alternatywy

[(p v q) v r] <=> [p v (q v

r)]

prawo łączności alternatywy

(p <=> q) <=> (q <=> p)

prawo przemienności równoważności

[p ^ (q v r)] <=> [(p ^ q) v

(p ^ r)]

prawo rozdzielności koniunkcji

względem alternatywy

[p v (q ^ r)] <=> [(p v q) ^

(p v r)]

prawo rozdzielności alternatywy

względem koniunkcji

[(p => q) ^ (q => r)] => (p

=> r)

prawo przechodniości implikacji

[(p <=> q) ^ (q <=> r)]

=> (p => r)

prawo przechodniości

równoważności

background image

~(p ^ q) <=> (~p v ~q)

prawo De Morgana zaprzeczenia

koniunkcji

~(p v q) <=> (~p ^ ~q)

prawo De Morgana zaprzeczenia

alternatywy

~(p => q) <=> (p ^ ~q)

prawo zaprzeczenia implikacji

(p => q) <=> (~q => ~p)

prawo kontrapozycji

[(p => q) ^ (q = > p)] => (p

<=> q)

związek między implikacją a

równoważnością

[(p ^ q) => r] <=> [p =>(q =>

r)]

prawo ekstraportacji

(~p => p) => p

prawo Claviusa

(p =>q) <=> [(p ^ ~q) => ~p]

prawo reductio ad absurdum

[p ^ (p => q)] => q

reguła odrywania

[(p => q) ^ (r => s)] => [(p v

r)=>(q v s)]

pierwsze prawo dylematu

konstrukcyjnego

[(p => q) ^ (r => s)] => [(p ^ r)

=> (q ^ s)]

drugie prawo dylematu

konstrukcyjnego

p => (p v q)

prawo wprowadzania alternatywy

(p ^ q) => p

prawo opuszczania koniunkcji

[(p => q) ^ ~q] => ~p

prawo modus tollendo tollens

(zaprzeczenie przy pomocy

zaprzeczenia)

[(p v q) ^ ~p] => q

prawo modus ponendo tollens

(potwierdzenie przy pomocy

zaprzeczenia)

(p q) <=> (p v q) ^ ~(p ^ q)

określenie alternatywy
wykluczającej


Document Outline


Wyszukiwarka

Podobne podstrony:
wykłady z logiki
1 rok, zadania z logiki, ZDANIA:
Wykład z logiki 4 tautologie
WYKŁADY Z LOGIKI 2, kulturoznawstwo umcs, semiotyka konderak
Wykład z logiki 6 rachunek predykatów
wyklady z logiki dla roku pierwszego, RÓŻNE RÓŻNOŚCI - (różne), PRAWO wykłady
wykł, sobczak wyklady cz 1, ZDANIA DEONTYCZNE- zdania stwierdzające
Wykład z logiki 2 nazwy(1)
Kmita Jerzy Wykłady z logiki i metodologi nauk
zagadnienia na egzamin z logiki - wyklady, Informatyka, Informatyka, logika
Wykład 5 Elementy logiki i metodologii nauk
Wykład 1. Elementy logiki i teorii zbiorów
test z logiki, SWPW wykłady - pedagogika
Wykład jest najgorszą możliwą formą nauczania logiki na etapie wstępnym, pedagogika
Filozofia wyklady, FILOZOFIA, Filozofia z elementami logiki

więcej podobnych podstron