sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, z których jeden jest założeniem, a drugi - tezą, które łączy relacja implikacji.