Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяЛогіка → 
« Попередня Наступна »
Гомбоева Л.В.. Індивідуальні контрольні завдання за логікою з методичними вказівками щодо їх вирішення, 2003 - перейти до змісту підручника

Теорія до 23 завданню: Ставлення логічного слідування.

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