Roman Mazur: Logika u podstaw...



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



LOGIKA - ĆWICZENIA Z LOGIKI [ WYNIKANIE LOGICZNE ZDAŃ ] => PROCES SPRAWDZANIA WYNIKANIA LOGICZNEGO ZDAŃ


7. 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.




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.LUP7

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/LUP7
(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 ]