rafal3006 napisał(a):hehe ... tu masz przykład algebry Boole'a praktyków:
http://matematyka.pl/post637438.htm#p637438
Czyli ... czysty, jasny i klarowny zapis z wszystkimi tego konsekwencjami (cyat z hehe)
Słyszałeś coś o logice ujemnej i dodatniej w algebrze Boole'a ?
Czytałem o algebrze Bool'a, kiedy się uczyłem hobby;stycznie pisać w asemblerze programy. Nawet przy okazji nauczyłem się upraszczać funkcje logiczne i przekształcać je w schematy bramek, ale no było to trochę czasu temu. Nie zajmuję się tym na okrągło, a szkoda, bo to ciekawe. Jednak coś tam pamiętam i w razie czego wiem gdzie mogę zajrzeć i coś doczytać. Nie stanowi to dla mnie problemu ogólnie. Tak więc coś tam pamiętam o czy Ty piszesz.
Natomiast sama algebra Bool'a to oczywiście czysty i jasny opis. Tyle tylko, że stoi oczywiście za nią teoria matematyczna i również Ty się możesz zgodzić, że operatory AND i OR, czy te implikacje =>, to funkcje pracujące na operandach(zwykle oznaczanych jako p i q). Natomiast Ty używając logiki ludzkiej oceniasz sens i prawdziwość wyrażeń będących zdaniami człowieka i z tym się chyba też zgodzisz. Dlatego pisałem jasno, że Twoje => to nie zupełnie jest funkcja w takim rozumieniu jak wyżej, gdyż oceniasz całe zdanie a nie tylko operandy. Dlatego nałożyłeś ograniczenia na zdanie i powiązania p i q i czy to jest zgodne i zapis matematyczny "produkuje" to samo co zdania języka ludzkiego trzeba dopiero dowieść, a Ty to założyłeś. W Twoim zapisie "=>" jest synonimem słowa "musi", gdyż prawda i fałsz odnosi się do zdania.