Natychmiastowe wnioskowanie

Bezpośrednie wnioskowanie to wnioskowanie , które można wyciągnąć tylko z jednego stwierdzenia lub twierdzenia . Na przykład ze stwierdzenia „Wszystkie ropuchy są zielone” można od razu wywnioskować, że „żadna ropucha nie jest zielona” lub „żadna ropucha nie jest zielona” (awers). Istnieje wiele bezpośrednich wniosków , które można skutecznie przeprowadzić za pomocą operacji logicznych, których wynikiem jest logicznie równoważny formularz oświadczenia do danego oświadczenia. Istnieją również błędne wnioski bezpośrednie, które są błędami sylogistycznymi .

Prawidłowe natychmiastowe wnioski

Rozmawiać

Biorąc pod uwagę stwierdzenie typu E , „Żadne S nie jest P. ”, można od razu wywnioskować , że „Żadne P nie jest S ”, co jest odwrotnością podanego stwierdzenia.
Biorąc pod uwagę stwierdzenie typu I , „Niektóre S są P. ”, można od razu wywnioskować , że „Niektóre P są S ”, co jest odwrotnością podanego stwierdzenia.

Awers

Biorąc pod uwagę stwierdzenie typu A , „Wszystkie S są P. ”, można od razu wywnioskować , że „Żadne S nie jest P ”, co jest odwrotnością podanego stwierdzenia.
Biorąc pod uwagę stwierdzenie typu E , „Żadne S nie jest P ”, można od razu wywnioskować , że „Wszystkie S nie są P ”, co jest przeciwieństwem danego stwierdzenia.
Biorąc pod uwagę stwierdzenie typu I , „Niektóre S są P. ”, można od razu wywnioskować , że „Niektóre S nie są nie-P ”, co jest przeciwieństwem danego stwierdzenia.
Biorąc pod uwagę stwierdzenie typu O , „Niektóre S nie są P. ”, można od razu wywnioskować , że „Niektóre S nie są P ”, co jest przeciwieństwem danego stwierdzenia.

kontrapozytywne

Biorąc pod uwagę stwierdzenie typu A , „Wszystkie S są P. ”, można od razu wywnioskować , że „Wszystkie nie-P są nie-S ”, co jest przeciwieństwem danego stwierdzenia.
Biorąc pod uwagę stwierdzenie typu O , „Niektóre S nie są P. ”, można od razu wywnioskować , że „Niektóre nie-P nie są nie-S ”, co jest przeciwieństwem danego stwierdzenia.

Nieprawidłowe bezpośrednie wnioski

Przypadki nieprawidłowego zastosowania relacji przeciwnych, podprzeciwnych i podprzemiennych (te zachodzą w tradycyjnym kwadracie opozycji, a nie w nowoczesnym kwadracie opozycji) to błędy sylogistyczne zwane odpowiednio nielegalnym przeciwieństwem , nielegalnym podprzeciwieństwem i nielegalnym podporządkowaniem . Przypadki nieprawidłowego zastosowania sprzecznej relacji (ta relacja obowiązuje zarówno w tradycyjnych, jak i nowoczesnych kwadratach opozycji) są tak rzadkie, że zwykle nie rozpoznaje się błędu „niedozwolonej sprzeczności”. Poniżej przedstawiono przykłady takich przypadków.

Nielegalne sprzeczne

Fałszywe jest, że wszystkie A są B , więc żadne A nie jest B.
Nieprawdą jest, że żadne A nie jest B , więc wszystkie A są B.

Niedozwolone kontrargumenty

Niektóre A są B , dlatego nie jest prawdą , że niektóre A nie są B .
Niektóre A nie są B , więc niektóre A są B .

Nielegalna subalternacja i nielegalna superalternacja

Niektóre A nie są B , więc żadne A nie jest B .
Fałszywe jest, że wszystkie A są B , dlatego też fałszywe jest, że niektóre A są B.

Zobacz też