Roman Mazur: Logika
u
podstaw...
---- Księga Gości ----
Wpisz się... | Przeglądaj...
 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) :
- 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 :
Odp. Pomiedzy powyzszymi zdaniami zachodzi rownowaznosc logiczna. _____ b) “Jesli Tales przewidzial w 585 p.n.e. zacmienie Slonca, to niektorzy Filozofowie nie uwazali, ze Ziemia jest plaska. 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 :
Odp. Miedzy zdaniami Z1 i Z2 istnieje rownowaznosc logiczna. _____ c) “Jesli Tales nie przewidzial w 585 p.n.e. zacmienia Slonca, to niektorzy Filozofowie uwazali, ze Ziemia jest plaska. Tales przewidzial w 585 p.n.e. zacmienie Slonca lub niektorzy Filozofowie uwazali, ze Ziemia jest plaska.” Z1 : ~ p q Z2 : p V q Z1 Z2 :
Odp. Pomiedzy zdaniami Z1 i Z2 zachodzi rownowaznosc logiczna. _____ d) “Jezeli Tales przewidzial w 585 p.n.e. zacmienia Slonca i niektorzy Filozofowie uwazali, ze Ziemia jest plaska, to ludzie mogli sie jedynie domyslac, ze Ziemia jest kula. Jesli Tales przewidzial w 585 p.n.e. zacmienia Slonca, to jezeli niektorzy Filozofowie uwazali, ze Ziemia jest plaska, to ludzie mogli sie jedynie domyslac, ze Ziemia jest kula.” Z1 : (p q) r Z2 : p (q r)Z1 Z2 :
W celu przyspieszenia pracy sprawdzilismy metoda skrocona jeden newralgiczny przypadek: p = 1, q = 1 , r = 0 , w ktorym istniala mozliwosc, ze nasz schemat moglby sie NIE okazac tautologia. Skoro otrzymalismy jedynke (podkreslona), mozemy byc pewni, ze ten schemat na pewno jest tautologia: Odp. Pomiedzy tymi zdaniami jest rownowaznosc logiczna. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||
| Copyright (C) 1997 - 2014 by Roman Mazur |
[ przykładowe wpisy ]
