Kurs logiki, KRZ, odc. 13: Reguły inferencyjne

[@andzia98x]

Mam na studiach logikę... początkowo się przeraziłam, ponieważ prowadzący niestety nie ma talentu do wyjaśnienia. Jednak dzięki Panu "zakolegowałam się" z tą logiką. Tak mnie wkręciła, że mniej "boję się" wchodzenia w świat logiki "językowej". Takich ludzi powinno być więcej :)

[@logikanacodzien]

Dziękuję za miłe słowa! Zawsze powtarzam, że taki odzew to jest najlepsze, co może spotkać każdego, kto coś tworzy :-)

[@oktawianaugust8977]

O co może chodzić w tym zadaniu i jak je rozwiązać? Rodzial VII Kodeks reguł wnioskowania dla rachunku zdań i dowody Rozwiąż następujące zadania: A. 1)p→~q 2)p v r 3)~r (P) q? Z góry dziękuję za odpowiedź:)

[@logikanacodzien]

Trudno mi odpowiedzieć, bo brakuje tu polecenia co trzeba zrobić z tymi formułami. Mogę się domyślać, że to jest reguła i trzeba sprawdzić, czy jest ona dedukcyjna. Jeśli tak, to można łatwo sprawdzić metodą 0-1, że jest. Ale nie mogę zagwarantować, że na pewno o to w tym chodzi.

[@uralphd9377]

A jak byłoby z metodą indukcyjną?

[@mateusz.pakajigsaw5695]

Czy da sie logicznie rozwiązać słynną zawiłość:czy Nie wierze w istnienie Boga=Wierze w nie istnienie Boga?

[@nechrist]

Wychodzi, że schemat takiego zdania jest zawodny. Ale ja nie umiem liczyć :>

[@arek6296]

Zostałem łatwo zbaitowany tym pytaniem i odpowiadam: tak. Jak wierzysz to zakładasz coś, jak nie wierzysz, zakładasz w drugą stronę, fundamentalnie nie zmienia się jedna rzecz - w dalszym ciągu nie wiesz xD