Для вирішення багатьох логічних задач необхідно з'ясувати: чи є одна формула логічним наслідком інших.
Визначення: З формули Ф1 логічно випливає формула Ф2 тоді і тільки тоді, коли їх імплікація (Ф1 ^ Ф2) - є логічним законом.
Наприклад, нехай формула Ф1: АЛВ, а Ф2: АvВ. Визначити, чи випливає з Ф1 формула Ф2. Складемо таблицю істинності для формули (АЛВ) ^ (АvВ): Порядок операцій ^ 1 3 2 А В (АЛВ) ^ ^ В) І І І І І І Л Л І І Л І Л І І Л Л Л І Л Імплікація (тут: головний знак формули) завжди приймає істинне значення. І, так як імплікація Ф1 ^ Ф2 завжди істинна, значить, з формули Ф1 логічно випливає формула Ф2. Скорочений метод.
Для встановлення відношення логічного слідування таблиці істинності становити не обов'язково.
Застосуємо міркування від противного. Припустимо, формула (Ф1 ^ Ф2) не завжди істинна, тобто вона приймає значення брехня при якій-небудь інтерпретації її аргументів. Тоді в цьому випадку формула Ф1 повинна приймати значення істина: (АЛВ) = І, а Ф2 - брехня: (АvВ) = Л. З першої формули випливає, що А = І і В = І, а з другого формули випливає, що хоча б один з аргументів (А або В) повинен приймати значення БРЕХНЯ. Прийшли до суперечності. Значить, немає таких інтерпретацій аргументів А і В, при яких ця формула приймає значення БРЕХНЯ. Значить, формула (Ф1 ^ Ф2) завжди істинна. Якби знайшлися такі А і В, при яких не було суперечності, то дана формула не була б тотожно істинною, а значить, не було б відносини логічного слідування.
|
- ГЛОСАРІЙ
теорія цінностей; дослідження узагальнених стійких уявлень: про бажаних матеріальних і духовних благах; про прагнення досягти більш високого соціального становища в суспільстві. Ассессмент-центр - це такий метод оцінки, який грунтується на спостереженні спеціально навчених ассессоров (оцінювачів) за поведінкою оцінюваних співробітників в реальних робочих ситуаціях або при виконанні ними
- § 2. Види співучасників злочину
теорія не користується успіхом серед представників догми кримінального права і майже одностайно відкидається судовою практикою. У СРСР і Росії завжди в основу розрізнення співучасників висувалися об'єктивні критерії. Ст. 34 КК РФ говорить про два критерії, які повинні бути покладені в основу, - ступінь і характер участі в злочині. Оскільки закон не передбачає обов'язкового пом'якшення
- Глава третя. ПОХОДЖЕННЯ ПРАВА
теорія держави і права) до позитивного (деякі представники західної політичної антропології). Є й проміжні позиції, коли первісну нормативну систему визначають як протоцраво і предправо. Чим же обгрунтовує свої положення теорія держави і права? В її концепції стверджується про якісну відмінність двох нормативних систем, породжених різними способами
- Глава восьма. ТЕОРЕТИЧНІ ПИТАННЯ РОСІЙСЬКОЇ ДЕРЖАВНОСТІ
теорія держави і права була б неповною, якби в ній не розглядалися деякі найбільш важливі теоретичні питання російської державності. Перш за все тому, що теоретична і методологічна частина юридичної науки - теорія дер-жави і права - тільки тоді буде мати соціальну цінність, якщо зможе правильно описати, об'єк-яснити, прогнозувати, і в деяких
- Глава дев'ята. ТЕОРІЯ ПРАВА ЯК ЮРИДИЧНА НАУКА
теорія держави. Предмет і методологія теорії права. Теорія права в системі суспільних наук. Загальна теорія права. Спеціальні теорії права. Теорія права і галузеві юридичні науки. Функції теорії права. У другій частині, присвяченій теорії права, розглядаються з урахуванням сучасного рівня юридичного знання функціонування та розвиток такого яскравого і складного соціального інституту, як
- Глава десята. ПРАВО В СИСТЕМІ СОЦІАЛЬНИХ РЕГУЛЯТОРІВ
теорія держави і права тривалий час приділяла основну увагу методу примусу, пов'язуючи з ним класовий підхід до соціального регулювання, необхідність класових насильства при боротьбі з класовими противниками, найбільш ефективний спосіб управління життєдіяльністю соціалістичного суспільства. Але реальне мно-гообразие методів регулювання спонукало деяких вітчизняних
- Розділ двадцять перший. ПРАВО І ОСОБИСТІСТЬ
теорія права *. * Детальний аналіз доповіді Вишинського А.Я. в 1933 році див кн.: Венгеров А.Б. Законність як її розумів Вишинський / / Інквізитор. Сталінський прокурор Вишинський. М.: Республіка, 1992. На сучасному етапі теоретичного знання боротьба за законність змінилася боротьбою проти організованої злочинності, корупції, мафії і т.п. Принаймні саме так у багатьох теоретичних
- 6.1. Методи оцінки персоналу
завданням проведення аналізу та підготовки пропозицій по її вирішенню у формі доповіді Порівняння оцінюваних працівників між собою іншими методами і розташування по обраному критерію в порядку убування або зростання рангів (місць у групі) Оцінка професійних знань і вмінь, рівня інтелекту, досвіду і працездатності за допомогою контрольних питань Контроль професійних знань і
- 6.2. Гіпотеза: поняття, види, її побудова
теорія Ч. Дарвіна також є спільною науковою гіпотезою. Приватна гіпотеза - це форма мислення, що представляє собою науково обгрунтоване припущення, висунуте з метою пояснення властивостей або причин частини об'єктів, виділених з класу аналізованих духовних чи матеріальних об'єктів. Одинична гіпотеза - це форма мислення, уявляю-щая собою науково обгрунтоване припущення,
- 7.4. Міркування і способи переконання
теорія аргументації. Прийоми, за допомогою яких можуть формуватися і змінюватися переконання, різноманітні і різнорідні. Найбільш поширені способи переконання діляться на універсальні, застосовні у всякій аудиторії, і контекстуальні, ефективні лише в деяких аудиторіях. До універсальних відносяться емпіричні та теоретичні аргументи, до контекстуальних - посилання на традицію, здоровий глузд
|