WYNIKANIE LOGICZNE ZDAN - zachodzi pomiedzy Z2 i Z1 , jezeli zdanie o schemacie : “Z1   Z2” jest prawda logiczna. Mowimy wowczas, ze Z2 WYNIKA LOGICZNIE z Z1. Od razu przykladzik rozjasniajacy umysl w kwestii wynikania logicznego zdan :  - “Male” zdanie Z2 : “Polacy sa Europejczykami.” ,  - wynika logicznie z “wiekszego” zdania Z1 : “Jezeli Polska znajduje sie w Europie, to Polacy sa Europejczykami, a Polska znajduje sie w Europie.”, - poniewaz po polaczeniu ich implikacja i utworzeniu “wielkiego” zdania : “JESLI jezeli Polska znajduje sie w Europie, to Polacy sa Europejczykami, a Polska znajduje sie w Europie, TO Polacy sa Europejczykami.”, - przekonujemy sie o tym, konstruujac schemat “wielkiego” zdania i dowodzac jego tautologicznosc:  Z1 : (p   q)   p  Z2 : q  Schemat “wielkiego” zdania o postaci “Z1   Z2” : [(p   q)   p]   q

1. (p   q)   p	zal.
2. ~ q	z.d.n.
3. p   q	OK : 1
4. p	OK : 1
5. ~ p	MT : 2,3

Odp.Ten schemat jest tautologia (sprzecznosc: 4,5), wiec zdanie Z2 WYNIKA LOGICZNIE z Z1 . CWICZENIE 14 Niech nam teraz wolno bedzie wydac wyrok o domniemanym wynikaniu logicznym ponizszych zestawow zdaniowych, ze sie tak wyraze : a) Z1 : “Adam wpil swa szczeke w jablko i zrobila to tez Ewa.”  Z2 : “Adam wpil swa szczeke w jablko.” Z1  Z2: “Jezeli Adam wpil swa szczeke w jablko i zrobila to tez Ewa, to Adam wpil swa szczeke w jablko.” (p   q)   p

1. p   q	zal.
2. ~ p	z.d.n.
3. p	OK : 1
4. q	OK : 1

Odp. Schemat to tautologia (sprzeczn. : 2,3), wiec miedzy zdaniami zachodzi wynikanie logiczne. _____ b) Z1 : “Jezeli Adam wpil swa szczeke w jablko, to nie zrobila tego Ewa.”  Z2 : “Ewa wpila swa szczeke w jablko lub Adam tego nie zrobil.” Z1   Z2 : “Jezeli jesli Adam wpil swa szczeke w jablko, to nie zrobila tego Ewa, to Ewa wpila swa szczeke w jablko lub Adam tego nie zrobil.” (p   ~ q)   (q V ~ p)

1. p   ~ q	zal.
2. ~ (q V ~ p)	z.d.n.
3. ~ q   ~ ~ p	NA : 2
4. ~ q	OK : 3
5. ~ ~ p	OK : 3
6. p	ON : 5
7. ~ q	RO : 1,6

Odp. Schemat nie jest tautologia (0 sprzecznosci), zatem zdanie Z2 nie wynika logicznie ze zdania Z1.

---