Висловлювання, що виводиться із засновків

Висловлювання, що обгрунтовується

Висловлювання, за допомогою яких обгрунтовують

Вихідні висловлювання, істинність яких вважається відомою

Спосіб перенесення істинності із засновків на висновок

Висловлювання, з яких виводиться висновок