Засновок

у логіці – судження, що є частиною умовиводу і підставою висновку, відоме, наявне знання