LOGIKA - skrocona metoda zero jedynkowa

IP: *.acn.waw.pl 24.04.08, 21:33
Niech mi to ktos wyjasni jak to sie robi bardzo prosze. Poda przyklad
najlepiej,bede wdzieczna.
    • Gość: belial Re: LOGIKA - skrocona metoda zero jedynkowa IP: *.neoplus.adsl.tpnet.pl 25.04.08, 07:59
      a podręcznik ewentualnie google to od czego masz?
      • lemonnka Re: LOGIKA - skrocona metoda zero jedynkowa 25.04.08, 19:07
        jakas Ty madra;/ nie mam podrecznika, a jak znajdziesz cos madrego na googlach
        to mozesz wrzucic link a nie mi tu nie na temat pisac;/
        • Gość: lol Re: LOGIKA - skrocona metoda zero jedynkowa IP: *.ksi-system.net 25.04.08, 19:25
          nie na temat? ależ jak najbardziej na temat. może on leniom nie chce pomagać? czemu ktoś ma za ciebie szukać?
        • Gość: * Re: LOGIKA - skrocona metoda zero jedynkowa IP: 213.134.181.* 26.04.08, 17:19
          dżizass...pierwsza biblioteka zawierająca książki do algebry/analizy

          boli?
    • Gość: studentUG Re: LOGIKA - skrocona metoda zero jedynkowa IP: *.mlyniec.gda.pl 26.04.08, 16:52
      Skrocona zerojedynkowa stosujesz dla sprawdzenia tautologicznosci formul, w
      ktorych glownym funtorem jest implikacja. Polega na sprawdzeniu jedynej
      mozliwosci falszywosci implikacji, czyli czy mozliwe jest, ze przy jednoczesnej
      prawdziwosci poprzednika, nastepnik moze byc falszywy. Jesli to jest mozliwe nie
      jest tautologia.

      Taka np. formula. (p v q) -> (p -> q)
      nastepnik falszywy jest tylko dla p=1 i q=0. Wpisujesz wiec pod p 1, q 0, a pod
      znaczek implikacji, 0 - potem przepisujesz te wartosci pod poprzednik glownej
      implikacji i z niego "obliczasz" wartosc tej alternatywy. Przy tych wartosciach
      poprzednik jest prawdziwy, wiec cala formula moze przybrac wartosc falszu, nie
      jest wiec tautologia. Regula jest taka, ze zakladamy to, co ma tylko jedna
      mozliwosc falszywosci/prawdziwosci (np. prawdziwosc koniunkcji, ktora prawdziwa
      jest tylko, gdy p i q sa prawdziwe, falszywosc implikacji) i przepisujemy
      wartosci do drugiej czesci. Kolejnosc nie jest wazna. Mozna np. wyjsc od
      prawdziwosci poprzednika i wykazac, ze nastepnik przy tych zalozeniach musi byc
      tez prawdziwy, co wyklucza jedyna mozliwosc falszywosci i potwierdza
      tautologicznosc formuly. To tak w skrocie, po szczegoly odsylam do ksiazek -
      "Wprowadzenie do logiki dla prawników" dra Oktawiana Nawrota i "Logiki
      praktycznej" Ziembińskiego.
Inne wątki na temat:
Pełna wersja