« Попередня
|
|
Наступна » |
|
|
Основні прямі правила
|
- Правило введення кон'юнкції (ВК): А В АЛВ - Правило видалення кон'юнкції (УК): АЛВ АЛВ А В - Правило введення диз'юнкції (ВД): т 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) .
|
« Попередня |
|
Наступна » |
= Перейти до змісту підручника = |
|
Інформація, релевантна" Основні прямі правила " |
- 13. Правові норми - ознаки, структура - гіпотеза, диспозиція, санкція, види
основні категорії для цілої групи суспільних відносин. Конкретні норми деталізують загальні норми для безпосереднього застосування. Спеціальні норми передбачають виключення із загального правила для особливих випадків . Прямі, відсильні і бланкетні - прямі безпосередньо закріплюються в статті (пункті, параграфі, абзаці) джерела права. Таким чином, терміни «пряма» і «повна» норма
- I. Введення. Основні інститути права інтелектуальної власності
основна цінність і предмет правової охорони - їх художня форма і мова, які відображають їх оригінальність, то в об'єктах патентного права цінність представляє насамперед сам зміст тих рішень, до яких прийшли винахідники. Саме воно і стає предметом охорони патентного права. На відміну від форми авторського твору, яка фактично неповторна і може бути лише
- § 2. Складові елементи права власності
основні способи такого роду обмежень. Спочатку в якості законних обмежень власника в здійсненні його права розглядалися легальні сервітути. У римському праві допускалося обмеження у здійсненні права власності на земельну ділянку на користь власника сусідньої ділянки, якщо нормальне використання останнім своєї речі затратвало майнову сферу іншого. Закон
- § 1. Цивільне законодавство та його система. Інші джерела цивільного права
основний масив норм цивільного права, які мають вищу юридичну силу і пряму дію на всій території Російської Федерації. Відповідно до ст. 76 Конституції РФ закони диференціюються на федеральні конституційні й федеральні закони, федеральні конституційні закони приймаються з питань, передбачених Конституцією Російської Федерації. Вони мають більшу юридичну
- 3. Інші федеральні закони (цивільне законодавство)
основну структуру всієї галузі цивільного законодавства. Частина з цих законів, головним чином про статус окремих юридичних осіб, вже прийнята, а частина знаходиться в стадії розробки і обговорення законодавцем. Слід мати на увазі, що за наявності прямої вказівки в ГК інший федеральний закон може врегулювати відповідне ставлення інакше, ніж передбачено Кодексом. Кодекс
- 1. Елементи і зміст договору на виконання проектно-вишукувальних робіт
основних питань проектування (виготовлення проектно-кошторисної документації), будівництва та експлуатації підприємств, будівель і споруд. Завдання на проектування, а також інші вихідні дані, необхідні для складання технічної документації, звичайно розробляються замовником та передаються ним підрядчику. Але завдання на виконання проектних робіт може бути за дорученням замовника
- Глава пя-тая. ПРИСТРІЙ ДЕРЖАВИ
основні характеристики держави, сформульовано його розуміння, визначено її соціальне призначення, відмінність від догосударствепной організації суспільства, возника-ет завдання розглянути , як влаштовано держава, тобто в яких конкретних формах існує і функ-ціонірует ця особлива політична, структурна, територіальна організація суспільства. Тільки після вивчення форми, тобто пристрої
- Глава дев'ята. ТЕОРІЯ ПРАВА ЯК ЮРИДИЧНА НАУКА
основним правовим системам, іншим головним характеристикам права в цілому як соціального інституту. Походження ж права було розглянуто в главі третій цієї книги. Тривалий час на попередньому етапі вітчизняної юридичної думки право розглядалося в нерозривній єдності з державою як продукт і інструмент держави, як основа здійснення класового панування в
- Капетингів
основному знати і ченці) доживали до 50 років. Війни, хвороби, голод постійно зменшували чисельність населення. Епідемії віспи, холери, тифу були звичними явищами, до них додавалися туберкульоз, проказа, шкірні паразити і т.п. Хворобам сприяло хронічне недоїдання. Неврожаї неминуче приводили до голоду, повторюється кожні 3 - 4 роки. Зниження середньорічної температури в XIII в. та
- Червоної та Білої троянд ВІЙНА 1455-85
основних елементів: стародавнього кельтського (бритти) і німецького (англосаксонського). Англосакси принесли з собою з континенту німецькі міфи і легенди, що передавалися з покоління в покоління усно. Після введення християнства їх почали записувати вчені ченці («Беовульф»); в 8-10 ст. з'явилися лірика англосаксів, богословські праці і літописи. Після вторгнення норманів (1099) і виникнення
|