Просилогізм

дедуктивний умовивід, перший (попередній) силогізм у послідовності, висновок якого стає одним із засновків наступного силогізму