Способы проверки правильности силлогизмов

хНПЪБЛМАЮЕОЙЕ: ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ЛМБУУЙЖЙЛБГЙС
рТПУФПК ЛБФЕЗПТЙЮЕУЛЙК УЙММПЗЙЪН (рлу): ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ПВЭЙЕ РТБЧЙМБ
жЙЗХТЩ Й НПДХУЩ рлу
чЩЧПДЩ ЙЪ УМПЦОЩИ УХЦДЕОЙК
йОДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС Й БОБМПЗЙЙ

1. хНПЪБЛМАЮЕОЙЕ: ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ЛМБУУЙЖЙЛБГЙС.

хНПЪБЛМАЮЕОЙЕ — ЖПТНБ НЩЫМЕОЙС, РПУТЕДУФЧПН ЛПФПТПК ЙЪ ПДОПЗП Й ВПМЕЕ УХЦДЕОЙК ЧЩЧПДЙФУС ОПЧПЕ УХЦДЕОЙЕ.

йУФЙООПУФШ Й РТБЧЙМШОПУФШ НЩУМЙ.

йУФЙООПУФШ ЪБЛМАЮЕОЙС ПВХУМПЧМЕОБ ДЧХНС ЖБЛФПТБНЙ: ЧП-РЕТЧЩИ, ЙУФЙООПУФША РПУЩМПЛ, ЧП-ЧФПТЩИ, ЖПТНБМШОПК РТБЧЙМШОПУФША УЧСЪЙ НЕЦДХ РПУЩМЛБНЙ — РТБЧЙМШОПК ЖПТНПК УППФЧЕФУФЧХАЭЕЗП ХНПЪБЛМАЮЕОЙС.
йУФЙООЩН СЧМСЕФУС НЩЫМЕОЙЕ, БДЕЛЧБФОП ПФТБЦБАЭЕЕ ЖТБЗНЕОФ ДЕКУФЧЙФЕМШОПУФЙ, Б «РТБЧЙМШОЩН» ОБЪЩЧБЕФУС НЩЫМЕОЙЕ, ОЕ ОБТХЫБАЭЕЕ РТБЧЙМ Й ЪБЛПОПЧ ЖПТНБМШОПК МПЗЙЛЙ.

уФТХЛФХТБ ХНПЪБЛМАЮЕОЙС

мАВПЕ ХНПЪБЛМАЮЕОЙЕ УПУФПЙФ ЙЪ РПУЩМПЛ Й ЪБЛМАЮЕОЙС ЙМЙ ЧЩЧПДБ ЙЪ РПУЩМПЛ. рПУЩМЛЙ — ЬФП ЙУИПДОЩЕ УХЦДЕОЙС, Б ЪБЛМАЮЕОЙЕ — ОПЧПЕ УХЦДЕОЙЕ.
рТЙ ЧЩСЧМЕОЙЙ МПЗЙЮЕУЛПК ЖПТНЩ ХНПЪБЛМАЮЕОЙС РПУЩМЛЙ Й ЪБЛМАЮЕОЙЕ РТЙОСФП ЪБРЙУЩЧБФШ УФПМВЙЛПН. рПУЩМЛЙ ПФДЕМСАФУС ПФ ЪБЛМАЮЕОЙС ЗПТЙЪПОФБМШОПК ЮЕТФПК. оБД ОЕК ЪБРЙУЩЧБАФУС РПУЩМЛЙ, Б РПД ОЕК — ЪБЛМАЮЕОЙЕ.

фТБДЙГЙПООЩК ДТЕЧОЕЗТЕЮЕУЛЙК УЙММПЗЙЪН:

[РПУЩМЛБ] чУЕ МАДЙ — УНЕТФОЩ.
[РПУЩМЛБ] чУЕ ЗТЕЛЙ — МАДЙ.
[ЪБЛМАЮЕОЙЕ] уМЕДПЧБФЕМШОП, ЧУЕ ЗТЕЛЙ УНЕТФОЩ

мПЗЙЮЕУЛЙН ПУОПЧБОЙЕН ЧЩЧЕДЕОЙС ОПЧПЗП УХЦДЕОЙС СЧМСЕФУС УНЩУМПЧБС УЧСЪШ РПУЩМПЛ. пОЙ УПУФПСФ ЙЪ УХЦДЕОЙК, УПУФПСЭЙИ ЙЪ ПДЙОБЛПЧЩИ ФЕТНЙОПЧ, Ф. Е. УЧСЪБООЩИ РП УПДЕТЦБОЙА. еУМЙ ЧЪСФШ ТБЪОЩЕ РП УПДЕТЦБОЙА УХЦДЕОЙС, ФП ЧЩЧПД ЙЪ ОЙИ ОЕЧПЪНПЦЕО. оБРТЙНЕТ, ЙЪ УХЦДЕОЙК «чУЕ РМБОЕФЩ — ОЕВЕУОЩЕ ФЕМБ» Й «тХЮЛБ — ЛБОГЕМСТУЛЙК РТЙВПТ» ОЕМШЪС УДЕМБФШ ЪБЛМАЮЕОЙЕ. оЙ Ч ДЕКУФЧЙФЕМШОПУФЙ, ОЙ МПЗЙЮЕУЛЙ ПОЙ ОЕ УЧСЪБОЩ.
ч ЪБЧЙУЙНПУФЙ ПФ РПУМЕДПЧБФЕМШОПУФЙ ДЧЙЦЕОЙС НЩУМЙ Й МПЗЙЮЕУЛПК ПВПУОПЧБООПУФЙ ЧЩЧПДОПЗП УХЦДЕОЙС ХНПЪБЛМАЮЕОЙС ДЕМСФУС ОБ ЧЙДЩ:
1) ДЕДХЛФЙЧОЩЕ: ПФ ВПМЕЕ ПВЭЕЗП ЪОБОЙС Л НЕОЕЕ ПВЭЕНХ; ЪБЛМАЮЕОЙЕ У МПЗЙЮЕУЛПК ОЕПВИПДЙНПУФША ЧЩФЕЛБЕФ ЙЪ РПУЩМПЛ, ПОП ЙНЙ ПВПУОПЧБОП РПМОПУФША Й ПДОПЪОБЮОП;
2) ЙОДХЛФЙЧОЩЕ: ПФ НЕОЕЕ ПВЭЕЗП ЪОБОЙС Л ВПМЕЕ ПВЭЕНХ; ЪБЛМАЮЕОЙЕ ЙНЕЕФ ЮБЭЕ ЧУЕЗП ЧЕТПСФОПУФОЩК ИБТБЛФЕТ;
3) ХНПЪБЛМАЮЕОЙС РП БОБМПЗЙЙ: ПФ ЮБУФОПЗП ЪОБОЙС Л ЮБУФОПНХ; ЪБЛМАЮЕОЙЕ ОПУЙФ ЧЕТПСФОПУФОЩК ИБТБЛФЕТ.
дЕДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС ДБАФ ЮЙУФП ЖПТНБМШОЩЕ ЧЩЧПДЩ, Ф.Е. РП УХЭЕУФЧХ МЙЫШ ТБУЛТЩЧБАФ Ч ОПЧПК ЖПТНЕ ЙОЖПТНБГЙА, ЙЪОБЮБМШОП ЪБМПЦЕООХА Ч РПУЩМЛБИ.
йОДХЛФЙЧОЩЕ ЧЩЧПДЩ Й БОБМПЗЙЙ ХУФХРБАФ ДЕДХЛГЙЙ Ч ФПЮОПУФЙ, ОП ЙНЕАФ РТЕЙНХЭЕУФЧП Ч ФПН, ЮФП ФПМШЛП Ч ОЙИ РПСЧМСЕФУС РТЙОГЙРЙБМШОП ОПЧПЕ ЪОБОЙЕ.

2. рлу: ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ПВЭЙЕ РТБЧЙМБ.

рТПУФПК ЛБФЕЗПТЙЮЕУЛЙК УЙММПЗЙЪН (рлу) — ЬФП ДЕДХЛФЙЧОПЕ ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ЙЪ ДЧХИ ЛБФЕЗПТЙЮЕУЛЙИ УХЦДЕОЙК ЧЩЧПДЙФУС ОПЧПЕ ЛБФЕЗПТЙЮЕУЛПЕ УХЦДЕОЙЕ.
ч УЙММПЗЙЪНЕ ТБЪМЙЮБАФ ФТЙ ФЕТНЙОБ:
уХВЯЕЛФ ЪБЛМАЮЕОЙС ОБЪЩЧБЕФУС НЕОШЫЙН ФЕТНЙОПН (S)
рТЕДЙЛБФ ЪБЛМАЮЕОЙС ОБЪЩЧБЕФУС ВoМШЫЙН ФЕТНЙОПН (т)
рПОСФЙЕ, ЛПФПТПЕ РТЙУХФУФЧХЕФ Ч ПВЕЙИ РПУЩМЛБИ, ОП ПФУХФУФЧХЕФ Ч ЪБЛМАЮЕОЙЙ ОБЪЩЧБЕФУС УТЕДОЙН ФЕТНЙОПН (н). еЗП ЖХОЛГЙС — УЧСЪБФШ РПУЩМЛЙ.
уХЦДЕОЙЕ, Ч ЛПФПТПЕ ЧИПДЙФ ВoМШЫЙК ФЕТНЙО, ОБЪЩЧБЕФУС ВoМШЫЕК РПУЩМЛПК.
уХЦДЕОЙЕ, Ч ЛПФПТПЕ ЧИПДЙФ НЕОШЫЙК ФЕТНЙО, ОБЪЩЧБЕФУС НeОШЫЕК РПУЩМЛПК.

рПЮЕНХ ЬФЙ ФЕТНЙОЩ РПМХЮЙМЙ ФБЛПЕ ОБЪЧБОЙЕ МЕЗЛП ХЧЙДЕФШ, ЕУМЙ ЙЪПВТБЪЙФШ ПФОПЫЕОЙЕ ФЕТНЙОПЧ РТЙЧЕДЕООПЗП ЧЩЫЕ УЙММПЗЙЪНБ РТЙ РПНПЭЙ ЛТХЗПЧ ьКМЕТБ. «ЗТЕЛЙ» — S, «МАДЙ» — н, «УНЕТФОЩ» — т. йЪ ДЙБЗТБННЩ ЧЙДОП, ЮФП ОБЪЧБОЙС ФЕТНЙОПЧ УППФЧЕФУФЧХАФ ЙИ ПВЯЕНБН
фТБДЙГЙПООП Ч УЙММПЗЙЪНБИ УОБЮБМБ ХЛБЪЩЧБЕФУС ВoМШЫБС, Б ЪБФЕН НeОШЫБС РПУЩМЛБ

бЛУЙПНБ УЙММПЗЙЪНБ

еЕ УХФШ: рТЙЪОБЛ РТЙЪОБЛБ ЕУФШ РТЙЪОБЛ УБНПК ЧЕЭЙ ( РТЙОГЙР nota notae — РТЙЪОБЛ РТЙЪОБЛБ), Б ФП ЮФП РТПФЙЧПТЕЮЙФ РТЙЪОБЛХ ЧЕЭЙ, РТПФЙЧПТЕЮЙФ Й УБНПК ЧЕЭЙ.
ьФПК БЛУЙПНЕ РТЕДЫЕУФЧХЕФ ДТХЗБС БЛУЙПНБ: ЧУЕ ЮФП ХФЧЕТЦДБЕФУС ПФОПУЙФЕМШОП ЧУЕЗП НОПЦЕУФЧБ, ХФЧЕТЦДБЕФУС Й ПФОПУЙФЕМШОП ЛБЦДПЗП ЕЗП РПДНОПЦЕУФЧБ, Й ЧУЕ, ЮФП ПФТЙГБЕФУС ПФОПУЙФЕМШОП ЧУЕЗП НОПЦЕУФЧБ, ПФТЙГБЕФУС Й ПФОПУЙФЕМШОП ЛБЦДПЗП ЕЗП РПДНОПЦЕУФЧБ (Ч ФТБД. МПЗЙЛЕ ЬФПФ РТЙОГЙР РПМХЮЙМ ОБЪЧБОЙЕ dictum de omni et nullo — ТЕЮШ ПВП ЧУЕН Й ОЙ П ЮЕН).

пВЭЙЕ РТБЧЙМБ рлу.

I. рТБЧЙМБ ФЕТНЙОПЧ:
1) Ч УЙММПЗЙЪНЕ ДПМЦОП ВЩФШ ФПМШЛП 3 ФЕТНЙОБ
фЕТНЙО н ДПМЦЕО ВЩФШ ПДОЙН Й ФЕН ЦЕ РПОСФЙЕН Ч ПВЕЙИ РПУЩМЛБИ, ЙОБЮЕ РПМХЮЙН ПЫЙВЛХ, ОБЪЩЧБЕНХА «ХЮЕФЧЕТЕОЙЕН ФЕТНЙОПЧ».

цЙЪОШ — ЬФП ВПТШВБ
дЪАДП — ВПТШВБ
цЙЪОШ — ЬФП ДЪАДП

2) УТЕДОЙК ФЕТНЙО ДПМЦЕО ВЩФШ ТБУРТЕДЕМЕО ИПФС ВЩ Ч ПДОПК ЙЪ РПУЩМПЛ.
еУМЙ УТЕДОЙК ФЕТНЙО ОЕ ТБУРТЕДЕМЕО ОЙ Ч ПДОПК ЙЪ РПУЩМПЛ, ФП ПФОПЫЕОЙЕ НЕЦДХ ЛТБКОЙНЙ ФЕТНЙОБНЙ Ч ЪБЛМАЮЕОЙЙ ПУФБЕФУС ОЕПРТЕДЕМЕООЩН.

оЕЛПФПТЩЕ ЪНЕЙ СДПЧЙФЩ
хЦ — ЪНЕС
хЦ — СДПЧЙФ

3) ФЕТНЙО, ОЕ ТБУРТЕДЕМЕООЩК Ч РПУЩМЛБИ, ОЕ НПЦЕФ ВЩФШ ТБУРТЕДЕМЕО Ч ЪБЛМАЮЕОЙЙ.
рТЙ ОБТХЫЕОЙЙ ЬФПЗП РТБЧЙМБ ЧПЪОЙЛБЕФ МПЗ. ПЫЙВЛБ «ОЕЪБЛПООПЕ ТБУЫЙТЕОЙЕ ФЕТНЙОБ».

чУЕ РЕДБЗПЗЙ ЧПУРЙФБООЩ
пО ОЕ РЕДБЗПЗ
пО ОЕЧПУРЙФБО

II. рТБЧЙМБ РПУЩМПЛ:
1) йЪ ДЧХИ ПФТЙГБФЕМШОЩИ РПУЩМПЛ ЪБЛМАЮЕОЙЕ УДЕМБФШ ОЕМШЪС (ИПФС ВЩ ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОПК).

оЙ ПДЙО УФХДЕОФ ОЕ СЧМСЕФУС РТЕРПДБЧБФЕМЕН
CФХДЕОФ йЧБОПЧ ОЕ СЧМСЕФУС РТЕРПДБЧБФЕМЕН
?

2) йЪ ДЧХИ ЮБУФОЩИ РПУЩМПЛ ЪБЛМАЮЕОЙЕ ОЕ УМЕДХЕФ (ИПФС ВЩ ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ПВЭЙН УХЦДЕОЙЕН).
йЪ ДЧХИ ЮБУФОЩИ РПУЩМПЛ РТБЧЙМШОПЕ ЪБЛМАЮЕОЙЕ УДЕМБФШ ОЕЧПЪНПЦОП.

оЕЛПФПТЩЕ УФХДЕОФЩ — ПФМЙЮОЙЛЙ
оЕЛПФПТЩЕ ДЧПЕЮОЙЛЙ — УФХДЕОФЩ
оЕЛПФПТЩЕ ДЧПЕЮОЙЛЙ-ПФМЙЮОЙЛЙ-? — ЪДЕУШ ОЕМШЪС ЧЩЧПДЙФШ ЪБЛМАЮЕОЙЕ

3) ЕУМЙ ПДОБ ЙЪ РПУЩМПЛ — ПФТЙГБФЕМШОПЕ УХЦДЕОЙЕ, ФП Й ЪБЛМАЮЕОЙЕ ДПМЦОП ВЩФШ ПФТЙГБФЕМШОЩН.

рТЙНЕТ РТБЧ. ЧЩЧПДБ:

оЙ ПДЙО РБРПТПФОЙЛ ОЙЛПЗДБ ОЕ ГЧЕФЕФ
ьФП ТБУФЕОЙЕ ГЧЕФЕФ
ьФП ТБУФЕОЙЕ ОЕ РБРПТПФОЙЛ

4) ЕУМЙ ПДОБ ЙЪ РПУЩМПЛ ЮБУФОБС, ФП Й ЪБЛМАЮЕОЙЕ ДПМЦОП ВЩФШ ЮБУФОЩН.

чУЕ ЛПУНПОБЧФЩ — ФТЕОЙТПЧБООЩЕ МАДЙ
оЕЛПФПТЩЕ ЦЕОЭЙОЩ УФБМЙ ЛПУНПОБЧФБНЙ
оЕЛПФПТЩЕ ЦЕОЭЙОЩ ФТЕОЙТПЧБООЩЕ МАДЙ

3. жЙЗХТЩ Й НПДХУЩ РТПУФПЗП ЛБФЕЗПТЙЮЕУЛПЗП УЙММПЗЙЪНБ

жЙЗХТЩ УЙММПЗЙЪНБ — ЬФП ЕЗП ТБЪОПЧЙДОПУФЙ, ТБЪМЙЮБАЭЙЕУС РПМПЦЕОЙЕН УТЕДОЕЗП ФЕТНЙОБ (н) Ч РПУЩМЛБИ.
рПУЩМЛЙ ЙЪПВТБЦБАФУС ЗПТЙЪПОФБМШОЩНЙ ПФТЕЪЛБНЙ, ЛТБКОЙЕ ФПЮЛЙ ПФТЕЪЛПЧ ПВПЪОБЮБАФ ФЕТНЙОЩ, Б ОБЛМПООЩЕ ЙМЙ ЧЕТФЙЛБМШОЩЕ МЙОЙЙ УПЕДЙОСАФ УТЕДОЙК ФЕТНЙО Ч ТБЪОЩИ РПУЩМЛБИ)
чПЪНПЦОЩ 4 ЧБТЙБОФБ ФБЛЙИ УФТХЛФХТ:

I ЖЙЗХТБ

ч 1-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП УХВЯЕЛФБ Ч ВПМШЫЕК РПУЩМЛЕ РТЕДЙЛБФБ Ч НЕОШЫЕК.
рТЙНЕТ:

чУЕ НЕФБММЩ (н) — ЬМЕЛФТПРТПЧПДОЩ (т)
нЕДШ (S) — НЕФБММ (н)
нЕДШ (S) — ЬМЕЛФТПРТПЧПДОБ (т)

рТБЧЙМБ 1-К ЖЙЗХТЩ:
1) ВoМШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ПВЭЕК (б ЙМЙ е);
2) НeОШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОПК (б ЙМЙ I).

чУЕ УФХДЕОФЩ — МАДЙ
оЙ ПДЙО РТПЖЕУУПТ ОЕ СЧМСЕФУС УФХДЕОФПН
оЙ ПДЙО РТПЖЕУУПТ ОЕ СЧМСЕФУС ЮЕМПЧЕЛПН — ОЕРТБЧЙМШОЩК УЙММПЗЙЪН, Ф. Л. НЕОШЫБС РПУЩМЛБ ПФТЙГБФЕМШОБС

оЕЛПФПТЩЕ МАДЙ ЪБУМХЦЙЧБАФ ХЧБЦЕОЙС
чУЕ РТЕУФХРОЙЛЙ — МАДЙ
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ ЪБУМХЦЙЧБАФ ХЧБЦЕОЙС — ОЕРТБЧЙМШОЩК УЙММПЗЙЪН, Ф. Л. ВoМШЫБС РПУЩМЛБ СЧМСЕФУС ЮБУФОЩН УХЦДЕОЙЕН

II ЖЙЗХТБ

чП 2-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП РТЕДЙЛБФБ Ч ПВЕЙИ РПУЩМЛБИ

ьФПФ УНЕТФЕМШОЩК ХДБТ (т) ОБОЕУЕО ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ (M)
пВЧЙОСЕНЩК (S) ОЕ СЧМСЕФУС ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ (н)
пВЧЙОСЕНЩК (S) ОЕ ОБОЕУ ЬФПФ УНЕТФЕМШОЩК ХДБТ (P)

рТБЧЙМБ 2-К ЖЙЗХТЩ:
1) ВoМШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ПВЭЙН УХЦДЕОЙЕН (б, е);
2) ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ПФТЙГБФЕМШОЩН УХЦДЕОЙЕН (E, I).

чУЕ ЖЙЪЙЛЙ УФТЕНСФУС Л ЙУФЙОЕ
оЕЛПФПТЩЕ ЙУФПТЙЛЙ УФТЕНСФУС Л ЙУФЙОЕ
оЕЛПФПТЩЕ ЙУФПТЙЛЙ СЧМСАФУС ЖЙЪЙЛБНЙ — ОЕЧЕТОП, Ф. Л. ПВЕ РПУЩМЛЙ ХФЧЕТДЙФЕМШОЩЕ УХЦДЕОЙС

оЕЛПФПТЩЕ МАДЙ НПЗХФ ВЩФШ ПФГБНЙ
оЙ ПДОБ ЦЕОЭЙОБ ОЕ НПЦЕФ ВЩФШ ПФГПН
оЕЛПФПТЩЕ ЦЕОЭЙОЩ ОЕ НПЗХФ ВЩФШ МАДШНЙ — ОЕЧЕТОП, Ф. Л. ВoМШЫБС РПУЩМЛБ ЮБУФОПЕ УХЦДЕОЙЕ

III ЖЙЗХТБ

ч 3-ЕК ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП УХВЯЕЛФБ Ч ПВЕЙИ РПУЩМЛБИ.

оЙ ПДЙО УФТБХУ (н) ОЕ МЕФБЕФ (т)
чУЕ УФТБХУЩ (н) РФЙГЩ (S)
оЕЛПФПТЩЕ РФЙГЩ (S) ОЕ МЕФБАФ (P)

рТБЧЙМБ 3-К ЖЙЗХТЩ:
1) НeОШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОЩН УХЦДЕОЙЕН (б, I);
2) ЪБЛМАЮЕОЙЕ ДПМЦОП ВЩФШ ЮБУФОЩН УХЦДЕОЙЕН (I, п).

чУЕ УФХДЕОФЩ СЧМСАФУС МАДШНЙ
оЕЛПФПТЩЕ УФХДЕОФЩ ОЕ СЧМСАФУС НХЦЮЙОБНЙ
оЕЛПФПТЩЕ НХЦЮЙОЩ ОЕ СЧМСАФУС МАДШНЙ — ОЕЧЕТОП, Ф. Л. НЕОШЫБС РПУЩМЛБ ПФТЙГБФЕМШОБС

чУЕ УФХДЕОФЩ СЧМСАФУС МАДШНЙ
чУЕ УФХДЕОФЩ СЧМСАФУС ЦЙЧЩНЙ УХЭЕУФЧБНЙ
чУЕ ЦЙЧЩЕ УХЭЕУФЧБ СЧМСАФУС УФХДЕОФБНЙ — ОЕЧЕТОП, Ф. Л. ЪБЛМАЮЕОЙЕН СЧМСЕФУС ПВЭЕЕ УХЦДЕОЙЕ.

IV ЖЙЗХТБ

ч 4-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП РТЕДЙЛБФБ Ч ВПМШЫЕК Й УХВЯЕЛФБ Ч НЕОШЫЕК РПУЩМЛЕ.

оЙ ПДЙО УЮБУФМЙЧЩК ЮЕМПЧЕЛ(т) ОЕ УФТЕНЙФУСЛ УРТБЧЕДМЙЧПУФЙ (н)
оЕЛПФПТЩЕ УФТЕНСЭЙЕУС Л УРТБЧЕДМЙЧПУФЙ МАДЙ (M) СЧМСАФУС АТЙУФБНЙ (S)
оЕЛПФПТЩЕ АТЙУФЩ ОЕУЮБУФОЩ

рЕТЧБС ЖЙЗХТБ ФТБДЙГЙПООП УЮЙФБЕФУС Ч МПЗЙЛЕ ПУОПЧОПК. юЕФЧЕТФБС ЖЙЗХТБ ОПУЙФ ЙУЛХУУФЧЕООЩК ИБТБЛФЕТ, ЙУРПМШЪХЕФУС ТЕДЛП Й, ЛБЛ РТБЧЙМП, РТЕПВТБЪХЕФУС Ч ДТХЗЙЕ.

ъБДБЮЙ, ТЕЫБЕНЩ РТЙ РПНПЭЙ УЙММПЗЙЪНПЧ:

рТЙНЕОЕОЙЕ ПВЭЙИ РПМПЦЕОЙК (БЛУЙПН, ЪБЛПОПЧ РТЙТПДЩ, РТБЧПЧЩИ ОПТН) Л ЮБУФОЩН УМХЮБСН.
ьФХ ЪБДБЮХ ТЕЫБАФ УЙММПЗЙЪНЩ РП РЕТЧПК ЖЙЗХТЕ (оБРТ: чУЕ МАДЙ — УНЕТФОЩ. чУЕ ЗТЕЛЙ — МАДЙ. уМЕДПЧБФЕМШОП, ЧУЕ ЗТЕЛЙ УНЕТФОЩ).

пРТПЧЕТЦЕОЙЕ ОЕРТБЧЙМШОЩИ ДЕДХЛГЙК ЙМЙ ОЕРТБЧЙМШОЩИ РПДЮЙОЕОЙК.
дБООБС ЪБДБЮБ РТПФЙЧПРПМПЦОБ 1-К Й УЙММПЗЙЪНЩ ЕЕ ТЕЫБАЭЙЕ ЮБУФП ЙУРПМШЪХАФУС ДМС ПРТПЧЕТЦЕОЙС ОЕРТБЧЙМШОЩИ ЧЩЧПДПЧ, УДЕМБООЩИ РП 1-К ЖЙЗХТЕ.
ьФХ ЪБДБЮХ ТЕЫБАФ УЙММПЗЙЪНБНЙ РП 2-К ЖЙЗХТЕ (оБРТ: ьФПФ УНЕТФ. ХДБТ ОБОЕУЕО ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ. пВЧЙОСЕНЩК ОЕ СЧМСЕФУС ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ. ъОБЮЙФ, ПВЧЙОСЕНЩК ОЕ ОБОЕУ ЬФПФ УНЕТФЕМШОЩК ХДБТ).

пВПУОПЧБОЙЕ ЙУЛМАЮЕОЙК ЙЪ ПВЭЙИ РПМПЦЕОЙК.
ьФБ УЙФХБГЙС ЮБУФП ЧУФТЕЮБЕФУС Ч УРПТЕ. рТЕДРПМПЦЙН, ЧБЫ ПРРПОЕОФ ЧЩДЧЙЗБЕФ ЛБЛПЕ-МЙВП ПВЭЕЕ РПМПЦЕОЙЕ, Б ЧБН ОБДП ДПЛБЪБФШ ЙУЛМАЮЕОЙЕ ЙЪ ОЕЗП. фПЗДБ НПЦОП УНЕМП РТЙВЕЗОХФШ Л 3-ЕК ЖЙЗХТЕ (оБРТ: рТЕДРПМПЦЙН, ОБН ОБДП ДПЛБЪБФШ, ЮФП УХЦДЕОЙЕ «ЧУЕ МАДЙ ЙНЕАФ РТЕУФХРОЩЕ УЛМПООПУФЙ» ОЕ СЧМСЕФУС ЙУФЙООЩН. фПЗДБ ОБН ОБДП РПУФТПЙФШ УЙММПЗЙЪН РП 3-ЕК ЖЙЗХТЕ: оЙ ПДЙО ТЕВЕОПЛ ОЕ ЙНЕЕФ РТЕУФХРОЩИ ОБЛМПООПУФЕК. лБЦДЩК ТЕВЕОПЛ СЧМСЕФУС ЮЕМПЧЕЛПН. уМЕДПЧБФЕМШОП, ОЕЛПФПТЩЕ МАДЙ ОЕ ЙНЕАФ РТЕУФХРОЩИ ОБЛМПООПУФЕК)

лТПНЕ ФПЗП, Ч ЛБЦДПК ЖЙЗХТЕ ЧЩДЕМСАФ НПДХУЩ.

нПДХУЩ — ЬФП ПРТЕДЕМЕООЩЕ УПЮЕФБОЙС ЧЙДПЧ УХЦДЕОЙК Ч ЖЙЗХТБИ УЙММПЗЙЪНБ.
чУЕЗП ЧПЪНПЦОП 256 НПДХУПЧ УЙММПЗЙЪНПЧ.
нПДХУЩ УЙММПЗЙЪНПЧ ВЩЧБАФ РТБЧЙМШОЩЕ Й ОЕРТБЧЙМШОЩЕ. рТБЧЙМШОЩЕ УППФЧЕФУФЧХАФ РТБЧЙМШОЩН ХНПЪБЛМАЮЕОЙСН, ОЕРТБЧЙМШОЩЕ — ОЕРТБЧЙМШОЩН. рТБЧЙМШОЩНЙ СЧМСАФУС 24 НПДХУБ. пДОБЛП ФТБДЙГЙПООП ТБУУНБФТЙЧБАФУС ФПМШЛП 19 НПДХУПЧ

жЙЗ. I	жЙЗ. II	жЙЗ. III	жЙЗ. IV
AAA (Barbara)	EAE (Cesare)	AAI (Darapti)	AAI (Bramantip)
EAE (Celarent)	AEE (Camestres)	IAI (Disamis)	AEE (Camenes)
AII (Darii)	EIO (Festino)	AII (Datisi)	IAI (Dimaris)
EIO (Ferio)	AOO (Baroco)	EAO (Felapton)	EAO (Fesapo)
OAO (Bocardo)	EIO (Fresison)
EIO (Ferison)

уЙНЧПМЙЮЕУЛБС ЪБРЙУШ НПДХУПЧ ТБУЫЙЖТПЧЩЧБЕФУС ФБЛ: МЕЧЩК УЙНЧПМ ХЛБЪЩЧБЕФ ЧЙД ВoМШЫЕК РПУЩМЛЙ, УТЕДОЙК УЙНЧПМ — НЕОШЫЕК РПУЩМЛЙ, Б РТБЧЩК — ЧЙД ЪБЛМАЮЕОЙС.

иПД ТБУУХЦДЕОЙС РП 4-К ЖЙЗХТЕ ОЕ ФЙРЙЮЕО ДМС РТПГЕУУБ НЩЫМЕОЙС (4-С ЖЙЗХТБ СЧМСЕФУС ЙУЛХУУФЧЕООПК) РТБЧЙМБ ЬФПК ЖЙЗХТЩ ОБНЙ ОЕ ТБУУНБФТЙЧБАФУС

тБЪОПЧЙДОПУФЙ РТПУФПЗП ЛБФЕЗПТЙЮЕУЛПЗП УЙММПЗЙЪНБ:

1. ьОФЙНЕНБ (УПЛТБЭЕООЩК УЙММПЗЙЪН) (ПФ ЗТЕЮ. cМПЧ en tyme — Ч ХНЕ) — ЬФП ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ПРХЭЕОБ ПДОБ ЙЪ РПУЩМПЛ ЙМЙ ЪБЛМАЮЕОЙЕ. ч ЦЙЪОЙ НЩ ПРХУЛБЕН Ч УЧПЙИ ТБУУХЦДЕОЙСИ ПЮЕЧЙДОЩЕ РПУЩМЛЙ, ОЕСЧОП ЙИ РТЕДРПМБЗБС.
тБУУНПФТЙН НЕИБОЙЪН ПВТБЪПЧБОЙС ЬОФЙНЕН

чУЕ РПТПЛЙ ЪБУМХЦЙЧБАФ ОБЛБЪБОЙС
лХТЕОЙЕ — РПТПЛ
лХТЕОЙЕ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС

йЪ ЬФПЗП УЙММПЗЙЪНБ НПЦОП РПУФТПЙФШ УМЕДХАЭЙЕ ЬОФЙНЕНЩ:

у ПРХЭЕООПК ВoМШЫЕК РПУЩМЛПК: «лХТЕОЙЕ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС, РПФПНХ ЮФП ПОП РПТПЛ»

у ПРХЭЕООПК НЕОШЫЕК РПУЩМЛПК: «чУСЛЙК РПТПЛ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС, РПЬФПНХ ЛХТЕОЙЕ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС:

у ПРХЭЕООЩН ЪБЛМАЮЕОЙЕН: «чУСЛЙК РПТПЛ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС, Б ЛХТЕОЙЕ — ЬФП РПТПЛ»

ьОФЙНЕНБ ЮБУФП ЙУРПМШЪХЕФУС Ч РПЧУЕДОЕЧОПН НЩЫМЕОЙЙ Й Ч ПТБФПТУЛПК РТБЛФЙЛЕ. уПЛТБЭЕООБС ЖПТНБ УРПУПВУФЧХЕФ МХЮЫЕНХ ЧПУРТЙСФЙА. лТПНЕ ФПЗП РТЙ РПНПЭЙ ЬОФЙНЕНЩ ДПУФЙЗБЕФУС ЬЖЖЕЛФ ХВЕДЙФЕМШОПУФЙ, ФБЛ ЛБЛ УПВЕУЕДОЙЛ ЧЩОХЦДЕО ТЕЛПОУФТХЙТПЧБФШ ЕЕ ДП РПМОПЗП ХНПЪБЛМАЮЕОЙС Й ОБЮЙОБЕФ УЮЙФБФШ ЪБЛМАЮЕОЙЕ УЧПЙН УПВУФЧЕООЩН.

2. рПМЙУЙММПЗЙЪН (УМПЦОЩК УЙММПЗЙЪН) — УПЮЕФБОЙЕ ДЧХИ ЙМЙ ВПМЕЕ РТПУФЩИ УЙММПЗЙЪНПЧ, Ч ЛПФПТПН ЪБЛМАЮЕОЙЕ РТЕДЫЕУФЧХАЭЕЗП УЙММПЗЙЪНБ (РТПУЙММПЗЙЪНБ) УФБОПЧЙУФУС РПУЩМЛПК РПУМЕДХАЭЕЗП (ЬРЙУЙММПЗЙЪНБ).

тБЪМЙЮБАФ РТПЗТЕУУЙЧОЩК Й ТЕЗТЕУУЙЧОЩК РПМЙУЙММПЗЙЪН.
Б) рТПЗТЕУУЙЧОЩН РПМЙУЙММПЗЙЪНПН ОБЪЩЧБЕФУС РПМЙУЙММПЗЙЪН, Ч ЛПФПТПН ЪБЛМАЮЕОЙЕ РТПУЙММПЗЙЪНБ УФБОПЧЙФУС ВoМШЫЕК РПУЩМЛПК ЬРЙУЙММПЗЙЪНБ.

у РПНПЭША ЬФПЗП РТПЗТЕУУЙЧОПЗП РПМЙУЙММПЗЙЪНБ НЩ РПЬФБРОП У НБЛУЙНБМШОПК ПЮЕЧЙДОПУФША РЕТЕОЕУМЙ РТЙЪОБЛ «УНЕТФОЩК» У ПВЭЕЗП РПОСФЙС «ЦЙЧПЕ УХЭЕУФЧП» ОБ ЕДЙОЙЮОПЕ РПОСФЙЕ «уПЛТБФ»

В) тЕЗТЕУУЙЧОЩН РПМЙУЙММПЗЙЪНПН ОБЪЩЧБЕФУС РПМЙУЙММПЗЙЪН, Ч ЛПФПТПН ЪБЛМАЮЕОЙЕ РТПУЙММПЗЙЪНБ УФБОПЧЙФУС НЕОШЫЕК РПУЩМЛПК ЬРЙУЙММПЗЙЪНБ.

чУЕ НЩУМСЭЙЕ МАДЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ СЧМСАФУС НЩУМСЭЙНЙ МАДШНЙ
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА

чУЕ МАДЙ, УРПУПВОЩЕ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА, ЪБУМХЦЙЧБАФ УОЙУИПЦДЕОЙС
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ ЪБУМХЦЙЧБАФ УОЙУИПЦДЕОЙС

3. уПТЙФ (УПЛТБЭЕООЩК РПМЙУЙММПЗЙЪН) (ПФ ЗТЕЮ. soros — ЛХЮБ). ч ФБЛПК ЖПТНЕ ЧЩЧПДБ РТПРХЭЕОЩ ЪБЛМАЮЕОЙС РТПУФЩИ УЙММПЗЙЪНПЧ, ЛПФПТЩЕ ПВТБЪХАФ ВoМШЫХА ЙМЙ НЕОШЫХА РПУЩМЛЙ ЬРЙУЙММПЗЙЪНПЧ.
бОБМПЗЙЮОП РПМЙУЙММПЗЙЪНХ УПТЙФЩ ВЩЧБАФ РТПЗТЕУУЙЧОЩЕ (ЗПЛМЕОЙЕЧУЛЙЕ, РП ЙНЕОЙ БЧФПТБ — ОЕН. МПЗЙЛБ зПЛМЕОБ (1547-1628)) Й ТЕЗТЕУУЙЧОЩЕ (БТЙУФПФЕМЕЧУЛЙЕ)

ч РТПЗТЕУУЙЧОПН УПТЙФЕ РТПРХЭЕОЩ ВoМШЫЙЕ РПУЩМЛЙ ЬРЙУЙММПЗЙЪНПЧ:

4. ьРЙИЕКТЕНБ (ПФ ЗТЕЮ. Epiheirema — ХНПЪБЛМАЮЕОЙЕ) — УМПЦОПУПЛТБЭЕООЩК УЙММПЗЙЪН, Ч ЛПФПТПН ПВЕ РПУЩМЛЙ — ЬОФЙНЕНЩ.

зЕРБФЙФ МЕЮЙФУС Ч УФБГЙПОБТЕ, Ф. Л. ПО — ЙОЖЕЛГ. ЪБВПМЕЧБОЙЕ -1-С ЬОФЙНЕНБ
х ЧБУ — ЗЕРБФЙФ, Ф.Л. Х ЧБУ ПВОБТХЦЕО ЧЙТХУ ЗЕРБФЙФБ б -2-С ЬОФЙНЕНБ
чЩ ДПМЦОЩ МЕЮЙФУС Ч УФБГЙПОБТЕ

дБООБС ЬРЙИЕКТЕНБ УПУФПЙФ ЙЪ ДЧХИ ЬОФЙНЕН У РТПРХЭЕООЩНЙ ВoМШЫЙНЙ РПУЩМЛБНЙ.

4. чЩЧПДЩ ЙЪ УМПЦОЩИ УХЦДЕОЙК.

хНПЪБЛМАЮЕОЙС НПЗХФ УПУФПСФШ ОЕ ФПМШЛП ЙЪ РТПУФЩИ, ОП Й ЙЪ УМПЦОЩИ УХЦДЕОЙК. нЩ ТБУУНПФТЙН ОБЙВПМЕЕ ХРПФТЕВМСЕНЩЕ — ХУМПЧОЩЕ Й ТБЪДЕМЙФЕМШОЩЕ УЙММПЗЙЪНЩ.

1. хУМПЧОЩК УЙММПЗЙЪН — УЙММПЗЙЪН, Ч ЛПФПТПН ИПФС ВЩ ПДОБ РПУЩМЛБ СЧМСЕФУС ЙНРМЙЛБФЙЧОЩН (ХУМПЧОЩН) УХЦДЕОЙЕН.

Б) ЮЙУФП ХУМПЧОЩК (ЗЙРПФЕФЙЮЕУЛЙК) УЙММПЗЙЪН , Ч ЛПФПТПН ПВЕ РПУЩМЛЙ Й ЪБЛМАЮЕОЙЕ — ХУМПЧОЩЕ УХЦДЕОЙС:
p&#8594q еУМЙ НОПЗП ЧТБФШ, ФП НПЦОП РПФЕТСФШ ДПЧЕТЙЕ
q&#8594r еУМЙ РПФЕТСФШ ДПЧЕТЙЕ, ФП НПЦОП ПУФБФШУС ПДОПНХ
p&#8594r еУМЙ НОПЗП ЧТБФШ, ФП НПЦОП ПУФБФШУС ПДОПНХ

рТБЧЙМП ХУМПЧОПЗП УЙММПЗЙЪНБ: УМЕДУФЧЙЕ УМЕДУФЧЙС ЕУФШ УМЕДУФЧЙЕ ПУОПЧБОЙС ;

В) ХУМПЧОП-ЛБФЕЗПТЙЮЕУЛЙК УЙММПЗЙЪН, Ч ЛПФПТПН ПДОБ РПУЩМЛБ — ХУМПЧОПЕ УХЦДЕОЙЕ, Б ДТХЗБС Й ЪБЛМАЮЕОЙЕ — ЛБФЕЗПТЙЮЕУЛЙЕ УХЦДЕОЙС.

х ЬФПЗП УЙММПЗЙЪНБ ЧПЪНПЦОЩ 4 НПДХУБ:

рПОЕОУ	фПММЕОУ
p&#8594q	p&#8594q	p&#8594q	p&#8594q
p	q	&#172p	&#172q
q	p	&#172q	&#172p

дПУФПЧЕТОЩЕ НПДХУЩ

нПДХУ РПОЕОУ (МБФ. modus ponens) — ХФЧЕТЦДБАЭЙК НПДХУ (ЕЗП ЪБЛМАЮЕОЙЕ ХФЧЕТДЙФЕМШОПЕ УХЦДЕОЙЕ)
нПДХУ ФПММЕОУ (МБФ. modus tollens) ПФТЙГБАЭЙК(ЕЗП ЪБЛМАЮЕОЙЕ ПФТЙГБФЕМШОПЕ УХЦДЕОЙЕ).

нПДХУ РПОЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ХФЧЕТЦДЕОЙС ПУОПЧБОЙС Л ХФЧЕТЦДЕОЙА УМЕДУФЧЙС):

p&#8594q	еУМЙ Ч ЙНРЕТЙСИ ОБЮЙОБЕФ ТХЫЙФШУС УЕНШС, ФП ПОЙ ПВТБЭБАФУС Ч РТБИ.
p	ч тЙНУЛПК ЙНРЕТЙЙ ОБЮБМБ ТХЫЙФШУС УЕНШС.
q	пОБ ПВТБФЙМБУШ Ч РТБИ.

нПДХУ ФПММЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ПФТЙГБОЙС УМЕДУФЧЙС Л ПФТЙГБОЙА ПУОПЧБОЙС):

p&#8594q	еУМЙ РПДЗПФПЧМАУШ, ФП УДБН ЬЛЪБНЕО.
&#172q	ьЛЪБНЕО С ОЕ УДБМ
&#172p	с ОЕ РПДЗПФПЧЙМУС.

рТБЧДПРПДПВОЩЕ (ОЕРТБЧЙМШОЩЕ НПДХУЩ):

— пФ ПФТЙГБОЙС ПУОПЧБОЙС Л ПФТЙГБОЙА УМЕДУФЧЙС

p&#8594q	еУМЙ ЬФП — ВХМПЮЛБ, ФП ЬФП — УЯЕДПВОП
&#172p	ьФП — ОЕ ВХМПЮЛБ
&#172q	(ЧЕТПСФОП) ЬФП — ОЕУЯЕДПВОП

— пФ ХФЧЕТЦДЕОЙС УМЕДУФЧЙС Л ХФЧЕТЦДЕОЙА ПУОПЧБОЙС

p&#8594q	еУМЙ ЬФП — ВХМПЮЛБ, ФП ЬФП — УЯЕДПВОП
q	ьФП — УЯЕДПВОП
p	(ЧЕТПСФОП) ЬФП — ВХМПЮЛБ

дБООЩЕ НПДХУЩ ОЕ РПЪЧПМСАФ ХУФБОПЧЙФШ ЗМБЧОХА РТЙЮЙОХ УМЕДУФЧЙС Й РПЬФПНХ ДБАФ МЙЫШ РТБЧДПРПДПВОЩЕ ЪБЛМАЮЕОЙС.

2. тБЪДЕМЙФЕМШОЩК (БМШФЕТОБФЙЧОЩК) УЙММПЗЙЪН — УЙММПЗЙЪН, Ч ЛПФПТПН ЕУФШ ЙУЛМАЮБАЭЕ-ТБЪДЕМЙФЕМШОПЕ УХЦДЕОЙЕ(УФТПЗБС ДЙЪЯАОЛГЙС).

S ЕУФШ т ЙМЙ т1	уПУФБЧМСАЭБС БФПНБ — МЙВП ЪБТСЦЕООБС, МЙВП ОЕКФТБМШОБС.
т ЕУФШ т2 ЙМЙ тъ	ъБТСЦЕООБС УПУФБЧМСАЭБС БФПНБ — МЙВП ЬМЕЛФТПО, МЙВП РТПФПО.
S ЕУФШ т1 ЙМЙ т2 ЙМЙ тъ	уПУФБЧМСАЭБС БФПНБ — МЙВП ЬМЕЛФТПО, МЙВП РТПФПО, МЙВП ОЕКФТБМШОБ.

В) Ч ТБЪДЕМЙФЕМШОП-ЛБФЕЗПТЙЮЕУЛПН УЙММПЗЙЪНЕ ВПМШЫБС РПУЩМЛБ — УФТПЗП ТБЪДЕМЙФЕМШОПЕ УХЦДЕОЙЕ, Б НЕОШЫБС — ЛБФЕЗПТЙЮЕУЛПЕ.

йНЕЕФ ДЧБ НПДХУБ:

(1) ХФЧЕТЦДБАЭЕ-ПФТЙГБАЭЙК (modus ponendo tollens)

pvq	мЙВП РБО, МЙВП РТПРБМ.
p	рБО.
&#172q	оЕ РТПРБМ.

(2) ПФТЙГБАЭЕ-ХФЧЕТЦДБАЭЙК (modus tollendo ponens)

pvq	мЙВП РБО, МЙВП РТПРБМ.
&#172p	оЕ РБО
q	рТПРБМ.

рТБЧЙМБ:
1) Ч ДЙЪЯАОЛФЙЧОЩИ РПУЩМЛБИ ДПМЦОЩ ВЩФШ РЕТЕЮЙУМЕОЩ ЧУЕ ЮМЕОЩ ДЙЪЯАОЛГЙЙ (ДЕМЕОЙС);
2) ЮМЕОЩ ДЕМЕОЙС ДПМЦОЩ ЙУЛМАЮБФШ ДТХЗ ДТХЗБ (УФТПЗБС ДЙЪЯАОЛГЙС).

чУЕ ЬФЙ ЖПТНЩ ОЕРПУТЕДУФЧЕООП УМЕДХАФ ЙЪ ПРТЕДЕМЕОЙС ЙНРМЙЛБГЙЙ Й УФТПЗПК ДЙЪЯАОЛГЙЙ ЮЕТЕЪ ФБВМЙГЩ ЙУФЙООПУФЙ, Б РТБЧЙМШОЩЕ ЖПТНЩ ЧЩТБЦБАФ МПЗЙЮЕУЛЙЕ ЪБЛПОЩ.
лТПНЕ ФПЗП, ЮБУФП ЧУФТЕЮБАФУС Й ХУМПЧОП-ТБЪДЕМЙФЕМШОЩЕ УЙММПЗЙЪНЩ, Ч ЛПФПТЩИ ВПМШЫБС РПУЩМЛБ — ЛПОЯАОЛГЙС ХУМПЧОЩИ УХЦДЕОЙК, Б НЕОШЫБС — ТБЪДЕМЙФЕМШОПЕ УХЦДЕОЙЕ. ч ЪБЧЙУЙНПУФЙ ПФ ЮЙУМБ ЮМЕОПЧ ДЙЪЯАОЛГЙЙ (БМШФЕТОБФЙЧ) ЧЩДЕМСАФ ДЙМЕННЩ (2 ЮМЕОБ), ФТЙМЕННЩ (3 ЮМЕОБ), РПМЙМЕННЩ (ВПМЕЕ ФТЕИ ЮМЕОПЧ). оБРТЙНЕТ, МПЗЙЮЕУЛБС УФТХЛФХТБ ЙЪЧЕУФОПК УЛБЪПЮОПК УЙФХБГЙЙ «ЧЙФСЪС ОБ ТБУРХФШЕ» (РТСНП РПЕДЕЫШ — ЗПМПЧХ УМПЦЙЫШ, ОБРТБЧП РПЕДЕЫШ — ЛПОС РПФЕТСЕЫШ, ОБМЕЧП РПЕДЕЫШ — ЦЕОХ ОБКДЕЫШ) ЙНЕЕФ ЖПТНХ ФТЙМЕННЩ:

(p1&#8594q1)&#38(p2&#8594q2)&#38(p3&#8594q3)

p1vp2vp3

q1vq2vq3.

5. йОДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС Й БОБМПЗЙЙ.

йОДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС — ЬФП ХНПЪБЛМАЮЕОЙС, Ч ЛПФПТЩИ ЙЪ ЮБУФОЩИ РПУЩМПЛ ДЕМБАФ ПВЭЙК ЧЩЧПД.
дЕДХЛГЙС, УФТПЗП ЗПЧПТС, ОЕ ДБЕФ ОПЧПЗП ЪОБОЙС. еЕ ЪБДБЮБ — ПВПУОПЧБОЙЕ ЙУФЙОЩ. йОДХЛГЙС — ТБУЫЙТСЕФ ОБЫЕ ЪОБОЙЕ, Ф.Л. СЧМСЕФУС ПВПВЭЕОЙЕН, ОП ДБЕФ ОЕ ДПУФПЧЕТОЩК, Б ЧЕТПСФОЩК ЧЩЧПД.
йУЮЕТРЩЧБАЭЕЕ ЙОДХЛФЙЧОПЕ ПВПВЭЕОЙЕ, ЛПЗДБ ТБУУНБФТЙЧБЕНЩК ЛМБУУ ЛПОЕЮЕО Й ОЕ УМЙЫЛПН ЧЕМЙЛ, ФБЛ ЮФП НЩ НПЦЕН ЙУУМЕДПЧБФШ ЧУЕ ЮБУФОЩЕ УМХЮБЙ УЮЙФБЕФУС РПМОПК ЙОДХЛГЙЕК.
рПМОБС ЙОДХЛГЙС — ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ОБ ПУОПЧЕ РТЙОБДМЕЦОПУФЙ РТЙЪОБЛБ ЛБЦДПНХ ЬМЕНЕОФХ ЛМБУУБ ДЕМБЕФУС ЧЩЧПД П ЕЗП РТЙОБДМЕЦОПУФЙ ЛМБУУХ Ч ГЕМПН. пВЩЮОП ЮЙУМП ПВПВЭБЕНЩИ УМХЮБЕЧ ВЕУЛПОЕЮОП ЧЕМЙЛП Й ЙОДХЛГЙС СЧМСЕФУС ОЕРПМОПК
оЕРПМОБС ЙОДХЛГЙС — ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ОБ ПУОПЧЕ РТЙОБДМЕЦОПУФЙ РТЙЪОБЛБ МЙЫШ ОЕЛПФПТЩН ЬМЕНЕОФБН ЛМБУУБ ДЕМБАФ ЧЩЧПД П ЕЗП РТЙОБДМЕЦОПУФЙ ЛМБУУХ Ч ГЕМПН.

уИЕНБ РПМОПК ЙОДХЛГЙЙ:

S1 ЙНЕЕФ РТЙЪОБЛ P

S2 ЙНЕЕФ РТЙЪОБЛ P

S3 ЙНЕЕФ РТЙЪОБЛ P

……………

S50 ЙНЕЕФ РТЙЪОБЛ т

S1, S2, S3,&#8230, S50 — ПВТБЪХАФ ЧЕУШ ЛМБУУ S

чУЕ S ЙНЕАФ РТЙЪОБЛ т,

ъДЕУШ ЧЩЧПД ДПУФПЧЕТЕО.
рПМОБС ЙОДХЛГЙС ЮБУФП ТБУУНБФТЙЧБЕФУС ЛБЛ ТБЪОПЧЙДОПУФШ ДЕДХЛФЙЧОПЗП ЧЩЧПДБ.

уИЕНБ ОЕРПМОПК ЙОДХЛГЙЙ:

S1 ЙНЕЕФ РТЙЪОБЛ P

S2 ЙНЕЕФ РТЙЪОБЛ P

S3 ЙНЕЕФ РТЙЪОБЛ P

……………

Sn ЙНЕЕФ РТЙЪОБЛ т

S1, S2, S3,&#8230, Sn — ПВТБЪХАФ МЙЫШ ЮБУФШ ПВЯЕНБ S

(чЕТПСФОП) ЧУЕ S ЕУФШ т

оЕРПМОБС ЙОДХЛГЙС НПЦЕФ ВЩФШ РПРХМСТОПК Й ОБХЮОПК
рПРХМСТОБС ЙОДХЛГЙС — ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН РХФЕН РЕТЕЮЙУМЕОЙС ЖБЛФПЧ РП УМХЮБКОПНХ РТЙЪОБЛХ ЪБЛМАЮБАФ П РТЙОБДМЕЦОПУФЙ ЬФПЗП РТЙЪОБЛБ ЧУЕНХ ЛМБУУХ СЧМЕОЙК.
ьФП РТЙЧПДЙФ Л ОЕОБДЕЦОПУФЙ ЧЩЧПДПЧ, РТЙЮЕН ОЕЛПОФТПМЙТХЕНПК ОЕОБДЕЦОПУФЙ, РПУЛПМШЛХ ОЕЧПЪНПЦОП ПГЕОЙФШ НЕТХ ДПУФПЧЕТОПУФЙ (ЧЕТПСФОПУФШ ЙУФЙООПУФЙ) ЧЩЧПДБ.
оБХЮОБС ЙОДХЛГЙС — ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ПВПВЭЕОЙЕ УФТПЙФУС РХФЕН ПФВПТБ УХЭЕУФЧЕООЩИ РТЙЪОБЛПЧ.
дМС ОБХЮОПК ЙОДХЛГЙЙ ИБТБЛФЕТОБ УЙУФЕНБФЙЮОПУФШ Й НЕФПДЙЮОПУФШ ПФВПТБ ДБООЩИ ДМС ПВПВЭЕОЙС ЧЩТБЦЕООЩИ Ч ОБВПТЕ УХЦДЕОЙК, ПВПУОПЧЩЧБАЭЙИ ЧЩЧПД, УФТЕНМЕОЙЕ ЙУРПМШЪПЧБФШ Ч ЛПОЛТЕФОЩИ ПВПВЭЕОЙСИ ЪОБОЙЕ УХЭОПУФОЩИ УЧПКУФЧ Й ЪБЛПОПНЕТОПУФЕК РТЕДНЕФОПК ПВМБУФЙ, ЪБЛПОПЧ УФБФЙУФЙЛЙ. фБЛ, Л ОБХЮОПК ЙОДХЛГЙЙ НПЦОП ПФОЕУФЙ НОПЗППВТБЪОЩЕ УФБФЙУФЙЮЕУЛЙЕ НЕФПДЩ, ЫЙТПЛП ЙУРПМШЪХЕНЩЕ Ч ОБХЛЕ Й РТБЛФЙЛЕ.

хНПЪБЛМАЮЕОЙЕ РП БОБМПЗЙЙ — ХНПЪБЛМАЮЕОЙЕ, Ч ЛПФПТПН ОБ ПУОПЧБОЙЙ УИПДУФЧБ ПДОЙИ РТЙЪОБЛПЧ РТЕДНЕФБ ДЕМБЕФУС ЧЩЧПД П УИПДУФЧЕ ДТХЗЙИ РТЙЪОБЛПЧ.

б ЙНЕЕФ РТЙЪОБЛЙ a, b, c, d.

ч ЙНЕЕФ РТЙЪОБЛЙ a, b, c.

чЕТПСФОП, ч ЙНЕЕФ РТЙЪОБЛ d.

ЗДЕ a, b, c — ПВЭЙЕ РТЙЪОБЛЙ, d — РЕТЕОПУЙНЩК (ЬЛУФТБРПМЙТХЕНЩК).

ч ПУОПЧЕ ТБУУХЦДЕОЙС РП БОБМПЗЙЙ МЕЦЙФ УИПДУФЧП НЕЦДХ РТЕДНЕФБНЙ. уФЕРЕОШ ДПУФПЧЕТОПУФЙ ФБЛПЗП ЧЩЧПДБ ЪБЧЙУЙФ ЛБЛ ПФ ЮЙУМБ УИПДОЩИ РТЙЪОБЛПЧ (ЮЕН ВПМШЫЕ, ФЕН МХЮЫЕ), ФБЛ Й ПФ ЙИ УХЭЕУФЧЕООПУФЙ (ЮЕН УХЭЕУФЧЕООЕЕ РТЙЪОБЛ, ФЕН ЧЕТПСФОЕЕ РТБЧЙМШОЩК ЧЩЧПД).

Источник