З цього погляду розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від часткового знання до загального), умовиводи за аналогією (від часткового знання до часткового). Дедуктивні умовиводи, або дедукція (від лат.
Розібратися в таких випадках допомагає знання правил умовиводів . Умовиводи бувають дедуктивні, коли думка йде від загального до часткового, та індуктивні, коли думка йде від часткового до загального. Можуть бути також умовиводи від часткового до часткового.
Умовивід – одна з форм мислення, за допомогою якої з одного або кількох суджень будується нове судження. З погляду логіки висловлювань, умовивід – це крок логічного виводу, безпосереднє виведення висловлювання-висновку з одного або більше висловлювань (“посилок”), найпростіше міркування.
Дедуктивними є такі типи умовиводів: висновки логічних зв’язків і суб’єктно-предикатні висновки.