Gość: lemonnka 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. Odpowiedz Link Zgłoś czytaj wygodnie posty
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? Odpowiedz Link Zgłoś
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;/ Odpowiedz Link Zgłoś
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ć? Odpowiedz Link Zgłoś
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? Odpowiedz Link Zgłoś
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. Odpowiedz Link Zgłoś