Дедуктивна логіка: відмінності між версіями

'''Дедуктивна логіка''' - — розділ логіки, в якому вивчаються способи міркування , що гарантують істинність висновку при істинності посилок. [[Дедукція|Дедуктивна]] логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки знаходяться так звані правдоподібні міркування та індуктивні методи. У ній досліджуються способи міркувань зі стандартними, типовими висловами, ці способи оформляються у вигляді логічних систем, або обчислень.

* Всі форми діяльності, в яких використовуються правила, норми,канони іканони т.п.тощо

Однією з найбільш характерних сфер життя, в якій дедуктивна логіка діє по максимуму, є [[юриспруденція]]. Коли закон прийнятий, то його дотримання ґрунтується насамперед на дедукції.

1 За таке - — то злодійство за законом належить таке - — то покарання.

3 Отже, йому належить таке - — то покарання.

* Контрапозиція <math> \frac{A \supset B}{\neg B \supset \neg A}</math> Посилка: якщо A, то B. Висновок: отже, якщо не B, то не A. Наприклад, якщо тварина ссавець, то вона є хребетною. Отже, якщо яка-небудь тварина не є хребетною, то вона не є ссавцем.

* Бочаров В. А., Маркін В. &nbsp;І. &nbsp;Основи логіки: Підручник. -&nbsp;— М .: ИНФРА-М, 2001. -&nbsp;— 296 с. -&nbsp;— ISBN 5-16-000496-3

* Івлєв Ю. &nbsp;В. &nbsp;Підручник логіки: Семестровий курс: Підручник. -&nbsp;— М .: Справа, 2003. -&nbsp;— 208 с -&nbsp;— ISBN 5-7749-0317-6