Formalne rozumowanie (formal reasoning) to proces wyciągania wniosków oparty na rygorystycznych zasadach logiki i matematyki, które pozwalają na obiektywną weryfikację poprawności dowodu. W przeciwieństwie do intuicji, opiera się ono na manipulowaniu symbolami zgodnie z ustalonymi algorytmami, co minimalizuje ryzyko błędów i pozwala na automatyzację procesów myślowych przez systemy komputerowe.
formal reasoning
