Автор работы: Пользователь скрыл имя, 17 Мая 2011 в 23:51, реферат
В залежності від строгості правил виводу розрізняють два види умовиводів: демонстративні (необхідні) – наслідок необхідно слідує із засновків і недемонстративні (правдоподібні) – лише ймовірне слідування висновку із засновків. По направленості логічного слідування, тобто по характеру зв’язку між знанням різної ступені загальності, яке виражене в засновках і висновку. З цієї точки зору розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від часткового до загального) і умовиводи по аналогії (від часткового до часткового).
1. Поняття про умовивід.
2. Види умовиводів.
3. Простий категоричний силогізм.