Экзамен зачет учебный год 2023 / sz.Логика

Логика (гр . Логос)

– понятие,

разум,рассуждение

•

Объективнаялог

ика – закономерности визмененииразвитявленийвещейобъективного

мира

•

Субъективнаялогика

– особенности изакономе

рностив

зменениивсвязяхразвитиимы

слей

•

Наука озакономерностяхвсвязяхиразвитиимы

слей,

наукао

мышлении

чувств видеощущений,воспри

ятий,представлен

ий.Нельзяпозвнаватьутренние,существенные

сторонывеще

йиявлений,зак

оныихфункционирован

ияразвития

действительности путемлогическойпереработкичувственныхданных

o

Можнопознаватьто,чтоненаблюдае

тсянепосредственно

o

Выделениеобщихсво

йствявленийобобщениепонятийпредметах

Методлогики

– понятия опредм

етах

Мышление – активнаяцеленапра

вленная деятельность.Ставя тсяопределенныецелиформируются

за,диляачи

хд остиженияосуществляютсямыслительныедействия.

Предметлогики

– формымысле

йиформыразнанвит,особыеприиям мытоды

познания,осо

бые

законым

ышления

Логическиетермины

– термины,выражающиеобщие

характеристикивещейявлений,аравно,мыслей:

и,или,если

-то,неверно

-что,все

ит.д .

Процессвыявлениялогическойформы

мысли – отвлечениеотсмысланело

гичтерминовских,входящих

всловосочетание

Логическаяформамысли

– структурамысли,выявл

яемаяврезульчастичногоатевлеченияотсмыслов

изначенийнелогическихтерм

инов,входящихс

ловосочетание – опустить илизампеременныминить.

Частичноеотвле

чение – сохранениеинф

-ииотипетерминов,которыхпротвлеизошло

чение, иотом,

гденаходилсяодинтермин, где

– разные.

Класмыслей

1.

Понятие – мысль,

вкоторойобобщенывклас

сивыделеизнекотмноыпжреогонадметыства

основесистпризнаков,общеймытоль

кодляэтихобобщенныхивыделенныхпредметов

2.

Суждение – мысль, вкоторойчто

-либоутверждаетотрицаетсяили пр, свойствахдметего

илиотношенияхмеждупредметами

3. Умозаключение – процесс получениязнания,выраженногосуждении

,издругихзнаний,также

выраженныхсуждениях

Логическиезаконы

– связимеж

думыслями

поформам,прикоторыхистиноднойобуславливаетть

истинностьпрочих.

Установлэтихсвязтребуйние

ет заменынелог

ическихтерминовнапроизвольные

терминытехже

ипов

ыяснения,окажетсялиистиннполучаемоевысказываприистинностиие

исходных

Формальнаялогика

– наукаоформахмыслей, формально

-лог.з

-нахидр.связяхиотношенияхмежду

мыспоихл.формамогями.

2. Историязн

ачениедляю

ристов

Значениелогикидляюр стов

.

- умениедаватьопределения,класстроить, ифицироватьаргуме

нтациюопровержение.

- ускоряетнахождениеошиб

оквходесудебногозаседа

ния.

- помогаетстроитьсудебно

-следственныеверсии,составлять

четкиепланырасследо

ванияпреступлений,

составлятьофициальныедокументы:протоколыдопросаосморапортов, и.

д.

- знаниелогическихприемовпозволяетнаправля

тьходдискунадосистиныжениети

- дляпрогнозирования

преступиоценкиости

деятельнправоохранительнсти

ыхорганов

- длянормотворчествалогика( )

Историялогики

Античность

Формальнаялогикапояв

иласьвДревнейГреции

в VI-V до н.э. , чутьпозднеепоявилас

ь вИндии . Позднее

греческаялогикараспространиласьвЕв

ропеинаБлижнем

Востоке,аиндийская

– в Китае,Я

понии,Монголии,

Индонезии.

Разрабатывалась

всоответствиизап

росамисудопроизводства

иораторскогоискусства,

т.к.часто

судрешениебноезавис

елоот

гическогопо

стречиоенобвиобяняемого

вин.Всилуразногласийтеля

межсудьями

появиласьнеобходимостьвыработкилогиченорм,сужденийких

позволяющихприйтик

едимн. омуению

ВГр

еции

разрабатывали

Парменид,

Зенон,

Сократ, Платон. Однако,основателемгики

считают

Аристотеля – автора «Органона» (орудияпознания).

Логикасоздвеляаваласьдискуссения

ий,поэтомуна

зываласьдиалектикдиалег( ой

– спорю)

.П осле

Аристотеляразр

абатывалась стоиками.

СредниеВека

Называетсхоластич.Ра цвяетской

– XIV век, Уильям Оккам, Уолтер Бёрли, АльбертСа

ксонский.

Новоевремя

ФренсисБэкон

–

«Новый Органон»,содержалосновыиндукметивных

од,копвторыезднее

усовершенствовал СтюартМилль

– методы установленияпричинныхсвязеймежд

уявлениямиметод(

ыБэкона -

Милля).

Логика,основаучеАрни,наявомногомстотеляидополненнаяиразвитая,существоваланачала

XX

в. ВначалеXXв.влогикепроизошласвоеобразнаянаучнаяреволюция, занная

широкимпр

именением

методовтакн

азываемойсимволической,илиматемати

ческой,логики.Идепоследнейвысказ

анемецкимы

ученым Лейбницем. ИдЛеойбнявозможносипродукцасведениярассуждениитивностиквычислениям

течениемногихлетненаразвиодила

тия применения.

Символическаялогика

начасоздаватьсялишь

серединеXIXв.Такимобр,назомча

лутекущегостолетиясимв оформиласьческаягивкачестве

относительносамостоятедисциплврамкахлогьнойнаукины.ческойИменноиспользование

етодов

симвлоолгикической

тличает логикусовременную

оттрадици

онной.Вмес

тестемвсовременнойлогике

сохраняютсявседостижениявсяпроблематтрадицлог. икионнойа

Диалектичогтакжкамедрпроисхожденскаятвнее.И иалектеимышленияики

восходятк

древневосточнойи

античнойфилософии.Вразвитдиалек

тическойлогикивнеслиопределенный

клад

ПлатониАристотель,КлассическиеформыдиалогикеектпрнемецкиеческойдалифилН свогофы

времени:

Кант,Фихте,Шеллинг

и,вособенности,

Гегель.Диа

лектическуюлогикунам

атериалистической

основеразрабатывал

и

К.Маркс,Ф.ЭнгельсиВ.И.Ленин

.Дал

ьнейшееразвитиеонаполучилатрудах

3

современныхфилософов.

3. Языккакзнаковаясистема.Спецификаязыкаправа

Спецификаязыкаправ.

Этаспецификазаклю

чаетсявупотреблении

юридическихтерминов,

“Ночноевремя

— этовремяс10ч

асоввечерадо6часовутра”,Коренной“ москвич

— эточел,которыйвек

прожилвМоскве40лет”,Участник“ BOB

— эточел,кослужилторыйвекдействующейармии”.

Такспособвведй

енияюридических

терминовпосре( выдствомел

енияодногоизс

мыслов, которы

х

выражупотребляетсявестниеязыкественном)

— неединственный.Другойспособ

— приданиевыражению

ещёинекоторогодополнительногосмысла, сравнениюобщепринятым.Пример:

“Совершеннымвпервые

являпре,тсяступление

еслионосоверше

нофактическипе

рвыйраз,илистёкрокдавностипривлеченияза

предыдущеепрест,илиплендимснятаилиость”гашена.

Язык – средствоформирования

мыслей.Вязык

е закрепляютсязультатымышления.

Язык логики

высказываний, шиспользуемыйрокопривыявязеймысждуниипоихлогическимямиформам.

Осндостоинствовнэтязызаегоключаетсятом,чтоеговыраженияоднозначны.

Прилогическоманализеязыкра

ссматриваетсякакзнаковаясис

тема.

Знак —

этоматериальн

ыйобъект,исп

ользуемыйвпроцессепознанияилиобщениявкачестве

представителякакого

-лиоб.оъекта

следствпричдым( иянами

– наличиеогня)

посколькунаходяти

сявотношенподобсобозначиобъеия(а.к,емымипртами

местности,картина,чертёж)

• Знаки-символы

(изучаютсялогикой)

- знаки,кот.несвязаматериальнонесходны

•

Смысловое – выражзнакохаремая

-каобъекта,представителемкот.явл

яетсязнак

– информация об

этомобъекте

Америк.философЧарльзПирсзаложилосновыособой

наукиознаках

– семиотики:

1.

Синтаксис – исследотнмеждуознакамиваниешенийправ( постлароенияеобразования

выраженийязыка),сотвлечесмысловизначениием

йзнаков

2.

Семантика –

исследованиеотн

ошениймат.объек,выступкачов.знак,посколькующихвни

являютсяоднимизср

-вустановлениясвязизнаковихпредмет.значений

3.

Прагматика – изутогочто, енприотдельныевносятличности,группывпониманиезна

к,отношенияв

ч-казн,такжекам

отношениямежлюдьмивпроцессеузнак.

общения

4. Учениелог

икио

бименах

Имя – один изв

идовзнакслово,

/словос,обозначетание

чающеепредмет

.У чениеобим нах

– теория

именования.

Имя – знак,

следовательно,

имеетзн

ачение:

1.

Предметное (можетнеиметь)

– предмет,обозн

ачаеэтимыйенем

2.

Смысловое (обязательноимеет)

a.

Смысл (концепт)

–

выраженнаяязыкеинф

-яопредметах,позволяю

щаяоднозначно

выделитьпредметы,являющиесязначени

емимени

b.

Идея – зрительныйобраз(

интуитивноепредставл)предм,обозименентовиеачаемых

м

Тимпы

ён

1.

Единичныеиме

на – обозначаютпредме1 Луна(,столицаРосси

и)

2.

Общие имена – общиедляпр некодметоров

гокласса .Значен ие – предметы некоторогокласса,

содержащиебодноголееэлем нта

Объем имени – класс,котсоставляютрыйпредме

ты

1.

Уединичимениого

– класс,

состоящийиз1

предмета

2.

Уобщего имени – класс,

состоящийизнесколькихпредметов

a.

Универсальныеимена

– общиеимена,объемомкоторыхявляетсявесьуниверсум

рассуждобласть( предмения

т,окотовведетрасой)сУнив.уждязавиеотниерсумит

контекста

Могутбытьименасразнсмыиодслами

нимобъемкрупнейший( гоЕврмрод,столицаРоссиипы)

,но

нетсоднсмысломиразнымобъемом.

1.

Мнимыеимена

– обозначаютпредметы,несуществующие

вуниверсумерассрусалка( ,ждения

вечныйдвигатель)

a.

Универсум – предм,сущетыс

твующиеобъекти

внойреальности

b.

Объемимени

– пустое множество

2.

Действительныеимена

– значениямиявляю

тсяпредметы,входящиеуниверсумрассуждения

Основпринципыупотребые

ленияимен

1.

Принциподнозначности

– 1) еслиимяединичное,выражение,используемоекач ст

веимени,

должнобытьименемоднлькопредметаго

; 2)еслиим

яобщее,товыражедолжбытьниео

общимдляпреодногклассаметов

2.

Принципвзаимозаменяемости

–

еслив

сложном именизаменитьча,всвоюочередь

являющуюся именем,др

угим именстемжзначеним,то получевниемнного

результате

такойзаменыслож

ного именидолжнобытьтемже,чтоизначениеисходногосл

ожного имени

(напр.в,предложенииЗемля« вра

щаетсявокругСолнца»заменим

мяСолнце« »наимяцентральное«

телоСолнечнойсистемы»

=>значенияэтихимёнсовпадут

)

3.

Принциппредметности

– ввысказыв аниях должноутверждаться/отр

ицатьсянечтозначениях

имен,входящихпредложения,анесамихименах

a.

Кавычковыеимена

– значекотниямимоенявлятьсягутрыхмена

Такиеслучаине

противоречатпринципупредметности(

напр.в,предложсознаниеиМатер« перв, ичная

вторично»материя«»

- этоимяобъект.

реальности,авпредложМат««» енриия

-

философ.категория»материя«»

- этоимяимени

,имякатегории

)

b.

Автонимноеупо

треблеимёние

- именимениявляетсясамосходноеимя(

напр.в,

предложении«

Словос

толсостоитизбукв4»словостол«»являетсяименемсамогоэт

ого

5

слова)

Способыуп

отребленияимен

1.

Имя простовыделяетпре

предметы( )

2.

Предметы,обо

значаим,расенеммые

сматривопределенномаются

пекте

Выражязыкаденлятсянияклассывзависимостиоттиповвыражаемых

имис мыслов,атакжеоттипов

объект,котонивбозначрые

аютилипредст.Этиклназвляютссываются

семанкатегориями.ическими

Средивыражений,входящи

хвпредложенияиграющ

ихвних

самостоятельнуюроль,выдел

яют

дескриптивные и логическиетермины.

К дескриптивнымтерминам

относятся:

1.

Единичименаые

;

2.

Общиеим на

;

a.

Св-во – то,чемотличаютсядругдругапредмявлетыния

(напр.люди, :высокие

– низкие,

черноглазые - голубоглазые). Отномысляхв св

-вокпредмету,мыполучаемист.лож/.

предложение.

b.

Отношение - дляполученияист.лож/.

предложенияего(

отношение)следует

отнестив

мысляхкпредметамупорядоченнойпа, ойкиы.. (

напр.,больший«,чем»

(2-местное)

,

«расположенныймежду»

(3-местное)

ит.п.

).

4.

Знаки признаков;

a.

Признак – наличие/отсутствиепредмтогоилииногосвта

-ваилиотношениякдр.

предметам.Пр

изнакпа,тр,ыойки…

n-кипредметов

– наличие/отсутствиек/отношения

меэлементамждуё

и( напр.в,предложенииэ«

тотстолжё»:являетсятый«жёлтым»

- 1-

местныйпреди

кат,признака, словожелтый« »

- знаксв

-ва).

5.

Знаки предметныхфун

кций.

a.

Знакипредметныхф

-ций (функционал ьныезнаки/п

редметныефункторы)выражают

предметныеф

-ции.

b.

Ф-ция – соответствие, силук. бъектыпредмет( ,

n-кипред)изнек.множестваетов,

называемого областью

пределения ф-ции,соотносяобъектамииздр.того/жесамогоя

множества,называемыми

значениямиф

-ции.

c.

Предметнаяф

-ция – ф-ция,значениямикоторойявл

яютсяпредметы

(напр.,

sin, log,масса+,

(Земли)

).

Предметной

называетсяфункция,значе

ниямикоторойявляютсяпр

едметы.

Примерыпредметных

функций:

sin,масса.log,Прим+,

енивфункциональныйзнакмасса“”единичимеЗемля“ ”,получимвму

качествезна

ченияед ничноем“ яассаЗемли”,обозначающееопределенвеличи,т..предметную

.Так им

обр,дафункцияннаязомсопоставляетпредммат( риальнты

ыеобъекты,обладающиема

ссой)другими

предметамивеличинами( массы).

Основными логическтерминами

русского языкаявляютследующиесловаялово:есть“” очетания

(“суть”),и”,или“”,“если“

...то...,не”,неверно“,что...всякий”,”каждый“(“”), “

все”,некоторые“ ”,тот..“

.который, ...”.

Рассмотрпредл:Если“нодинчлжениемс Ивановыхмьинеявляе

тсячестнымчелов,иСтепанком

— члсеИвановыхмьи,тоСтепан

еявляечесчелтнымся

овеком”иопред,какимсемантическимлим

категориотносям

тсявыражения,являющиеся

егочастями.Вэтомпредлесли“...т...о, жении”

— логический

термин,ни“один” (“

все”)

— логическийтермин,чл“ Ивановыхмьи”

— общимя,н“”ее

— логическийтер

мин,

6

“является”есть(“”)

— логическийтермин,честный“ человек”

— общееимя, ”“

— логическийтермин,Степан“ ”

—

едимяничное.

6. Суждение.Простыесуждения

:атриоббутивные

отношениях

Суждение – мысль,вкоторойутверждает

сянакл/ситуацийичиеилисв

язеймеждуситуациями.Вязыке

суждениевыраженопредлможцевкачествениватьсяистинногом/ложного.

Простые суждения – суждения,вкот.

нельзявыделитьчасть, вляю

щуюсясуждением

:

1. Атрибутивныесуждения

– суждения,вкот.вы

ражаетсяпринадлежность

предметамили

отсутствие

предметовк/лсв

-в;

ØУтвердительные – полное/частичноевключклассание

предметовкласспредметовили

принекадлежность.предмета

классупредметов

ØОтрицательные – полное/частичное

невключениеклассапредметовкласспредметов

или непринекадлежность.предмклассутадметов

• Покол

-ву:

ØЕдиничные – принадлежность/непринад

лежностьпредмклассуетадметов

(Австрия –

европейскаястр

ана)

ØОбщие – включение/нев предметассаючение

овкласспредметов

(Всезвёздыне

являюобитаемымися

)

ØЧастные – частичное включение/нев предметовассаючениеклассдметов

(Нек.

преступлениясовершаютсякосвеннымумыслом

)

Вкажд.атрибутивном

сужденииесть:

• *Кванторн ыекол(

-венные)слова

– нек.все, идр.

Прешениивоопросаавильно/неправрассужденспользуетсяильности

делениеатрибутивных

суждений покачествуикол

-вуна:

•

*Единичноутвердительные(

s е/суть

P)

•

*Единичноотрицательные(

s неесть/несуть

P)

S и P суждениямогутраспределенывзяты(

полномобъёме)/нераспределенывзяты(

невпол нобъёме).

Вобщединичныхи сужденияхраспредсубъекты,в лены

отрицательных – предикаты.Остальные

терминынераспределены.

2.

Сужденияоботношениях

– определёнотношеимесил(етнеиоеимесет

а)между n-ками

предметМоскванапр(., «бо

льшеРязани»

-

отношениебольший«

»имесМосквоймеждуети

Рязанью)

•

Покачеству:

ØУтвердительные – предметынаходятсявопределёнотношенииом

ØОтрицательные – предметы не находятсявопределёнотношенииом

•

По кол-ву (взависимостиот

n-местных)

:

ØЕдинично-

-

единичные (ИвышеановПетрова

)

-

общие (Ивановзнавсетх

преподовюрфака

)

-

частные(

Ивановзнанек.чемпионовтмира

)

ØОбще-

-

единичные (ВстудеюрфзнаИвановатыютка

)

-

общие (Встудеюрфзнавсехтыпрютка

еподовюрфака

)

-

частные (Встудентыюрфака

знаютнек.чемпионов

мира)

ØЧастно-

-

единичные (Нек. студеюрфзнаИвановатыютка

)

-

общие (Нек.студеюрфзнавсехтыпреподовюткаюрфака

)

-

частные (Нек.студеюрфзнанекты.чемпионовюткамира

)

Слож.суждение

– суждение,вкот.мо

жновыделитьчасть,являющуюсясуждением.

•

Модальныхтерминвозм( ,чт…необходимо;вжно,что…случа;

йно,что…)

•

Ит. д.

1. Соединительныесуждения

– суждения,вкот. верждаетсяналичили2болситуаций(

напр.,

Понятыеприсутспротоколсоставляетсявуют

).

Чащевсеготакиеутввыражаютржденияпосредпредложений,содержащихятвом

союзи»«

.Он

обозначается символом«&»

,наз ывается знакнеопределённой( м)конъюнкции

. Суждениясэтимсоюзом

–

(неопределённо)конъюнктивные

.

8

А& B – формаконъюнктивногосуждения

.

A

B

А & B

и

и

и

и

л

л

л

и

л

л

л

л

Последовательно-конъюнктивныесуждения

– суждения,

вко

торых

утверждаетсяпосле

довательное

возникновениеилисущество

ваниеили2болееситуац.Ониобразуютсяиилий2болеесуждений,при

→

→ (…азатем,…; …,

помсоюзов, щибозначаемыхсимволами

(знакамипоследовательнойконъюнкции)

ониобразуются(

аз атем…,

азатем…и.д).взависи

мочисластисуждений,изкот.

напр.Были, глашены

&

, &

поня,азатыеем

составленпротокол

).

А &→ B – форма последовательно-конъюнктивногосуждения.

Одновременно-конъюнктивныесуждения

( ') – суждения,

вкот.в

ыражаетсяодновремен

ное

существование/возникновение2ситу

аций( напр.,

Произввыемкадокументовдитприсутспонятвуютые

).

А &' B – формапоследовательно

&

-конъюнктивногосуждения.

2Разделит. сужденияльные

– суждения,вкот. вержда

етсян

аличие 1 из2,ит.д.3

ситуаций:

1.

Дизъюнктивноесуждение

((нестрого)разделительное, единительно

-разделительное)

– утверждается

наличиепокрайнситуациймериз12е

(v – или – (нестрогая)дизъюнкция

)

A

B

А v B

и

и

и

и

л

и

л

и

и

л

л

л

2.

Строго-дизъюнктивное суждение (строго -разделительное) – утверждаетсяналичие

ровно 1из2

или

более ситуаций (v – или…или…,

- строгаяд

изъюнкция) – истолькоиннотогда,когдаистолькоинно1

суждениеизсоставляющегосужденийх

•

A+, … A-

) – знакn -местной строгойдизъюнкции

, где n > 2 (напр., 3

-местная:

илиА,илиВ,или

(

С).

A

B

А v B

и

и

л

9

и

л

и

л

и

и

л

л

л

3.

Условныесуждения

– суждения,вкот. верждае,чтоналичиеоднсиотуациисяйбуславливает

наличиедругой

(импликация → - если…то…,

):

1.

Необходимое условие дляданногособыт

ия – при его отсутствииэтонебытпроисходите

(Наличие

кислородаявляетсянеобходимымусловиемдля

того,чтобыогоньпродолжалгореть

)

2.

Достатусловиечное

дляданногособытия

– всякраз,когдаимеетсяйэтоуслов

ие,событпроисходите

(Выпадениедождя

являедостсяато

чнымусловиемдлятого,чтобыкрышидомовбылимокрыми

)

Видыусловий

:

1.

Достаточные,но необходимы е (Делчимостьсла

N на10являедост,нонеобходимымсяаточным

условиемегоделина ости

2)

2.

Необходимые,нонедостаточны

е (Делчимость

сла N наявляется2 необх,нонедостаточнымдимым

условиемегоделина6 ости

)

3.

Необходимые идостаточны

е (Делчимостьсла

N наи2является3 необходимымдостаточным

условиемегоделина6 ости

)

Вусловномсужден

ии:

1.

Основание – часть между «если»то«

» (ан тецендент)

2.

Следствие – часть после «то»

(консеквент)

Условноесуждение

– суждение,вкот.ситуация,описываемаяоснованиемявляедосутатялочнымвие

дляситуации,описледствиемываемой.

А

В

А → В

и

и

и

и

л

л

л

и

и

л

л

и

Контрафактическая связь(•

→) – ситуация,описываемаяоснова,не ес,ниемтслибыона

существовала,тосуществовалобыследствие(

ЕслибыИвановбылпрезидентом, неездилбывобщественном

транспорте).

4Суждения. эквив

алентности – суждения,вкот. верждаетс

явзаимная обусловленностьситуаций2

↔

(

- еслитолькоесли……,

(тогдаитолькотогда…когда,…)):

1. Основание – достаточннеобходимоеи услдляситуациивие,описываемой

следствием (Если

толькоеслиолнценах

одитсявзените,тотениот

егоявляются

самымикороткими

)

2. Следствие - достаточннеобходимоеи услдляситуациивие,описываемой

основанием

А

В

А ↔ В

и

и

и

и

л

л

л

и

л

л

л

и

Суждесэтимсоюзомназываетсяие

суждениемматериальнойэквивалентности.

5Сужд. свнеш.отрицаниемн я

– суждения,вкот. верждаетсяотсутствиенек.положениядел(

¬ (знак

отрицания)

- неверно,что…

; не).

А

¬А

и

л

л

и

6Алетические. ()

Модальныесуждения

– суждения,обрадрз.сужденийованныепутёмхар

-ки

описываемых нихположенийделв

качестве:

Атрисуждениябутивоботношенияхые

–

ассерторическиесуждения

. Ониявляютсяпросто()

утверждениямиилиотрицаниями.На

рядуснимивыделяют

сильныеслабыеутвержденияотрицания,

которые являются модальнымисуждениями

.

Понеобходи«ятия»,случайно«»,возм«» жно

- алетическиемодальныепонятия

(модальности).

Модальности:

1. Логические - положениеделможетбыть

логически:

• Возможно (M) - то,чтонепротиворечитз

-намлогики .Н евсето,что

лог. возможно,

фактически (Мызнаем,чтожизнаЛунеевозможнаьфактич( ),ноутвНа“Лускирждение

не

естьжизнь”непротиворзакл ,слнамгикиедоватчит,логичво ескильно

зможно,чтонаЛуне

естьжизнь

)

• Необходимо (L) - то,чтоявляетсяз

-ном логики