Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ «БистСма Π³ΡƒΠΌΠ°Π½ΠΈΡ‚Π°Ρ€Π½ΠΎΠ³ΠΎ ΠΈ ΡΠΎΡ†ΠΈΠ°Π»ΡŒΠ½ΠΎ-экономичСского знания». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 62

Автор Π’Π»Π°Π΄ΠΈΠΌΠΈΡ€ Π‘ΠΎΠ»ΠΎΠΌΠ°Ρ‚ΠΈΠ½

Рис. 4.17.


ΠŸΡ€ΠΎΠ°Π½Π°Π»ΠΈΠ·ΠΈΡ€ΡƒΠ΅ΠΌ Π΄Ρ€ΡƒΠ³ΠΎΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€: «НСкоторыС ΡŽΡ€ΠΈΡΡ‚Ρ‹ (S) β€“ Π°Π΄Π²ΠΎΠΊΠ°Ρ‚Ρ‹ (P)Β». Π’ Π΄Π°Π½Π½ΠΎΠΌ случаС объСм понятия Β«Π°Π΄Π²ΠΎΠΊΠ°Ρ‚Β» Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² объСм понятия Β«ΡŽΡ€ΠΈΡΡ‚Β». ΠžΡ‚ΡΡŽΠ΄Π° P распрСдСлСн, Π° ΡΡƒΠ±ΡŠΠ΅ΠΊΡ‚ – Π½Π΅Ρ‚ (рис. 4.18).


Рис. 4.18.

Π­Ρ‚ΠΎ ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΈΠΌΠ΅Π΅Ρ‚ мСсто Π² частных Π²Ρ‹Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… суТдСниях.

Π’ Ρ‡Π°ΡΡ‚Π½ΠΎΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… суТдСниях («НСкоторыС S Π½Π΅ Π΅ΡΡ‚ΡŒ PΒ») ΡΡƒΠ±ΡŠΠ΅ΠΊΡ‚ Π½Π΅ распрСдСлСн, Π° ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ распрСдСлСн. «НСкоторыС ΡŽΡ€ΠΈΡΡ‚Ρ‹ (S) Π½Π΅ ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π΄Π΅ΠΏΡƒΡ‚Π°Ρ‚Π°ΠΌΠΈ ГосударствСнной Π”ΡƒΠΌΡ‹ Π€Π΅Π΄Π΅Ρ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ Бобрания Российской Π€Π΅Π΄Π΅Ρ€Π°Ρ†ΠΈΠΈ (Π )Β» (рис. 4.19).


Рис. 4.19.


Боставим ΠΎΠ±Ρ‰ΡƒΡŽ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ распрСдСлСнности Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΎΠ² Π² суТдСниях



3.4. Π‘Π»ΠΎΠΆΠ½Ρ‹Π΅ суТдСния

Π‘Π»ΠΎΠΆΠ½Ρ‹Π΅ суТдСния ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ΡΡ ΠΈΠ· простых суТдСний с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских связок: ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ, эквивалСнции ΠΈ отрицания. Π’ зависимости ΠΎΡ‚ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡ‹Ρ… связок Π²Ρ‹Π΄Π΅Π»ΡΡŽΡ‚:

β€’  Π‘ΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ (ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅) суТдСния – это суТдСния, состоящиС ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… простых, соСдинСнных логичСской связкой Β«ΠΈΒ».

Π€ΠΎΡ€ΠΌΡƒΠ»Π° Ρ‚Π°ΠΊΠΈΡ… суТдСний – p Ξ› q, Π³Π΄Π΅ Ξ› – логичСская связка Β«ΠΈΒ»; p, q β€” Ρ‡Π»Π΅Π½Ρ‹ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ.

ΠžΡ‚ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ логичСская связка Β«ΠΈΒ» ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒΡΡ Ρ€Π°Π·Π½Ρ‹ΠΌΠΈ способами: Ξ›, Β·, &. Π’ СстСствСнном языкС ΠΎΠ½Π° выраТаСтся Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΠΎ-Ρ€Π°Π·Π½ΠΎΠΌΡƒ: ΠΈ, Π°, Π½ΠΎ, Π° Ρ‚Π°ΠΊΠΆΠ΅, ΠΊΠ°ΠΊ ΠΈ, хотя, ΠΎΠ΄Π½Π°ΠΊΠΎ, нСсмотря Π½Π°, ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ, Π° ΠΈΠ½ΠΎΠ³Π΄Π° просто запятой.

НапримСр, Β«ΠŸΡ€Π΅ΡΡ‚ΡƒΠΏΠ»Π΅Π½ΠΈΡ Π±Ρ‹Π²Π°ΡŽΡ‚ ΡƒΠΌΡ‹ΡˆΠ»Π΅Π½Π½Ρ‹Π΅ (p) ΠΈ ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½Ρ‹Π΅ ΠΏΠΎ нСостороТности (q)Β» – p Ξ› q.

Π’ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹ нСсколько ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ образования ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… суТдСний:

S1 ΠΈ S2 Π΅ΡΡ‚ΡŒ P.

Β«ΠšΡ€Π°ΠΆΠ° ΠΈ Π³Ρ€Π°Π±Π΅ΠΆ – прСступлСния ΠΏΡ€ΠΎΡ‚ΠΈΠ² собствСнности».

S Π΅ΡΡ‚ΡŒ P1 ΠΈ P2.

«БубвСнция Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ использована ΠΏΠΎ Ρ†Π΅Π»Π΅Π²ΠΎΠΌΡƒ Π½Π°Π·Π½Π°Ρ‡Π΅Π½ΠΈΡŽ ΠΈ Π² установлСнный срок».

S1 ΠΈ S2 Π΅ΡΡ‚ΡŒ P1 ΠΈ P2.

«Адвокаты ΠŸΠ΅Ρ‚Ρ€ΠΎΠ² ΠΈ Π‘ΠΈΠ΄ΠΎΡ€ΠΎΠ² – порядочныС люди ΠΈ Π²Ρ‹ΡΠΎΠΊΠΎΠΏΡ€ΠΎΡ„Π΅ΡΡΠΈΠΎΠ½Π°Π»ΡŒΠ½Ρ‹Π΅ ΡŽΡ€ΠΈΡΡ‚Ρ‹Β».

Условия истинности суТдСния p Ξ› q ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ продСмонстрированы Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности:



Π‘ΡƒΠΆΠ΄Π΅Π½ΠΈΠ΅ p Ξ› q истинно Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, Ссли истинны входящиС Π² Π½Π΅Π³ΠΎ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚Ρ‹. Π’ΠΎ всСх Π΄Ρ€ΡƒΠ³ΠΈΡ… случаях ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ суТдСниС Π»ΠΎΠΆΠ½ΠΎ. Для построСния Ρ‚Π°ΠΊΠΎΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Π² Π»Π΅Π²Ρ‹Ρ… столбцах Π²Π°ΠΆΠ½ΠΎ ΡΠΎΠ±Π»ΡŽΠ΄Π°Ρ‚ΡŒ порядок чСрСдования Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ «истина» ΠΈ «лоТь» для ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΎΠ². Для этой Ρ†Π΅Π»ΠΈ Ρƒ значСния q «истина» ΠΈ «лоТь» Ρ‡Π΅Ρ€Π΅Π΄ΡƒΡŽΡ‚ΡΡ Π΄Ρ€ΡƒΠ³ Π·Π° Π΄Ρ€ΡƒΠ³ΠΎΠΌ, Π° Ρƒ значСния p Π΄Π²Π° Ρ€Π°Π·Π° ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ «истина», Π΄Π²Π° Ρ€Π°Π·Π° – «лоТь». Π’ΠΎΠΎΠ±Ρ‰Π΅, количСство строк Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Π·Π°Π΄Π°Π½ΠΎ количСством ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Оно вычисляСтся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅: 2n, Π³Π΄Π΅ n – количСство ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Если ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… 2 (ΠΊΠ°ΠΊ Π² ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅), Ρ‚ΠΎ строк Π±ΡƒΠ΄Π΅Ρ‚ 4; Ссли 3–8; 4 – 16 ΠΈ Ρ‚. Π΄. ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ построСния Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ для Ρ‚Ρ€Π΅Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (p, q, r).

Π’Π°ΠΊΠΈΠΌ способом строится Ρ‚Π°Π±Π»ΠΈΡ†Π° Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ для ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ…, Π½ΠΎ ΠΈ для Π»ΡŽΠ±Ρ‹Ρ… Π΄Ρ€ΡƒΠ³ΠΈΡ… слоТных суТдСний.



β€’ Π Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ (Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅) суТдСния

Π­Ρ‚ΠΎ суТдСния, состоящиС ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… простых, связанных логичСской связкой Β«ΠΈΠ»ΠΈΒ» (ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅ΠΌΠΎΠΉ V). Π€ΠΎΡ€ΠΌΡƒΠ»Π° Ρ‚Π°ΠΊΠΈΡ… суТдСний – pVq.

Π Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ суТдСниС ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΎ Ρ€Π°Π·Π½Ρ‹ΠΌΠΈ способами:

β€’ S1 ΠΈΠ»ΠΈ S2 Π΅ΡΡ‚ΡŒ P.

«По ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΡŽ суда ΠΈΠ»ΠΈ ΠΏΠΎΡΡ‚Π°Π½ΠΎΠ²Π»Π΅Π½ΠΈΡŽ ΡΡƒΠ΄ΡŒΠΈ Π² качСствС Π·Π°Ρ‰ΠΈΡ‚Π½ΠΈΠΊΠ° ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π΄ΠΎΠΏΡƒΡ‰Π΅Π½Ρ‹ Π±Π»ΠΈΠ·ΠΊΠΈΠ΅ родствСнники».

β€’ S Π΅ΡΡ‚ΡŒ P1 ΠΈΠ»ΠΈ P2.

Β«ΠŸΡ€ΠΈΠ³ΠΎΠ²ΠΎΡ€ суда ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ±Π²ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌ ΠΈΠ»ΠΈ ΠΎΠΏΡ€Π°Π²Π΄Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΒ».

β€’ S1 ΠΈΠ»ΠΈ S2 Π΅ΡΡ‚ΡŒ P1 ΠΈΠ»ΠΈ P2.

«Бсылка ΠΈΠ»ΠΈ высылка ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡ‚ΡŒΡΡ Π² качСствС основной ΠΈΠ»ΠΈ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ санкции».

Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅ суТдСния Π² зависимости ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, Π² ΠΊΠ°ΠΊΠΎΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΈ употрСбляСтся связка Β«ΠΈΠ»ΠΈΒ» (ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ-Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ ΠΈΠ»ΠΈ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅-Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ), ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ нСстрогими ΠΈΠ»ΠΈ строгими.

ΠŸΡ€ΠΈ нСстрогой Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ связка Β«ΠΈΠ»ΠΈΒ» употрСбляСтся Π² ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ-Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΈ. Β«ΠŸΡ€Π΅ΡΡ‚ΡƒΠΏΠ»Π΅Π½ΠΈΡ ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Ρ‹ ΠΏΠΎ нСостороТности ΠΈΠ»ΠΈ ΡƒΠΌΡ‹ΡˆΠ»Π΅Π½Π½ΠΎΒ» (pVq). Бвязка Β«ΠΈΠ»ΠΈΒ», с ΠΎΠ΄Π½ΠΎΠΉ стороны, раздСляСт здСсь Π΄Π²Π΅ Ρ„ΠΎΡ€ΠΌΡ‹ Π²ΠΈΠ½Ρ‹, Π½ΠΎ, с Π΄Ρ€ΡƒΠ³ΠΎΠΉ – ΠΈ соСдиняСт, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π² ΡΡ‚Π°Ρ‚ΡŒΠ΅ 27 УК Π Π€, Π²Π²Π΅Π΄Π΅Π½Π½ΠΎΠ³ΠΎ Π² дСйствиС с 1 января 1997 Π³ΠΎΠ΄Π°, Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ сформулирована ΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²Π΅Π½Π½ΠΎΡΡ‚ΡŒ Π·Π° прСступлСниС, ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½ΠΎΠ΅ с двумя Ρ„ΠΎΡ€ΠΌΠ°ΠΌΠΈ Π²ΠΈΠ½Ρ‹, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΡƒΠΌΡ‹ΡˆΠ»Π΅Π½Π½ΠΎ ΠΈ нСостороТно.



Рассмотрим ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ нСстрогой Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, для Ρ‡Π΅Π³ΠΎ вновь обратимся ΠΊ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ истинности:

Π‘ΡƒΠΆΠ΄Π΅Π½ΠΈΠ΅ p V q истинно Π²ΠΎ всСх случаях, ΠΊΡ€ΠΎΠΌΠ΅ Ρ‚ΠΎΠ³ΠΎ, ΠΊΠΎΠ³Π΄Π° Π΄Π²Π° Π΅Π³ΠΎ Ρ‡Π»Π΅Π½Π° (Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚Π°), Π»ΠΎΠΆΠ½Ρ‹.

ΠŸΡ€ΠΈ строгой Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ связка Β«ΠΈΠ»ΠΈΒ» употрСбляСтся Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΈ. Для обозначСния строгой Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ Π΅ΡΡ‚ΡŒ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Π΅ Π·Π½Π°ΠΊΠΈ: VV ΠΈΠ»ΠΈ V..

ΠžΠ±Ρ‰Π°Ρ схСма Ρ‚Π°ΠΊΠΎΠ²Π°: pVVq. НапримСр, Β«ΠŸΡ€ΠΈΠ³ΠΎΠ²ΠΎΡ€ суда ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ±Π²ΠΈΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌ ΠΈΠ»ΠΈ ΠΎΠΏΡ€Π°Π²Π΄Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΒ».

Π˜ΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ строгой Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ выглядит ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ (см. Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ). ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ p ΠΈ q ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‚ Π΄Ρ€ΡƒΠ³ Π΄Ρ€ΡƒΠ³Π°, ΠΎΠ½ΠΈ Π½Π΅ ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π½ΠΈ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ истинными, Π½ΠΈ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π»ΠΎΠΆΠ½Ρ‹ΠΌΠΈ.

БущСствуСт Π΅Ρ‰Π΅ ΠΎΠ΄Π½ΠΎ ΠΏΠΎΠ΄Ρ€Π°Π·Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ – Π½Π° ΠΏΠΎΠ»Π½ΡƒΡŽ ΠΈ Π½Π΅ΠΏΠΎΠ»Π½ΡƒΡŽ. Если пСрСчислСны всС ΠΏΡ€ΠΈΠ·Π½Π°ΠΊΠΈ ΠΈΠ»ΠΈ Π²ΠΈΠ΄Ρ‹ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ³ΠΎ Ρ€ΠΎΠ΄Π° Π² Π΄Π°Π½Π½ΠΎΠΌ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎΠΌ суТдСнии, Ρ‚ΠΎ ΠΎΠ½ΠΎ Π±ΡƒΠ΄Π΅Ρ‚ Π½Π°Π·Ρ‹Π²Π°Ρ‚ΡŒΡΡ ΠΏΠΎΠ»Π½ΠΎΠΉ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ; Ссли ΠΆΠ΅ Π½Π΅Ρ‚ – Ρ‚ΠΎ Π½Π΅ΠΏΠΎΠ»Π½ΠΎΠΉ. НапримСр, Π² зависимости ΠΎΡ‚ ситуации ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ суТдСниС ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»Π½ΠΎΠΉ ΠΈΠ»ΠΈ Π½Π΅ΠΏΠΎΠ»Π½ΠΎΠΉ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ. На Ρ€Π°Π½Π½ΠΈΡ… этапах слСдствия Π² Π΄Π΅Π»Π΅ ΠΎΠ± убийствС P. Ρ„ΠΈΠ³ΡƒΡ€ΠΈΡ€ΠΎΠ²Π°Π»ΠΈ Π΄Π²ΠΎΠ΅ ΠΏΠΎΠ΄ΠΎΠ·Ρ€Π΅Π²Π°Π΅ΠΌΡ‹Ρ…. Π‘Π»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ Мишин считал, Ρ‡Ρ‚ΠΎ убийство ΡΠΎΠ²Π΅Ρ€ΡˆΠΈΠ» Π»ΠΈΠ±ΠΎ ΠŸΠ΅Ρ‚Ρ€ΠΎΠ², Π»ΠΈΠ±ΠΎ Π‘ΠΈΠ΄ΠΎΡ€ΠΎΠ². Однако ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ Π½Π΅ ΠΈΡΠΊΠ»ΡŽΡ‡Π°Π», Ρ‡Ρ‚ΠΎ Π² Π΄Π΅Π»Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΠΎΡΠ²ΠΈΡ‚ΡŒΡΡ ΠΈ Π½ΠΎΠ²Ρ‹ΠΉ ΠΏΠΎΠ΄ΠΎΠ·Ρ€Π΅Π²Π°Π΅ΠΌΡ‹ΠΉ. ΠŸΠ΅Ρ€Π²ΠΎΠ½Π°Ρ‡Π°Π»ΡŒΠ½ΠΎΠ΅ суТдСниС слСдоватСля выступало Π² качСствС Π½Π΅ΠΏΠΎΠ»Π½ΠΎΠΉ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ. Π’ дальнСйшСм собранныС Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° ΠΏΠΎΠ΄Ρ‚Π²Π΅Ρ€Π΄ΠΈΠ»ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠ½Π°Ρ‡Π°Π»ΡŒΠ½ΡƒΡŽ Π²Π΅Ρ€ΡΠΈΡŽ слСдоватСля, Ρ‡Ρ‚ΠΎ ΡƒΠ±ΠΈΠΉΡ†Π° Π»ΠΈΠ±ΠΎ ΠŸΠ΅Ρ‚Ρ€ΠΎΠ², Π»ΠΈΠ±ΠΎ Π‘ΠΈΠ΄ΠΎΡ€ΠΎΠ². Π”Π°Π½Π½ΠΎΠ΅ суТдСниС ΠΎΠ±Ρ€Π΅Π»ΠΎ статус ΠΏΠΎΠ»Π½ΠΎΠΉ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ.

β€’ Π£ΡΠ»ΠΎΠ²Π½Ρ‹Π΅ (ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Ρ‹Π΅) суТдСния. Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Ρ‹Π΅ суТдСния состоят ΠΈΠ· Π΄Π²ΡƒΡ… простых, соСдинСнных логичСской связкой «Ссли…, то…».

НапримСр, «Если ΠΏΡ€Π΅Π²Ρ‹ΡˆΠ΅Π½ΠΈΠ΅ ΠΏΡ€Π΅Π΄Π΅Π»ΠΎΠ² Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΠΉ ΠΎΠ±ΠΎΡ€ΠΎΠ½Ρ‹ Π±Ρ‹Π»ΠΎ Π΄ΠΎΠΏΡƒΡ‰Π΅Π½ΠΎ ΠΏΠΎ нСостороТности, Ρ‚ΠΎ Π·Π°ΠΊΠΎΠ½ считаСт Ρ‚Π°ΠΊΠΈΠ΅ дСйствия ΠΎΠ±ΠΎΡ€ΠΎΠ½ΡΡŽΡ‰Π΅Π³ΠΎΡΡ ΠΏΡ€Π°Π²ΠΎΠΌΠ΅Ρ€Π½Ρ‹ΠΌΠΈΒ». ΠŸΠ΅Ρ€Π²ΠΎΠ΅ суТдСниС Β«ΠΏΡ€Π΅Π²Ρ‹ΡˆΠ΅Π½ΠΈΠ΅ ΠΏΡ€Π΅Π΄Π΅Π»ΠΎΠ² Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΠΉ ΠΎΠ±ΠΎΡ€ΠΎΠ½Ρ‹ Π±Ρ‹Π»ΠΎ Π΄ΠΎΠΏΡƒΡ‰Π΅Π½ΠΎ ΠΏΠΎ нСостороТности» – основаниС (Π°Π½Ρ‚Π΅Ρ†Π΅Π΄Π΅Π½Ρ‚), Π²Ρ‚ΠΎΡ€ΠΎΠ΅ – Β«Π·Π°ΠΊΠΎΠ½ считаСт Ρ‚Π°ΠΊΠΈΠ΅ дСйствия ΠΎΠ±ΠΎΡ€ΠΎΠ½ΡΡŽΡ‰Π΅Π³ΠΎΡΡ ΠΏΡ€Π°Π²ΠΎΠΌΠ΅Ρ€Π½Ρ‹ΠΌΠΈΒ» – слСдствиС (консСквСнт).

(p β†’ q) β€“ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ суТдСния, Π³Π΄Π΅ p – Π°Π½Ρ‚Π΅Ρ†Π΅Π΄Π΅Π½Ρ‚, q – консСквСнт, Π° Β«β†’Β» – связка («Ссли…, то…»).

Боставим Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности для ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ суТдСния:

Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΡ Π»ΠΎΠΆΠ½Π° Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, Ссли ΠΈΠ· истинности Π°Π½Ρ‚Π΅Ρ†Π΅Π΄Π΅Π½Ρ‚Π° Π²Ρ‹Ρ‚Π΅ΠΊΠ°Π΅Ρ‚ Π»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ консСквСнта. Π’ Π΄Ρ€ΡƒΠ³ΠΈΡ… случаях ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ суТдСниС истинно.




Π’ СстСствСнном языкС логичСская связка Ρ‚Π°ΠΊΠΎΠ³ΠΎ суТдСния выраТаСтся: «Ссли…, то…», «там…, гдС…», Β«ΠΏΠΎΡΡ‚ΠΎΠ»ΡŒΠΊΡƒβ€¦, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒβ€¦Β» ΠΈ ΠΏΡ€. Π’ ΡŽΡ€ΠΈΠ΄ΠΈΡ‡Π΅ΡΠΊΠΈΡ… тСкстах ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Ρ‹Π΅ суТдСния ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ довольно часто. ΠŸΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ ΠΈΡ… Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΡƒΡŽΡ‚ΡΡ Ρ€Π°Π·Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ, Π·Π°ΠΏΡ€Π΅Ρ‚Ρ‹, обязывания ΠΈ Ρ‚. Π΄.

β€’ Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½Ρ‹Π΅ суТдСния (двойная импликация). Π­Ρ‚ΠΈ суТдСния Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‚ Π² сСбя Π΄Π²Π° простых суТдСния, соСдинСнных Π΄Π²ΠΎΠΉΠ½ΠΎΠΉ условной Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡ‚ΡŒΡŽ, Π²Ρ‹Ρ€Π°ΠΆΠ°Π΅ΠΌΠΎΠΉ логичСской связкой «Ссли, ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли…, то…» Π‘Ρ…Π΅ΠΌΠ° ΠΈΡ… Ρ‚Π°ΠΊΠΎΠ²Π°: p ≑ q, Π³Π΄Π΅ ≑ – Π·Π½Π°ΠΊ эквивалСнтности.

НапримСр, Β«Π›ΠΈΡ†ΠΎ ΠΏΠΎΠ΄Π»Π΅ΠΆΠΈΡ‚ ΡƒΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ отвСтствСнности, Ссли ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли Π΄ΠΎΠΊΠ°Π·Π°Π½ Ρ„Π°ΠΊΡ‚ ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½ΠΈΡ ΠΈΠΌ прСступлСния».

Π’ СстСствСнном языкС ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ выраТаСтся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ: «лишь ΠΏΡ€ΠΈ условии что…, то…», Β«Π² Ρ‚ΠΎΠΌ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС когда…, тогда…» ΠΈ Π΄Ρ€.

Условия истинности эквивалСнтных суТдСний Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½Ρ‹ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

Если ΠΎΠ±Π° простых суТдСния ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ значСния, Ρ‚ΠΎ эквивалСнтноС суТдСниС истинно, Π² Π΄Ρ€ΡƒΠ³ΠΈΡ… – Π»ΠΎΠΆΠ½ΠΎ. ΠžΠ±Ρ‰Π°Ρ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности слоТных суТдСний:



Достаточно часто Π²ΡΡ‚Ρ€Π΅Ρ‡Π°ΡŽΡ‚ΡΡ ΠΊΠΎΠΌΠ±ΠΈΠ½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹Π΅ суТдСния, ΠΊΠΎΠ³Π΄Π° ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ логичСскиС связки ΠΌΠ΅ΠΆΠ΄Ρƒ простыми суТдСниями. НапримСр, Β«Π“Ρ€Π°ΠΆΠ΄Π°Π½Π΅ Российской Π€Π΅Π΄Π΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈ постоянно ΠΏΡ€ΠΎΠΆΠΈΠ²Π°ΡŽΡ‰ΠΈΠ΅ Π² Π Π€ Π»ΠΈΡ†Π° Π±Π΅Π· граТданства, ΡΠΎΠ²Π΅Ρ€ΡˆΠΈΠ²ΡˆΠΈΠ΅ прСступлСния Π²Π½Π΅ ΠΏΡ€Π΅Π΄Π΅Π»ΠΎΠ² Π Π€, ΠΏΠΎΠ΄Π»Π΅ΠΆΠ°Ρ‚ ΡƒΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ отвСтствСнности (с), Ссли ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½ΠΎΠ΅ ΠΈΠΌΠΈ дСяниС ΠΏΡ€ΠΈΠ·Π½Π°Π½ΠΎ прСступлСниСм Π² государствС, Π½Π° Ρ‚Π΅Ρ€Ρ€ΠΈΡ‚ΠΎΡ€ΠΈΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΎΠ½ΠΎ ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½ΠΎ(Π°), ΠΈ Ссли эти Π»ΠΈΡ†Π° Π½Π΅ Π±Ρ‹Π»ΠΈ осуТдСны Π² иностранном государствС (b)Β».