Sprawdzanie: Różnice pomiędzy wersjami

 

''Sprawdzanie'' – definiując za [[Kazimierz Ajdukiewicz|Ajdukiewiczem]] pojęcie – ''jakiegoś zdania, np. zdania „a jest b” polega na rozwiązaniu zadania, które znajduje swe słowne sformułowanie w tzw. [[pytanie|pytaniu rozstrzygnięcia]] „czy a jest b?”''. Rozwiązaniem jest udzielenie jednej z dwóch właściwych odpowiedzi: „a jest b” albo „a nie jest b” na podstawie stwierdzenia prawdziwości lub fałszywości pewnych następstw wyprowadzonych ze zdania „a jest b”. W związku z powyższym procedura sprawdzania nie wyznacza jednoznacznie postaci konkluzji, [[wyprowadzenie]] której zakończy proces sprawdzania.