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.

---