Twierdzenie – jego budowa i związek ze zdaniem logicznym. Dlaczego implikacja jest ważna w dowodzeniu twierdzeń?