Roman Mazur: Logika u podstaw...



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



LOGIKA - ĆWICZENIA Z LOGIKI [ RÓWNOWAŻNOŚĆ LOGICZNA ] => PROCES SPRAWDZANIA RÓWNOWAŻNOŚCI LOGICZNEJ ZDAŃ



8. ROWNOWAZNOSC LOGICZNA ZDAN - zachodzi pomiedzy Z1 i Z2 , jezeli zdanie Z1 wynika logicznie ze zdania Z2 i jednoczesnie Z2 wynika logicznie ze zdania Z1 , a zdanie o schemacie : Z1 Z2 , jest prawda logiczna. Mowimy wowczas, ze Z1 jest logicznie rownowazne Z2.


Nic nie poprowadzi nas lepiej ku zrozumieniu tegoz problemu, nizli jego niewielka analiza :


- Dostajemy do rak np. taki tekst :

“Nieprawda, ze jezeli Tales przewidzial w 585 p.n.e. zacmienie Slonca, to niektorzy Filozofowie uwazali, ze Ziemia jest plaska. Tales przewidzial w 585 p.n.e. zacmienie Slonca, a niektorzy Filozofowie nie uwazali, ze Ziemia jest plaska.”

- odkrywamy sobie jakie zdania go tworza :

p : "Tales przewidzial w 585 p.n.e. zacmienie Slonca."
q : "Niektorzy Filozofowie uwazali, ze Ziemia jest plaska."

- budujemy schematy zaznaczonych zdan :

Z1 : ~ ( p q )
Z2 : p ~ q

- tworzymy zdanie o postaci “Z1 Z2” :

“Nieprawda, ze jezeli Tales przewidzial w 585 p.n.e. zacmienie Slonca, to niektorzy Filozofowie uwazali, ze Ziemia jest plaska WTEDY I TYLKO WTEDY, GDY Tales przewidzial w 585 p.n.e. zacmienie Slonca, a niektorzy Filozofowie nie uwazali, ze Ziemia jest plaska.”

- zapisujemy schemat “wielkiego” zadnia “Z1 Z2” :

[~ ( p q )] ( p ~ q )

- dowodzimy tautologicznosci tego schematu (najprosciej zerojedynkowo) :
      [~ (p q)] (p ~ q)
p

 q

                    
1 1   0 1 1 1 1 1 0 0 1
1 0   1 1 0 0 1 1 1 1 0
0 1   0 0 1 1 1 0 0 0 1
0 0   0 0 1 0 1 0 0 1 0

- dajemy odpowiedz, iz pomiedzy zdaniami Z1 i Z2 zachodzi rownowaznosc logiczna
(nasz schemat jest tautologia jako ze przekonalismy sie o tym sami - w procesie sprawdzania
wyszly Nam same jedynki).


CWICZENIE 15

Nadszedl wiec czas, abysmy tym oto cwiczeniem pozyskali dla siebie stosowne kwalifikacje w polu sprawdzania rownowaznosci logicznej zdan:


a) “Tales przewidzial w 585 p.n.e. zacmienie Slonca i niektorzy Filozofowie uwazali, ze Ziemia jest plaska. Nieprawda, ze Tales nie przewidzial w 585 p.n.e. zacmienia Slonca lub niektorzy Filozofowie nie uwazali, ze Ziemia jest plaska.”

Z1 : p q
Z2 : ~ (~ p V ~ q)
Z1 Z2 :
      (p q) [~ (~ p V ~ q)]
p q                      
1 1   1 1 1 1 1 0 1 0 0 1
1 0   1 0 0 1 0 0 1 1 1 0
0 1   0 0 1 1 0 1 0 1 0 1
0 0   0 0 0 1 0 1 0 1 1 0

Odp. Pomiedzy powyzszymi zdaniami zachodzi rownowaznosc logiczna.




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

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