Wielu ludzi ceni sobie matematykę i logiczne łamigłówki za ich niezawodną rozstrzygalność. Przedstawione w nich działania, o ile są poprawnie skonstruowane, są zawsze rozstrzygalne w kategoriach zero‑jedynkowych. Albo wniosek jest poprawny, albo niepoprawny. Nie ma trzeciego rozwiązania. W logice rozumianej jako podstawa rzeczowej argumentacji dopatrywano się analogicznych walorów. Dzięki niej mielibyśmy zyskać moc rozstrzygania każdej kwestii w kategoriach prawdy lub fałszu. Sprawa jest oczywiście znacznie bardziej złożona, gdyż ani język naturalny, ani złożoność życia nie zawsze dają się zamknąć w czysto logicznych kategoriach. W wielu jednak sytuacjach, spełniwszy odpowiednie warunki, możemy oczekiwać od logiki definitywnych, zero‑jedynkowych rozstrzygnięć. W dzisiejszej lekcji omówiona zostanie istota tej rozstrzygalności oraz specyfika warunków, które ją gwarantują.
Zrozumiesz istotę wnioskowania niezawodnego.
Poznasz warunki wstępne, jakie trzeba spełnić, żeby takie wnioskowanie przeprowadzić.
Poćwiczysz wyróżnianie i stosowanie odmiany wynikania logicznego, jaką jest wynikanie definicyjne.
Poćwiczysz odróżnianie wnioskowań niezawodnych od poznanych już uzasadnień bezpośrednich.