Roman Mazur: Logika u podstaw...



Logika u podstaw...
----  Księga Gości  ----
   Wpisz  się...  |  Przeglądaj...



LOGIKA - ĆWICZENIA Z LOGIKI [ SPRZECZNY ZBIÓR ZDAŃ ] => PROCES SPRAWDZANIA SPRZECZNOŚCI ZBIORU ZDAŃ


11. SPRZECZNY ZBIOR ZDAN - jest to taki zbior zdan - przeslanek, ktorego koniunkcja jest falszem logicznym ( sprzecznosc takiego zbioru zdan ujawnia sie, postepujac analogicznie do "od dawien dawna" znanego nam juz dowodu “niewprost” ).

Oczywiscie nie ruszymy dalej bez konkretnego przykladu, ktory to ujawni sposob naszego postepowania w razie natkniecia sie na jednym z wielu szlakow zyciowych, jakie jeszcze przed nami, z tym, potencjalnie niebezpiecznym tworem, jakim jest proces sprawdzania sprzecznosci zbioru zdan. Zalozmy wiec, ze historia obdarowala nas takim oto zbiorem przeslanek:

“Na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow i nie moze tego zrobic nieskonczona ilosc upadlych Aniolow. Na lepku szpilki nie moze zmiescic sie nieskonczona ilosc upadlych Aniolow lub nie moze tego zrobic Czlowiek. Na lepek szpilki mozna teleportowac nanomikroba i na lepku szpilki nie zmiesci sie Czlowiek. Nieprawda, ze na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow lub nie mozna teleportowac tam nanomikroba.”

- oznaczamy sobie zdania skladowe poszczegolnych przeslanek i budujemy dla kazdej schemacik, zyskujac w ten sposob pokazny zestaw takowych:

Na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow i nie moze tego zrobic nieskonczona ilosc upadlych Aniolow.

1. ~ p ~ q

Na lepku szpilki nie moze zmiescic sie nieskonczona ilosc upadlych Aniolow lub nie moze tego zrobic Czlowiek.

2. ~ q V ~ r

Na lepek szpilki mozna teleportowac nanomikroba i na lepku szpilki nie moze zmiescic sie Czlowiek.

3. s ~ r

Nieprawda, ze na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow lub nie mozna teleportowac tam nanomikroba.

4. ~ (~ p V ~ s)

- teraz rozprawimy sie ze swoim nowym nabytkiem, przeksztalcajac go za pomoca znanych regul:
5. ~ p OK : 1
6. ~ q OK : 1
7. s OK : 3
8. ~ r OK : 3
9. ~ ~ p ~ ~ s NA : 4
10. ~ ~ p OK : 9
11. ~ ~ s OK : 9
12. p ON : 10

- naszym oczom ukazala sie sprzecznosc, zachodzaca pomiedzy wyrazeniami z wierszy : 5,12 , co sklania w tym miejscu kazdego logika do stwierdzenia, iz badany przezen uklad zdan jest sprzeczny.


CWICZENIE 18


Czeka nas teraz rozwazenie kilku ukladow przeslanek pod wzgledem ich przydatnosci do wzbogacenia populacji sprzecznych zbiorow zdan :


a) “Jesli na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow, to moze to zrobic nieskonczona ilosc upadlych Aniolow. Na lepku szpilki nie moze zmiescic sie nieskonczona ilosc upadlych Aniolow lub nie moze tego zrobic Czlowiek. Na lepek szpilki nie mozna teleportowac nanomikroba i na lepku szpilki moze zmiescic sie Czlowiek. Nieprawda, ze jezeli na lepku szpilki nie moze zmiescic sie nieskonczona ilosc prawych Aniolow, to mozna teleportowac tam nanomikroba.”

1. ~ p q
2. ~ q V ~ r
3. ~ s r
4. ~ (~ p s)
5. ~ s OK : 3
6. r OK : 3
7. ~ p ~ s NI : 4
8. ~ p OK : 7
9. ~ s OK : 7
10. ~ q OA : 2,6
11. ~ ~ p MT : 1,10
12. p ON : 11

Odp. Sprzecznosc : 8,12 - ten uklad zdan jest sprzeczny.



To wszystko, co powyżej, to około połowa materiałów n/t zagadnień poruszonych w tym rozdziale.
Aby przejść do dotyczących go ćwiczeń z pełnymi rozwiązaniami, wyślij SMS o treści:

AP.LUP11

na numer 71068 (koszt wysłania wiadomości wynosi tylko 1 PLN netto, czyli 1,22 PLN brutto).
W odpowiedzi otrzymasz SMS z ważnym (nie dłużej niż przez 24godz.)
kodem dostępowym, który wpisz w odpowiednie pole na tej stronie internetowej:

www.synektyka.pl/LUP11
(powinna otworzyć się w nowym oknie by ułatwić Ci naukę z obiema partiami materiału,
Twoja przeglądarka musi akceptować pliki cookies - na ich podstawie liczony jest czas dostępu).



Usługa SMS dostępna jest w sieciach operatorów Era, Plus GSM, Orange, Play.
Właścicielem serwisu "Logika u podstaw..." jest Roman Mazur [romazur@poczta.onet.pl]
Usługi Premium SMS dostarcza i obsługuje system "dotpay.pl" (regulamin).
Wszelkie reklamacje dot. SMSów tutaj...





Copyright (C) 1997 - 2010 by Roman Mazur





[ przykładowe wpisy ]