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

Основні прямі правила


- Правило введення кон'юнкції (ВК): А
В
АЛВ
- Правило видалення кон'юнкції (УК): АЛВ АЛВ
А В
- Правило введення диз'юнкції (ВД):
т
AvB
- Правило видалення диз'юнкції (УД): AvB AvB
А В
В
Правило видалення імплікації (УІ): А ^ В
А
В
Правило введення еквівалентності (ВЕ): А ^ В
У ^ А
А ^ В
Правило видалення еквівалентності (УЕ): А ^ В А ^ В
А ^ В'В ^ А
Правило введення подвійного заперечення (ВО):
А
А
Правило видалення подвійного заперечення (УО): А_
А
Основні непрямі правила
Правило введення імплікації (ВІ) : П {посилки)
А (дод.)
В А ^ В
Правило reduction ad absurdum - «зведення до абсурду »(СА): П (посилки)
А (дод.)
В
В
А
- правша умовного силогізму: А ^ В Доказ:
йеС
А ^ З 2.ДзС
А (дод.)
В (УІ: 1, 3)
С (УІ: 2, 4)
А ^ С (ВІ: 3, 5)
- правші «modus tollens» ( МТ): А ^ В Доказ:
В
2. В
А (дод.)
В (УІ: 1, 3)
5. А (СА: 2, 4) - правша заперечення диз'юнкції (ОД):
(A v В) Доказ: (АЛВ) 1 - (Лув)
А (1-е доп.)
AvB (ВД: 2)
А (СА: 1, 3)
В ( 2-е доп.)
AvB (ВД: 5)
В (СА: 1, 6)
АЛВ (ВК : 4,7)
Правило заперечення кон'юнкції (ОК):
(А л В) Доказ:
(Ж / В ) 1. (АЛВ)
2. (AvB) (дод.)
АЛВ (ОД: 2)
А ( КК: 3)
А (УО: 4)
В (КК: 3)
В (УО: 6)
(ВК: 5, 7)
9. AvB (CA: 1, 8; УО)
Правша контрапозиции:
IAZ) У Доказ:
В (дод.)
А (МТ: 1, 2)
2.
4. 5 з Л (ВІ: 2, 3) У zd А Доказ:
А ^ В lB ^ A 2. А (дод.) 3. л (ВО: 2) 4. 5 (МТ: 1, 3) 5. В (УО: 4) 6. А з 5 (ВІ: 2, 5)
- Правша складної контрапозиции:
2 (АЛС) ^ В (АЛВ) ^ С
1 (А л В) з С Доказ:
(у! ЛЗ) агов 1. (Ілй) ЗС 2. АЛС (дод.) З.А (КК: 2) 4. С (КК: 2) 5. (АЛВ) (МТ: 1, 4) 6. AvB (ОК: 5) 7. А (ВО: 3) 8. В (УД: 6, 7) 9. (АЛС) ^ В (ВІ: 2, 8) Доказ 1. (АЛС) ^ В 2. АЛВ (дод.) З.А (КК: 2) 4. В (КК: 2) 5. (АЛС) (УІ: 1, 4) 6. AvC (ОК: 5) 1. А (ВО: 3) 8. С (УД: 6, 7) 9. С (УО: 8) 10. (АЛВ) ^ С (ВІ: 2, 9)
- правші «міркування за випадками» (РПС): А ^ З Доказ:
SDC lAvB
2JDC
3 JDC
AvB С
С (дод.)
А (МТ: 2, 4)
5 (МТ: 3, 4)
В (УД: 1,5)
8. С (СА: 6, 7; У О)
- правша конструктивної дшемми: A В Доказ:
2. CDD
3.AvC
Лус BvD
A (1-е доп.)
5 (УІ: 1, 4)
BvD (ВД: 5) 7JD (SVD) (ВІ: 4, 6)
С (2-е доп.)
Z) (УІ: 2, 8)
BvD (ВД: 9) п.ср (йуР) (ВІ: 8, 10)
12. BvD (РПС: 3, 7, 11)
- Правило простої деструктивної дилеми: A Zj У Доказ:
__ 2JdC
BvC ~ 5 г
- = - 3. У vL
Bz> А (пр. контрапоз.: 1)
Сзі (пр. контрапоз.: 2)
А (РПС: 3, 4, 5)
- Правило складної деструктивної дилеми: AZ) У Доказ:
Г п \. А => В
LDD
BvD 2 '? =?
77С> до "
В А (пр. контрапоз.: 1)
D з С (пр. контрапоз.: 2)
AvC (пр. конструк. дилеми: 3, 4, 5)
- Правило Внесення (кон'юнктивний відділення умов): Az) (BZ) С) Доказ:
(АЛВ) ^ З 2. АЛВ (дод.) З.А (КК: 2) 4. В (КК: 2) 5. 5 з С (УІ: 1, 3 ) 6. С (УІ: 4, 5) 6. (АЛВ) з С (ВІ: 2, 6)
- Правило експортаціі (роз'єднання умов): (А л / і) з С Доказ:
А з (В з С) 1. (Лл5) ЗС 2. Л (1-е доп.) 3.5 (2-е доп.) (ВК: 2, 3) 5 . С (УІ: 1, 4) 6. 5зС (ВІ: 3, 5) 7. Л з (5 з С) (ВІ: 2, 6)
.
« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна" Основні прямі правила "
  1. 13. Правові норми - ознаки, структура - гіпотеза, диспозиція, санкція, види
    основні категорії для цілої групи суспільних відносин. Конкретні норми деталізують загальні норми для безпосереднього застосування. Спеціальні норми передбачають виключення із загального правила для особливих випадків . Прямі, відсильні і бланкетні - прямі безпосередньо закріплюються в статті (пункті, параграфі, абзаці) джерела права. Таким чином, терміни «пряма» і «повна» норма
  2. I. Введення. Основні інститути права інтелектуальної власності
    основна цінність і предмет правової охорони - їх художня форма і мова, які відображають їх оригінальність, то в об'єктах патентного права цінність представляє насамперед сам зміст тих рішень, до яких прийшли винахідники. Саме воно і стає предметом охорони патентного права. На відміну від форми авторського твору, яка фактично неповторна і може бути лише
  3. § 2. Складові елементи права власності
    основні способи такого роду обмежень. Спочатку в якості законних обмежень власника в здійсненні його права розглядалися легальні сервітути. У римському праві допускалося обмеження у здійсненні права власності на земельну ділянку на користь власника сусідньої ділянки, якщо нормальне використання останнім своєї речі затратвало майнову сферу іншого. Закон
  4. § 1. Цивільне законодавство та його система. Інші джерела цивільного права
    основний масив норм цивільного права, які мають вищу юридичну силу і пряму дію на всій території Російської Федерації. Відповідно до ст. 76 Конституції РФ закони диференціюються на федеральні конституційні й федеральні закони, федеральні конституційні закони приймаються з питань, передбачених Конституцією Російської Федерації. Вони мають більшу юридичну
  5. 3. Інші федеральні закони (цивільне законодавство)
    основну структуру всієї галузі цивільного законодавства. Частина з цих законів, головним чином про статус окремих юридичних осіб, вже прийнята, а частина знаходиться в стадії розробки і обговорення законодавцем. Слід мати на увазі, що за наявності прямої вказівки в ГК інший федеральний закон може врегулювати відповідне ставлення інакше, ніж передбачено Кодексом. Кодекс
  6. 1. Елементи і зміст договору на виконання проектно-вишукувальних робіт
    основних питань проектування ( виготовлення проектно-кошторисної документації), будівництва та експлуатації підприємств, будівель і споруд. Завдання на проектування, а також інші вихідні дані, необхідні для складання технічної документації, звичайно розробляються замовником та передаються ним підрядчику. Але завдання на виконання проектних робіт може бути за дорученням замовника
  7. Глава пя-тая. ПРИСТРІЙ ДЕРЖАВИ
    основні характеристики держави, сформульовано його розуміння, визначено її соціальне призначення, відмінність від догосударствепной організації суспільства, возника-ет завдання розглянути , як влаштовано держава, тобто в яких конкретних формах існує і функ-ціонірует ця особлива політична, структурна, територіальна організація суспільства. Тільки після вивчення форми, тобто пристрої
  8. Глава дев'ята. ТЕОРІЯ ПРАВА ЯК ЮРИДИЧНА НАУКА
    основним правовим системам, іншим головним характеристикам права в цілому як соціального інституту. Походження ж права було розглянуто в главі третій цієї книги. Тривалий час на попередньому етапі вітчизняної юридичної думки право розглядалося в нерозривній єдності з державою як продукт і інструмент держави, як основа здійснення класового панування в
  9. Капетингів
    основному знати і ченці) доживали до 50 років. Війни, хвороби, голод постійно зменшували чисельність населення. Епідемії віспи, холери, тифу були звичними явищами, до них додавалися туберкульоз, проказа, шкірні паразити і т.п. Хворобам сприяло хронічне недоїдання. Неврожаї неминуче приводили до голоду, повторюється кожні 3 - 4 роки. Зниження середньорічної температури в XIII в. та
  10. Червоної та Білої троянд ВІЙНА 1455-85
    основних елементів: стародавнього кельтського (бритти) і німецького (англосаксонського). Англосакси принесли з собою з континенту німецькі міфи і легенди, що передавалися з покоління в покоління усно. Після введення християнства їх почали записувати вчені ченці («Беовульф»); в 8-10 ст. з'явилися лірика англосаксів, богословські праці і літописи. Після вторгнення норманів (1099) і виникнення