Kurs logiki, KRZ, odc. 12: Poprawność wnioskowań. Nieformalne wprowadzenie

[@Robert-rp8km]

Panie Krzysztofie jest Pan WSPANIALY. Nauka z Panem to prawdziwa przyjemnosc. Przyklady tak banalne a jednoczesnie tak trafne!

[@logikanacodzien]

Dziękuję! I cieszę się, że się podoba.

[@maciejpogorzelski8601]

Panie Krzysztofie jak będzie wyglądać kontrapozycja - obwersja+konwersja+obwersja dla zdania: Nikt z niezaszczepionych nie otrzyma wizy?

[@logikanacodzien]

Ja bym to zrobił tak. Zdanie "Nikt z niezaszczepionych nie otrzyma wizy" ma postać SeP, gdzie: S - osoba niezaszczepiona, P - osoba, która otrzyma wizę. Kontrapozycja SeP to P'oS'. Po podstawieniu nazw za S, P mamy: "Niektóre osoby, które nie otrzymają wizy nie będą zaszczepione".

[@martag.1491]

Witam, czy mógłby Pan wytłumaczyć taki Schemat rozumowania o postaci: Każde A jest B. Każde B jest C. Każde A jest C. Jest Pan jedyną osobą, która tłumaczy logikę w sposób zrozumiały dla laików. Będę wdzięczna za pomoc. Ja niestety poległam na przykładach.

[@logikanacodzien]

Dzień dobry, takie wnioskowanie to tzw. sylogizm. Do jego analizy rachunek zdań (KRZ), niestety, nie nadaje się. Takie rozumowania bada się na gruncie sylogistyki (czyli rachunku nazw). Nie jestem w stanie wytłumaczyć tego w kilku zdaniach - potrzeba do tego dłuższego kursu. Link do takiego wideo-kursu tutaj jest (filmik „zaproszenie na kurs sylogistyki”). Mogę też polecić odpowiedni rozdział z mojej „Logiki dla opornych” (link do pdf z książką też jest przy filmiku reklamującym tę książkę). Tutaj mogę co najwyżej napisać, że to przytoczone wnioskowanie („Każde A jest B. Każde B jest C. Zatem każde A jest C.”) jest poprawne.