Модус
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Модус

Модус (від латів.(латинський) modus — міра, спосіб, образ, вигляд), термін, використовуваний в логіці, юриспруденції (див., наприклад, Модус вівенді ) і філософії. У традиційній (силогізмом) логіці М. називають різновиди силлогизмов (висновків), визначувані кількістю, формою і взаємозалежністю їх посилок і висновків. Термін цей перейшов і в сучасну формальну (математичну) логіку. Наприклад, modus ponens — це не що інше, як правило висновки», або «правило відділення», тобто правило виведення (див. Логіка, Логіка предикатів ) , згідно з яким з посилок вигляду А і А É В (É — знак імплікації, що читається як «вабить») можна отримати висновок Ст Див. Силлогистіка .