Languages: English · français · Esperanto
The process of applying logic to prove whether a statement is true or false.