Site Loader

Π‘ΠΎΠ΄Π΅Ρ€ΠΆΠ°Π½ΠΈΠ΅

ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ. ΠŸΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ Ρ‚Π°Π±Π»ΠΈΡ† истинности

ЛогичСскиС
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.
ΠŸΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ Ρ‚Π°Π±Π»ΠΈΡ†
истинности
ЦСль: ΡƒΠ·Π½Π°Ρ‚ΡŒ Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Π»ΠΎΠ³ΠΈΠΊΠ°?
какая сущСствуСт связь ΠΌΠ΅ΠΆΠ΄Ρƒ Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹ΠΌ
ΠΊΠΎΠ΄ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΠΈ Π°Π»Π³Π΅Π±Ρ€ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ? ΠΊΠ°ΠΊ ΠΌΠΎΠΆΠ½ΠΎ
ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ?
Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅
β€’ Π‘Π»ΠΎΠ²ΠΎ Β«Π»ΠΎΠ³ΠΈΠΊΠ°Β» ΠΏΡ€ΠΎΠΈΠ·ΠΎΡˆΠ»ΠΎ ΠΎΡ‚ грСчСских слов «лСгос»
ΠΈ «логос». «ЛСгос» ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ – Β«Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ΡŒΒ»,
Β«ΠΏΠΎΡΡΠ½ΡΡ‚ΡŒΒ», «логос» – Β«ΠΌΡƒΠ΄Ρ€ΠΎΡΡ‚ΡŒΒ».
β€’ Π›ΠΎΠ³ΠΈΠΊΠΎΠΉ называСтся Π½Π°ΡƒΠΊΠ° ΠΎ Ρ„ΠΎΡ€ΠΌΠ°Ρ… ΠΈ Π·Π°ΠΊΠΎΠ½Π°Ρ…
ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎΠ³ΠΎ ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ.
β€’ ΠœΡ‹ΡˆΠ»Π΅Π½ΠΈΠ΅ – Π²Ρ‹ΡΡˆΠ°Ρ Ρ„ΠΎΡ€ΠΌΠ° ΠΏΠΎΠ·Π½Π°Π²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠΉ
Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ°. ΠŸΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎΠ΅ ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΠ΅
ΠΈΠ³Ρ€Π°Π΅Ρ‚ Ρ€Π΅ΡˆΠ°ΡŽΡ‰ΡƒΡŽ Ρ€ΠΎΠ»ΡŒ Π² Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ людСй. Π§Ρ‚ΠΎΠ±Ρ‹
Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎ мыслил, ΠΎΠ½ Π΄ΠΎΠ»ΠΆΠ΅Π½ ΠΏΠΎΠ΄Ρ‡ΠΈΠ½ΡΡ‚ΡŒΡΡ
ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹ΠΌ ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌ ΠΈ закономСрностям.
Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅
ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ Ρ„ΠΎΡ€ΠΌΡ‹ ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ:
β€’ ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ – это Ρ„ΠΎΡ€ΠΌΠ° ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ, которая ΠΎΡ‚Ρ€Π°ΠΆΠ°Π΅Ρ‚
сущСствСнныС ΠΏΡ€ΠΈΠ·Π½Π°ΠΊΠΈ ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚ΠΎΠ². ОбъСм понятия ΠΌΠΎΠΆΠ΅Ρ‚
Π±Ρ‹Ρ‚ΡŒ прСдставлСн ΠΊΠ°ΠΊ мноТСство ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ². ΠžΡΠ½ΠΎΠ²Ρƒ
соврСмСнной ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ Π»ΠΎΠ³ΠΈΠΊΠ° ΠΈ тСория
мноТСств.
β€’ ВысказываниС – это Ρ„ΠΎΡ€ΠΌΠ° ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ, содСрТащая
ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΈΠ»ΠΈ ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ Ρ‡Π΅Π³ΠΎ-Π»ΠΈΠ±ΠΎ. Высказывания
ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π»ΠΎΠΆΠ½Ρ‹ΠΌΠΈ ΠΈΠ»ΠΈ истинными. Π’ΠΎΠΏΡ€ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ
ΠΏΠΎΠ±ΡƒΠ΄ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ прСдлоТСния Π½Π΅ Π²Ρ‹Ρ€Π°ΠΆΠ°ΡŽΡ‚ высказываний.
Высказывания Π±Ρ‹Π²Π°ΡŽΡ‚ простыми ΠΈ слоТными.
β€’ Π£ΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ – это Ρ„ΠΎΡ€ΠΌΠ° ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ
ΠΌΡ‹ΡΠ»ΡŒ формируСтся Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ синтСза ΠΈ ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ
Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… высказываний ΠΈ понятий.
Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅
ΠžΡΠ½ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ логичСской Π°Π»Π³Π΅Π±Ρ€Ρ‹ β€” Π”ΠΆΠΎΡ€Π΄ΠΆ Π‘ΡƒΠ»ΡŒ. Он
ΠΈΠ·ΠΎΠ±Ρ€Π΅Π» ΡΠ²ΠΎΠ΅ΠΎΠ±Ρ€Π°Π·Π½ΡƒΡŽ Π°Π»Π³Π΅Π±Ρ€Ρƒ – систСму ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΈ
ΠΏΡ€Π°Π²ΠΈΠ», ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΠΌΡƒΡŽ ΠΊ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌ, числам, Π±ΡƒΠΊΠ²Π°ΠΌ ΠΈ
прСдлоТСниям.
Π’ основС Π±ΡƒΠ»Π΅Π²ΠΎΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»Π΅ΠΆΠ°Ρ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ
ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (И), Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (Π˜Π›Π˜) ΠΈ ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ (НЕ).
Π’ XX Π²Π΅ΠΊΠ΅ ΡƒΡ‡Π΅Π½Ρ‹Π΅ объСдинили Π΄Π²ΠΎΠΈΡ‡Π½ΡƒΡŽ систСму
счислСния с Π°Π»Π³Π΅Π±Ρ€ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ Π”ΠΆΠΎΡ€Π΄ΠΆΠ° Буля, создав Ρ‚Π΅ΠΌ
самым основу для Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ соврСмСнного Ρ†ΠΈΡ„Ρ€ΠΎΠ²ΠΎΠ³ΠΎ
элСктронного ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π°.
Π›ΠΎΠ³ΠΈΠΊΠ°
ВысказываниС Π² матСматичСской Π»ΠΎΠ³ΠΈΠΊΠ΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ
истинным ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, Ρ‚Ρ€Π΅Ρ‚ΠΈΠΉ случай Π½Π΅
рассматриваСтся.
Если ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ «истину» ΠΊΠ°ΠΊ 1, «лоТь» ΠΊΠ°ΠΊ 0, Ρ‚ΠΎΠ³Π΄Π°
ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ с 1 ΠΈ 0 ΠΈΠ»ΠΈ, Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ
словами, Π² Π΄Π²ΠΎΠΈΡ‡Π½ΠΎΠΌ ΠΊΠΎΠ΄Π΅.
АлгСбра Π»ΠΎΠ³ΠΈΠΊΠΈ – матСматичСский Π°ΠΏΠΏΠ°Ρ€Π°Ρ‚ записи
логичСских высказываний, вычислСний, ΡƒΠΏΡ€ΠΎΡ‰Π΅Π½ΠΈΠΉ ΠΈ
ΠΏΡ€Π΅ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½ΠΈΠΉ.
АлгСбра Π»ΠΎΠ³ΠΈΠΊΠΈ опрСдСляСт ΠΏΡ€Π°Π²ΠΈΠ»Π° вычислСний
логичСских условий 1 (истина) ΠΈ 0 (лоТь).
ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ
ЛогичСскоС слоТСниС (Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, показываСтся
символом ∨). ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡŽΡ‰Π°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅
высказываний ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Β«Π˜Π›Π˜Β»
(Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, «А ΠΈΠ»ΠΈ Π’Β») называСтся логичСским
слоТСниСм, ΠΈΠ»ΠΈ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ. Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠΌ
языкС ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Β«ΠΈΠ»ΠΈ (or)Β».
Π’Π°Π±Π»ΠΈΡ†Π° 1
Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ
A
B
AΛ…B
0
0
0
1
0
1
0
1
1
1
1
1
ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ
ЛогичСскоС ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ (ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, обозначаСтся
символом ∧). ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ, ΡΠ²ΡΠ·Ρ‹Π²Π°ΡŽΡ‰Π°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅
высказываний ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ «И», называСтся
логичСским ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ.
ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠΌ языкС ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Β«ΠΈ (and)Β»
Π’Π°Π±Π»ΠΈΡ†Π° 2
ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ
A
B
AΛ„B
0
0
0
1
0
0
0
1
0
1
1
1
ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ
ЛогичСскоС ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ (инвСрсия). ΠžΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ «НЕ»,
ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ логичСскоС высказываниС обращаСтся Π²
ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅, называСтся логичСским ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ
инвСрсиСй (Ρ‚Π°Π±Π»ΠΈΡ†Π° 3). Π˜Π½Π²Π΅Ρ€ΡΠΈΡ Π² ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠΌ языкС
соотвСтствуСт выраТСниям Β«Π½Π΅Π²Π΅Ρ€Π½ΠΎΒ», Β«ΠΎΠ±Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ Π²
ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅Β» ΠΈ приставкС Β«Π½Π΅ (not)Β».
Π’Π°Π±Π»ΠΈΡ†Π° 3
Π˜Π½Π²Π΅Ρ€ΡΠΈΡ
A
B
0
1
1
0
Задания для закрСплСния:
Π—Π°Π΄Π°Π½ΠΈΠ΅ β„– 1.
ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΠ΅ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ высказывания.
1. Π§Π΅Ρ‚Π½Ρ‹Π΅ числа Π±Ρ‹Π²Π°ΡŽΡ‚ простыми.
2. Π‘Π°ΠΌΠ°Ρ‚ Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΠ» Π·Π°Π΄Π°Π½Π½Ρ‹Π΅ Π΅ΠΌΡƒ ΠΏΡΡ‚ΡŒ Π·Π°Π΄Π°Π½ΠΈΠΉ.
Π—Π°Π΄Π°Π½ΠΈΠ΅ β„– 2.
Π”Π°Π½Ρ‹ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ простыС высказывания.
1) А = {ΠœΠΎΠ½ΠΈΡ‚ΠΎΡ€ – устройство для ΠΏΠ΅Ρ‡Π°Ρ‚ΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ Π½Π°
Π±ΡƒΠΌΠ°Π³Π΅},
2) Π’ = {ΠŸΡ€ΠΈΠ½Ρ‚Π΅Ρ€ – устройство для Π²Π²ΠΎΠ΄Π° ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ},
3) Π‘ = {ΠŸΡ€ΠΎΡ†Π΅ΡΡΠΎΡ€ – устройство ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ},
4) D = {ΠœΡ‹ΡˆΡŒ – устройство хранСния ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ},
Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ 1, 2, 3 Π½Π°ΠΉΠ΄ΠΈΡ‚Π΅ значСния ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ…
логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ. 1) (Πβˆ§Π’) 2) (Б∨D) 3) (Π’βˆ§Π‘).
Π’Π°Π±Π»ΠΈΡ†Π° истинности
Π’Π°Π±Π»ΠΈΡ†Π° истинности – это Ρ‚Π°Π±Π»ΠΈΡ†Π°, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ
прСдставлСны всС значСния, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Ρ‚ΡŒ
высказываниС ΠΏΡ€ΠΈ всСх Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… значСниях простых
высказываний, входящих Π² Π½Π΅Π΅. Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ истинности
ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‚ΡΡ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… исхода для Π΄Π²ΡƒΡ…
ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Π­Ρ‚ΠΎ ΠΏΠ°Ρ€Ρ‹:
(0, 0), (0, 1), (1, 0), (1, 1).
Если Π² Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ Ρ‚Ρ€ΠΈ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, Ρ‚ΠΎ количСство
Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π°Π²Π½ΠΎ 8-ΠΌΠΈ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ 23= 8.
(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1),
(1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1,1).
ЛогичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅
ЛогичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ – это составноС
Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅, записанноС Π² Π²ΠΈΠ΄Π΅ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹.
ΠŸΡ€ΠΈ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΈ Π·Π°Π΄Π°Ρ‡ с логичСскими
высказываниями Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ построСниС Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹
истинности.
ΠŸΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚Ρ‹ ΠΏΡ€ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ логичСских
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ
1) выраТСния Π² скобках;
2) инвСрсия;
3) ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ;
4) Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ.
Алгоритм построСния Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹
истинности для логичСских
элСмСнтов
1. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ количСство ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… n Π² логичСском
Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ.
2. ΠŸΠΎΠ΄ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ количСство строк m=2n , n – количСство
ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ….
3. ΠŸΠΎΠ΄ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ количСство логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π²
Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ.
4. Для подсчСта количСства столбцов Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ ΡΠ»ΠΎΠΆΠΈΡ‚ΡŒ
число ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… ΠΈ число логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ.
5. Π£ΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ выполнСния логичСских
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ с ΡƒΡ‡Π΅Ρ‚ΠΎΠΌ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ΠΎΠ².
6. Π’Ρ‹ΠΏΠΈΡΠ°Ρ‚ΡŒ Π½Π°Π±ΠΎΡ€Ρ‹ Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ….
7. Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹.
ΠŸΡ€ΠΈΠΌΠ΅Ρ€
Для высказываний А = {22 – Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ число} ΠΈ Π’ = {3 – Ρ‡Π΅Ρ‚Π½ΠΎΠ΅
число} вычислитС значСния логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ.
ПояснСниС Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡ΠΈ:
1. Если ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ для Π΄Π²ΡƒΡ… простых высказываний
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ (И) Πβˆ§Π’, Ρ‚ΠΎΠ³Π΄Π° высказываниС А – истинно, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ
число 22 – Ρ‡Π΅Ρ‚Π½ΠΎΠ΅. А высказываниС Π’ – Π»ΠΎΠΆΠ½ΠΎ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ 3 –
Π½Π΅Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ число. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, согласно ΠΏΡ€Π°Π²ΠΈΠ»Ρƒ для
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ И Π±ΡƒΠ΄Π΅Ρ‚ 1∧0 =0 (лоТь).
2. Если ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ для Π΄Π²ΡƒΡ… простых высказываний
ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ (Π˜Π›Π˜) Πβˆ¨Π’, Ρ‚ΠΎΠ³Π΄Π° высказываниС А – истинно, Ρ‚ΠΎΠ³Π΄Π°
ΠΊΠ°ΠΊ Π’ – Π»ΠΎΠΆΠ½ΠΎ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, опСрация 1∨0 =1 (Π˜ΡΡ‚ΠΈΠ½Π°).
3. Если высказываниС А ΠΏΠΎΠ΄Π²Π΅Ρ€Π³Π½ΡƒΡ‚ΡŒ инвСрсии, Ρ‚ΠΎ ΠΎΠ½ΠΎ
Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ обратится Π² высказываниС «число 22
Π½Π΅Ρ‡Π΅Ρ‚Π½ΠΎΠ΅Β». Π’ΠΎΡ‡Π½ΠΎ Ρ‚Π°ΠΊ ΠΆΠ΅ инвСрсия высказывания Π’ «число 3
Π½Π΅Ρ‡Π΅Ρ‚Π½ΠΎΠ΅Β» Π±ΡƒΠ΄Π΅Ρ‚ истинным.
A∧B
Π›ΠΎΠΆΡŒ (0)
A∨B
Π˜ΡΡ‚ΠΈΠ½Π° (1)
A
Π›ΠΎΠΆΡŒ (0)
B
Π˜ΡΡ‚ΠΈΠ½Π°(1)
Задания для закрСплСния:
ΠŸΠΎΡΡ‚Ρ€ΠΎΠΉΡ‚Π΅ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности (НЕ А Π˜Π›Π˜ Π’) И А
А
Π’
НЕ А
НЕ А Π˜Π›Π˜ Π’
(НЕ А Π˜Π›Π˜ Π’) И А
0
0
1
1
0
Π”ΠΎΠΌΠ°ΡˆΠ½Π΅Π΅ Π·Π°Π΄Π°Π½ΠΈΠ΅:
Π£Ρ€ΠΎΠ²Π΅Π½ΡŒ А.
НайдитС значСния логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹Ρ… Π½ΠΈΠΆΠ΅.
1) F = ((0>5) and (2>3)) or(4<5))
2) F = (1<5) and (1>0)
3) F = (3>2) or (3<1)
4) F = (3>2) or (2>0)
5) F = ((1>2) or (1<0)) and((–1>2) or (–1<0))
6) F = (2>5) and (2>3)
7) F = not (5>6)
8) F = not (6>5)
9) F = (2=0) or (2>0)
10) F = (3>0) or (2>0)
ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅. ΠžΠ±Ρ€Π°Π·Π΅Ρ† выполнСния задания прСдставлСн Π²
Ρ‚Π°Π±Π»ΠΈΡ†Π΅.
0>4
2>5
4<7
(0>4) and (2>5)
F = (0>4) and (2>5) or(4<7)
0
0
1
0
1
Π”ΠΎΠΌΠ°ΡˆΠ½Π΅Π΅ Π·Π°Π΄Π°Π½ΠΈΠ΅:
Π£Ρ€ΠΎΠ²Π΅Π½ΡŒ Π’.
НайдитС значСния логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹Ρ… Π½ΠΈΠΆΠ΅.
1. F = (1∨1)∨(1∨0)
2. F = (0∧0)∧(1∧1)
3. F = (0∧1)∨(0∧1)
4. F = (0∨0)∧(1∧1)
5. F = (1∨0)∧(0∧1)
Π£Ρ€ΠΎΠ²Π΅Π½ΡŒ Π‘.
Π”Π°Π½Ρ‹ высказывания – А = {4+19=21} ΠΈ B = {8 + 3 = 9}.
ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ:
Πβˆ§Π’, А, Π’, Πβˆ¨Π’

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности

Как ΠΌΡ‹ ΡƒΠΆΠ΅ Π·Π½Π°Π΅ΠΌ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ логичСскиС связки ΠΌΠΎΠΆΠ½ΠΎ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ слоТныС высказывания, ΠΈΠ»ΠΈ, говоря ΠΏΠΎ-Π΄Ρ€ΡƒΠ³ΠΎΠΌΡƒ, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡ‚ΡŒ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ логичСскими ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹ΠΌΠΈ. ΠŸΡ€ΠΎΡΡ‚Ρ‹Π΅ высказывания – это Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚Ρ‹ логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ (нСзависимыС ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅). Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ Ρ‚Π°ΠΊΠΎΠΉ логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°Π΄Π°Ρ‚ΡŒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности.

ЗначСния логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ для всСх сочСтаний Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… β€” ΠΈΠ»ΠΈ, ΠΊΠ°ΠΊ это ΠΈΠ½Π°Ρ‡Π΅ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚, Π½Π°Π±ΠΎΡ€ΠΎΠ² логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… β€” называСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности. Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ ΠΈ ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎ опрСдСляСт Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ.

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π² любой логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠ΅ΡŽΡ‚ΡΡ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚(Ρ‹), значСния ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΡ‹ Π·Π°Π΄Π°Ρ‘ΠΌ ΠΈ, ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π΅Π΅ этим Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚Π°ΠΌ, Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ. Набор логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… – это ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ всСх Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.

Π’Π°ΠΊ ΠΊΠ°ΠΊ каТдая логичСская пСрСмСнная ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π° значСния (0 ΠΈΠ»ΠΈ 1), Ρ‚ΠΎ Π»Π΅Π³ΠΊΠΎ ΠΏΠΎΠ΄ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ ΠΏΠΎΠ»Π½ΠΎΠ΅ количСство Π½Π°Π±ΠΎΡ€ΠΎΠ² для любой логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ. Π’ΠΎΠ³Π΄Π°, Ссли Π½Π°Π±ΠΎΡ€ состоит ΠΈΠ· ΠΎΠ΄Π½ΠΎΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ, Ρ‚ΠΎ Ρ‚Π°ΠΊΠΈΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ² Π΄Π²Π°. Если ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… Π΄Π²Π΅, Ρ‚ΠΎ количСство Π½Π°Π±ΠΎΡ€ΠΎΠ² Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅. Π’ Ρ†Π΅Π»ΠΎΠΌ, количСство Π½Π°Π±ΠΎΡ€ΠΎΠ² логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (K) для слоТного высказывания ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅: K=2n, Π³Π΄Π΅ n β€” количСство логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ….

Рассмотрим ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½Π΅Π΅ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ интСрСсныС логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ»ΠΈ двумя ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹ΠΌΠΈ.

ЛогичСскоС ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅

ΠŸΡ€ΠΈΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ частицы Β«Π½Π΅Β» ΠΊ сказуСмому Π΄Π°Π½Π½ΠΎΠ³ΠΎ простого высказывания A называСтся ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ логичСского отрицания ΠΈΠ»ΠΈ инвСрсиСй. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ΡΡ ΠΈΠ»ΠΈA .

Иногда вмСсто ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠ³ΠΎ опрСдСлСния ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ Π΄Ρ€ΡƒΠ³ΠΎΠ΅, Π΅ΠΌΡƒ эквивалСнтноС: присоСдинСниС слов «НСвСрно, Ρ‡Ρ‚ΠΎ …» ΠΊΠΎ всСму Π΄Π°Π½Π½ΠΎΠΌΡƒ Π²Ρ‹ΡΠΊΠ°Π·Ρ‹Π²Π°Π½ΠΈΡŽ A называСтся ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ логичСского отрицания. Π’ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ выполнСния ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ логичСского отрицания получаСтся Π½ΠΎΠ²ΠΎΠ΅ высказываниС. НапримСр:

Π’Π°Π±Π»ΠΈΡ†Π° истинности инвСрсии ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄:

Π˜Π½Π²Π΅Ρ€ΡΠΈΡ логичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ истинна, Ссли сама пСрСмСнная Π»ΠΎΠΆΠ½Π°, ΠΈ, Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚, инвСрсия Π»ΠΎΠΆΠ½Π°, Ссли пСрСмСнная истинна.

ЛогичСскоС ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅

Π‘ΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… простых высказываний A ΠΈ B Π² ΠΎΠ΄Π½ΠΎ составноС с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ союза Β«ΠΈΒ» Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ логичСским ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ, Π° Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ β€” логичСским ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ.

Π£ΠΊΠ°Π·Π°Π½ΠΈΠ΅ ΠΎ логичСском ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠΈ простых высказываний A ΠΈ B обозначаСтся Ρ‚Π°ΠΊ: A βˆ™B

, AB, A Ξ› B, A & B.

НапримСр:

Π’ русском языкС Π² качСствС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ «логичСскоС ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅Β» ΠΏΠΎΠΌΠΈΠΌΠΎ союза Β«ΠΈΒ» ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ ΡΠΎΡŽΠ·Ρ‹ Β«Π½ΠΎΒ» ΠΈ Β«Π°Β».

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Π²ΠΈΠ΄:

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π΄Π²ΡƒΡ… логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… истинна Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° высказывания истинны.

Π­Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΠΎΠ±Ρ‰ΠΈΡ‚ΡŒ для любого количСства логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½Π΅Π½Π½Ρ‹Ρ… ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ.

Aβˆ™ Bβˆ™ C = 1, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли A = 1, B

= 1, C = 1. (1)

ЛогичСскоС слоТСниС

ΠŸΠ΅Ρ€Π΅Π΄ Ρ‚Π΅ΠΌ ΠΊΠ°ΠΊ привСсти ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ этой ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, Π΄Π°Π΄ΠΈΠΌ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ€Π°Π·ΡŠΡΡΠ½Π΅Π½ΠΈΡ. Боюз Β«ΠΈΠ»ΠΈΒ» Π² ΠΎΠ±ΠΈΡ…ΠΎΠ΄Π΅ ΠΌΡ‹ примСняСм Π² Π΄Π²ΡƒΡ… значСниях: ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅ΠΌ ΠΈ Π½Π΅ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅ΠΌ. Разъясним это ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π°ΠΌΠΈ.

Рассмотрим ΠΏΠΎΠ²Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅: «Володя Π²Ρ‡Π΅Ρ€Π° Π² ΡˆΠ΅ΡΡ‚ΡŒ часов Π²Π΅Ρ‡Π΅Ρ€Π° Ρ‡ΠΈΡ‚Π°Π» ΠΊΠ½ΠΈΠ³Ρƒ ΠΈΠ»ΠΈ Π΅Ρ…Π°Π» Π² автобусС Π½Π° стадион.Β». Боюз Β«ΠΈΠ»ΠΈΒ» использован Π² этом ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΈ Π² Π½Π΅ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅ΠΌ смыслС β€” Володя ΠΌΠΎΠ³ Ρ‡ΠΈΡ‚Π°Ρ‚ΡŒ ΠΈ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠ΅ Π΅Ρ…Π°Ρ‚ΡŒ Π² автобусС. Одно Π½Π΅ ΠΈΡΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ Π΄Ρ€ΡƒΠ³ΠΎΠ³ΠΎ.

Рассмотрим Π΅Ρ‰Π΅ ΠΎΠ΄Π½ΠΎ ΠΏΠΎΠ²Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅. «Володя Π²Ρ‡Π΅Ρ€Π° наблюдал Π·Π° Ρ…ΠΎΠ΄ΠΎΠΌ ΠΌΠ°Ρ‚Ρ‡Π° с Π·Π°ΠΏΠ°Π΄Π½ΠΎΠΉ ΠΈΠ»ΠΈ восточной Ρ‚Ρ€ΠΈΠ±ΡƒΠ½Ρ‹Β». Π—Π΄Π΅ΡΡŒ союз Β«ΠΈΠ»ΠΈΒ» ΠΈΠΌΠ΅Π΅Ρ‚ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰ΠΈΠΉ Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€ β€” Π΄Π²Π΅ описываСмыС ситуации ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‚ Π΄Ρ€ΡƒΠ³ Π΄Ρ€ΡƒΠ³Π°: нСльзя Π½Π°Π±Π»ΡŽΠ΄Π°Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½ ΠΈ Ρ‚ΠΎΡ‚ ΠΆΠ΅ ΠΌΠ°Ρ‚Ρ‡ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ с Π΄Π²ΡƒΡ… ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹Ρ… Ρ‚Ρ€ΠΈΠ±ΡƒΠ½.

Π‘ΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… простых высказываний A ΠΈ B Π² ΠΎΠ΄Π½ΠΎ составноС с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ союза Β«ΠΈΠ»ΠΈΒ», употрСбляСмого Π² Π½Π΅ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅ΠΌ смыслС, называСтся логичСским слоТСниСм ΠΈΠ»ΠΈ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ, Π° ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΠΎΠ΅ составноС высказываниС β€” логичСской суммой.

Π£ΠΊΠ°Π·Π°Π½ΠΈΠ΅ ΠΎ нСобходимости Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ логичСскоС слоТСниС высказываний

A ΠΈ B записываСтся Ρ‚Π°ΠΊ: A + B ΠΈΠ»ΠΈ A v B. НапримСр:

Π’Π°Π±Π»ΠΈΡ†Π° истинности Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Π²ΠΈΠ΄:

Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π΄Π²ΡƒΡ… логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… Π»ΠΎΠΆΠ½Π° Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° высказывания Π»ΠΎΠΆΠ½Ρ‹.

Π­Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΠΎΠ±Ρ‰ΠΈΡ‚ΡŒ для любого количСства логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½Π΅Π½Π½Ρ‹Ρ… Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ.

A + B + C = 0, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли A = 0, B = 0, C = 0. (2)

3.1: ΠŸΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹

  1. ПослСднСС обновлСниС
  2. Π‘ΠΎΡ…Ρ€Π°Π½ΠΈΡ‚ΡŒ ΠΊΠ°ΠΊ PDF
  • Π˜Π΄Π΅Π½Ρ‚ΠΈΡ„ΠΈΠΊΠ°Ρ‚ΠΎΡ€ страницы
    80504
    • Al Doerr & Ken Levasseur
    • ΠœΠ°ΡΡΠ°Ρ‡ΡƒΡΠ΅Ρ‚ΡΠΊΠΈΠΉ унивСрситСт Лоуэлл

    Propositions

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{1}\): Proposition

    ΠŸΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ β€” это ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΊ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ осмыслСнно ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΎ ΠΎΠ΄Π½ΠΎ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½ΠΎ ΠΈΠ· условий true ΠΈΠ»ΠΈ false .

    ΠŸΡ€ΠΈΠΌΠ΅Ρ€ \(\PageIndex{1}\): Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ утвСрТдСния

    Β«Π§Π΅Ρ‚Ρ‹Ρ€Π΅ Ρ‡Π΅Ρ‚Π½Ρ‹Π΅Β», Β«\(4 \in \{1,3, 5\}\)Β» ΠΈ Β«\(43 > 21\) )Β» ΡΠ²Π»ΡΡŽΡ‚ΡΡ прСдлоТСниями.

    Π’ Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠ΅ Π΄Π΅ΠΊΠ»Π°Ρ€Π°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹ΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ΠΌ истинности считаСтся ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. Π₯отя нашСй ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠΉ Ρ†Π΅Π»ΡŒΡŽ являСтся обсуТдСниС матСматичСской Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΌΡ‹ Π½Π΅ Π±ΡƒΠ΄Π΅ΠΌ ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ ΠΎΡ‚Π΄Π΅Π»ΡΡ‚ΡŒΡΡ ΠΎΡ‚ Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ обстановки. Π­Ρ‚ΠΎ СстСствСнно, ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ основныС прСдполоТСния ΠΈΠ»ΠΈ постулаты матСматичСской Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΌΠΎΠ΄Π΅Π»ΠΈΡ€ΡƒΡŽΡ‚ΡΡ ΠΏΠΎ ΠΎΠ±Ρ€Π°Π·Ρ†Ρƒ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ ΠΌΡ‹ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ Π² повсСднСвной ΠΆΠΈΠ·Π½ΠΈ. ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π² повсСднСвной Ρ€Π΅Ρ‡ΠΈ часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ слоТныС прСдлоТСния, ΠΌΡ‹ ΠΎΠΆΠΈΠ΄Π°Π΅ΠΌ, Ρ‡Ρ‚ΠΎ логичСскиС прСдлоТСния содСрТат Ρ‚Π°ΠΊΠΈΠ΅ связки, ΠΊΠ°ΠΊ слово Β«ΠΈΒ». Π£Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ Β«Π•Π²Ρ€ΠΎΠΏΠ° ΠΏΠΎΠ΄Π΄Π΅Ρ€ΠΆΠΈΠ²Π°Π΅Ρ‚ Тизнь ΠΈΠ»ΠΈ ΠœΠ°Ρ€Ρ ΠΏΠΎΠ΄Π΄Π΅Ρ€ΠΆΠΈΠ²Π°Π΅Ρ‚ Тизнь» являСтся ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΠΈΠΌΠ΅Ρ‚ΡŒ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ΅ истинностноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅. Каким Π±Ρ‹ Π½ΠΈ Π±Ρ‹Π»ΠΎ это истинноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, ΠΎΠ½ΠΎ Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Ρ‚Π°ΠΊΠΈΠΌ ΠΆΠ΅, ΠΊΠ°ΠΊ истинноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Β«ΠœΠ°Ρ€Ρ ΠΏΠΎΠ΄Π΄Π΅Ρ€ΠΆΠΈΠ²Π°Π΅Ρ‚ Тизнь ΠΈΠ»ΠΈ Π•Π²Ρ€ΠΎΠΏΠ° ΠΏΠΎΠ΄Π΄Π΅Ρ€ΠΆΠΈΠ²Π°Π΅Ρ‚ Тизнь».

    ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ

    БущСствуСт нСсколько способов объСдинСния простых ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² Π² составныС. Π‘Π»ΠΎΠ²Π°/Ρ„Ρ€Π°Π·Ρ‹ ΠΈ , ΠΈΠ»ΠΈ , Π½Π΅ , Ссли… то… , ΠΈ …Ссли ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли… ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊ ΠΎΠ΄Π½ΠΎΠΌΡƒ ΠΈΠ»ΠΈ нСскольким прСдлоТСниям для создания Π½ΠΎΠ²ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΈΠ·Π±Π΅ΠΆΠ°Ρ‚ΡŒ ΠΏΡƒΡ‚Π°Π½ΠΈΡ†Ρ‹, ΠΌΡ‹ Ρ‚ΠΎΡ‡Π½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· Π½ΠΈΡ… ΠΈ Π²Π²Π΅Π΄Π΅ΠΌ Π΅Π³ΠΎ стандартный символ. Π—Π° ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ отрицания (

    Π½Π΅ ), всС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π΄Π΅ΠΉΡΡ‚Π²ΡƒΡŽΡ‚ Π½Π° ΠΏΠ°Ρ€Ρ‹ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ. ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠΌΠ΅Π΅Ρ‚ Π΄Π²Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… значСния истинности, сущСствуСт Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ способа, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ присвоСна Π΄Π²ΡƒΠΌ утвСрТдСниям. ΠŸΡ€ΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ эффСкта, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ логичСская опСрация ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚ Π½Π° Π΄Π²Π° прСдлоТСния, Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ Π΄ΠΎΠ»ΠΆΠ΅Π½ Π±Ρ‹Ρ‚ΡŒ ΡƒΠΊΠ°Π·Π°Π½ для всСх Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… случаСв. Π£Π΄ΠΎΠ±Π½Π΅Π΅ всСго это ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ ΠΌΡ‹ ΠΏΡ€ΠΎΠΈΠ»Π»ΡŽΡΡ‚Ρ€ΠΈΡ€ΡƒΠ΅ΠΌ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ΠΌ слова 9.0036 ΠΈ .

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{2}\): ЛогичСская ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ

    Если \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡŽΡ‚ΡΡ высказываниями, ΠΈΡ… ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ \(p \textrm{ ΠΈ } q\) (обозначаСтся \( p \land q\)) опрСдСляСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

    \begin{equation*} \begin{array}{ccc} p & q & p\land q \\ \hline 0 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \\ \end{array} \end{equation*}

    ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅ \(\PageIndex{1}\)

    1. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΏΡ€ΠΎΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ эту ΠΏΡ€Π°Π²Π΄Ρƒ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹, Π²Ρ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΠΏΠΎΠ½ΠΈΠΌΠ°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ любая строка прСдставляСт случай: ΠΎΠ΄ΠΈΠ½ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ для \(p\) ΠΈ \(q\text{. }\)
    2. Π¦ΠΈΡ„Ρ€Ρ‹ 0 ΠΈ 1 ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ для обозначСния Π»ΠΎΠΆΠ½Ρ‹Ρ… ΠΈ истинных Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ соотвСтствСнно. Π­Ρ‚ΠΎ согласуСтся со способом, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ ΠΌΠ½ΠΎΠ³ΠΈΠ΅ языки программирования ΠΎΠ±Ρ€Π°Π±Π°Ρ‚Ρ‹Π²Π°ΡŽΡ‚ логичСскиС ΠΈΠ»ΠΈ логичСскиС ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΎΠ΄ΠΈΠ½ Π±ΠΈΡ‚, 0 ΠΈΠ»ΠΈ 1, ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡΡ‚ΡŒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ истинности.
    3. Π’ ΠΊΠ°ΠΆΠ΄ΠΎΠΌ случаС символ ΠΏΠΎΠ΄ \(p\) прСдставляСт истинноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ \(p\text{.}\) Π’ΠΎ ΠΆΠ΅ Π²Π΅Ρ€Π½ΠΎ для \(q\text{.}\) Π‘ΠΈΠΌΠ²ΠΎΠ» ΠΏΠΎΠ΄ \(p \ land q\) прСдставляСт Π΅Π³ΠΎ истинноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ для этого случая. НапримСр, вторая строка Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности прСдставляСт случай, ΠΊΠΎΠ³Π΄Π° \(p\) Π»ΠΎΠΆΠ½ΠΎ, \(q\) истинно, Π° Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚ΠΈΡ€ΡƒΡŽΡ‰Π΅Π΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ истинности для \(p \land q\) Π»ΠΎΠΆΠ½ΠΎ. Как ΠΈ Π² повсСднСвной Ρ€Π΅Ρ‡ΠΈ, \(p \land q\) истинно Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° прСдлоТСния истинны.
    4. Π‘ΡƒΠΊΠ²Ρ‹ \(x\text{,}\) \(y\) ΠΈ \(z\) часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ Π² Π°Π»Π³Π΅Π±Ρ€Π΅ для обозначСния числовых ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, \(p\text{,}\) \(q\ ) ΠΈ \(r\) каТутся Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡ‹ΠΌΠΈ символами для логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Когда ΠΌΡ‹ Π³ΠΎΠ²ΠΎΡ€ΠΈΠΌ, Ρ‡Ρ‚ΠΎ \(p\) являСтся логичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ, ΠΌΡ‹ ΠΈΠΌΠ΅Π΅ΠΌ Π² Π²ΠΈΠ΄Ρƒ, Ρ‡Ρ‚ΠΎ любоС ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π·Π°Π½ΡΡ‚ΡŒ мСсто \(p\text{.
      }\)
    5. И послСднСС Π·Π°ΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅: порядок, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΌΡ‹ пСрСчисляСм случаи Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ истинности, Π² этой ΠΊΠ½ΠΈΠ³Π΅ стандартизирован. Если Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности Π²ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ Π΄Π²Π° простых прСдлоТСния, числа ΠΏΠΎΠ΄ простыми прСдлоТСниями ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ Π΄Π²ΡƒΠ·Π½Π°Ρ‡Π½Ρ‹Π΅ Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Π΅ Ρ†Π΅Π»Ρ‹Π΅ числа Π² Π²ΠΎΠ·Ρ€Π°ΡΡ‚Π°ΡŽΡ‰Π΅ΠΌ порядкС: 00, 01, 10 ΠΈ 11 для 0, 1, 2 ΠΈ 3 соотвСтствСнно.

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{3}\): ЛогичСская Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ

    Если \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡŽΡ‚ΡΡ высказываниями, ΠΈΡ… Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ \(p \textrm{ ΠΈΠ»ΠΈ } q\) (обозначаСтся \( p \lor q\)), опрСдСляСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

    \begin{equation*} \begin{array}{ccc} p & q & p\lor q \\ \hline 0 & 0 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 1 \\ \end{массив} \end{ΡƒΡ€Π°Π²Π½Π΅Π½ΠΈΠ΅*}

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{4}\): логичСскоС ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅

    Если \ (p\) Π΅ΡΡ‚ΡŒ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, Π΅Π³ΠΎ ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅, \(\textrm{not } p\text{,}\) обозначаСтся \(\neg p\text{,}\) ΠΈ опрСдСляСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

    \begin{equation*} \begin{array}{cc} p & \neg p \\ \hline 0 & 1 \\ 1 & 0 \\ \end{array} \end{equation*}

    ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅ \ (\PageIndex{2}\)

    ΠžΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ β€” СдинствСнный стандартный ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ дСйствуСт Π½Π° ΠΎΠ΄Π½ΠΎ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅; ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π° случая.

    Рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ прСдлоТСния ΠΈΠ· повсСднСвной Ρ€Π΅Ρ‡ΠΈ:

    1. Π― ΡƒΠ²ΠΎΠ»ΡŽΡΡŒ, Ссли Π½Π΅ ΠΏΠΎΠ»ΡƒΡ‡Ρƒ ΠΏΠΎΠ²Ρ‹ΡˆΠ΅Π½ΠΈΡ.
    2. Если я ΠΏΡ€ΠΎΠΉΠ΄Ρƒ Ρ„ΠΈΠ½Π°Π», я Π·Π°ΠΊΠΎΠ½Ρ‡Ρƒ ΡˆΠΊΠΎΠ»Ρƒ.
    3. Π― ΠΏΠΎΠΉΠ΄Ρƒ Π² ΠΊΠΈΠ½ΠΎ, Ссли моя машина завСдСтся.

    ВсС Ρ‚Ρ€ΠΈ суТдСния условны, ΠΈΡ… всС ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅Ρ€Π΅Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΎΠ½ΠΈ соотвСтствовали Ρ„ΠΎΡ€ΠΌΠ΅ «Если УсловиС , Ρ‚ΠΎ Π—Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ Β». НапримСр, ΠΏΠ΅Ρ€Π²ΠΎΠ΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅Ρ€Π΅ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‚Π°ΠΊ: «Если я Π½Π΅ ΠΏΠΎΠ»ΡƒΡ‡Ρƒ ΠΏΠΎΠ²Ρ‹ΡˆΠ΅Π½ΠΈΡ, я ΡƒΠ²ΠΎΠ»ΡŽΡΡŒΒ».

    УсловноС ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ слСдуСт ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ Π³Π°Ρ€Π°Π½Ρ‚ΠΈΡŽ; Ссли условиС истинно, Ρ‚ΠΎ оТидаСтся, Ρ‡Ρ‚ΠΎ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ Π±ΡƒΠ΄Π΅Ρ‚ истинным. Π“ΠΎΠ²ΠΎΡ€ΠΈΡ‚ Π½Π΅ большС ΠΈ Π½Π΅ мСньшС.

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{5}\): условноС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅

    УсловноС ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ «Если \(p\), Ρ‚ΠΎ \(q\text{,}\)Β», ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅ΠΌΠΎΠ΅ \(p \rightarrow q\text{,}\), опрСдСляСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

    Π’Π°Π±Π»ΠΈΡ†Π° \(\ PageIndex{1}\: Π’Π°Π±Π»ΠΈΡ†Π° истинности для \(p\стрСлка Π²ΠΏΡ€Π°Π²ΠΎ q\)

    \(p\) \(ΠΊ\) \(p\стрСлка Π²ΠΏΡ€Π°Π²ΠΎ q\)
    \(0\) \(0\) \(1\)
    \(0\) \(1\) \(1\)
    \(1\) \(0\) \(0\)
    \(1\) \(1\) \(1\)

    ΠŸΡ€ΠΈΠΌΠ΅Ρ€ \(\PageIndex{2}\): Анализ условного суТдСния

    ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, ваш ΠΏΡ€Π΅ΠΏΠΎΠ΄Π°Π²Π°Ρ‚Π΅Π»ΡŒ сказал Π²Π°ΠΌ: «Если Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ ΠΎΡ†Π΅Π½ΠΊΡƒ 95 ΠΈΠ»ΠΈ Π²Ρ‹ΡˆΠ΅ Π½Π° выпускном экзамСнС, Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ пятСрку Π½Π° этом экзамСнС». курс.Β» Π’Π°Ρˆ инструктор Π΄Π°Π» Π²Π°ΠΌ ΠΎΠ±Π΅Ρ‰Π°Π½ΠΈΠ΅. Если Π²Ρ‹ выполняСтС Π΅Π³ΠΎ условиС, Π²Ρ‹ ΠΎΠΆΠΈΠ΄Π°Π΅Ρ‚Π΅, Ρ‡Ρ‚ΠΎ Π²Ρ‹Π²ΠΎΠ΄ (ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ΠΈΠ΅ пятСрки) Π±ΡƒΠ΄Π΅Ρ‚ Π½Π΅ Π·Π° Π³ΠΎΡ€Π°ΠΌΠΈ. ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Π²Π°ΠΌ Π²Π΅Ρ€Π½ΡƒΠ»ΠΈ ΠΈΡ‚ΠΎΠ³ΠΎΠ²ΡƒΡŽ ΠΎΡ†Π΅Π½ΠΊΡƒ. Π’Π°Ρˆ инструктор сказал ΠΏΡ€Π°Π²Π΄Ρƒ ΠΈΠ»ΠΈ ΠΎΠ½ Π²ΠΈΠ½ΠΎΠ²Π΅Π½ Π²ΠΎ Π»ΠΆΠΈ?

    Π‘Π»ΡƒΡ‡Π°ΠΉ I: Π’Π°Ρˆ ΠΈΡ‚ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ Π±Π°Π»Π» Π·Π° экзамСн Π±Ρ‹Π» мСньшС 95 (условиС Π»ΠΎΠΆΠ½ΠΎ), ΠΈ Π²Ρ‹ Π½Π΅ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ пятСрку (Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ). Π˜Π½ΡΡ‚Ρ€ΡƒΠΊΡ‚ΠΎΡ€ сказал ΠΏΡ€Π°Π²Π΄Ρƒ.

    Π‘Π»ΡƒΡ‡Π°ΠΉ II: Π’Π°Ρˆ ΠΈΡ‚ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ Π±Π°Π»Π» Π½Π° экзамСнС Π±Ρ‹Π» Π½ΠΈΠΆΠ΅ 95, Π½ΠΎ Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ пятСрку Π·Π° курс. Π˜Π½ΡΡ‚Ρ€ΡƒΠΊΡ‚ΠΎΡ€ сказал ΠΏΡ€Π°Π²Π΄Ρƒ. (Π’ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, ваш ΠΎΠ±Ρ‰ΠΈΠΉ срСдний Π±Π°Π»Π» ΠΏΠΎ курсу Π±Ρ‹Π» прСвосходным.)

    Π‘Π»ΡƒΡ‡Π°ΠΉ III: Π’Π°Ρˆ ΠΈΡ‚ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ экзамСнационный Π±Π°Π»Π» Π±Ρ‹Π» Π²Ρ‹ΡˆΠ΅ 95, Π½ΠΎ Π²Ρ‹ Π½Π΅ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ пятСрку. ΠŸΡ€Π΅ΠΏΠΎΠ΄Π°Π²Π°Ρ‚Π΅Π»ΡŒ солгал.

    Π‘Π»ΡƒΡ‡Π°ΠΉ IV: Π’Π°Ρˆ ΠΈΡ‚ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ Π±Π°Π»Π» Π·Π° экзамСн Π±Ρ‹Π» Π²Ρ‹ΡˆΠ΅ 95, ΠΈ Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ пятСрку. Π˜Π½ΡΡ‚Ρ€ΡƒΠΊΡ‚ΠΎΡ€ сказал ΠΏΡ€Π°Π²Π΄Ρƒ.

    Подводя ΠΈΡ‚ΠΎΠ³, СдинствСнный случай, ΠΊΠΎΠ³Π΄Π° условноС суТдСниС Π»ΠΎΠΆΠ½ΠΎ, это ΠΊΠΎΠ³Π΄Π° условиС истинно, Π° Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ.

    ΠŸΠΎΡ€ΡΠ΄ΠΎΠΊ условия ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΡ Π² условном суТдСнии Π²Π°ΠΆΠ΅Π½. Если ΠΏΠΎΠΌΠ΅Π½ΡΡ‚ΡŒ мСстами условиС ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅, получится Π΄Ρ€ΡƒΠ³ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅.

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{6}\): ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅

    ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ \(p \rightarrow q\) Π΅ΡΡ‚ΡŒ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ \(q \rightarrow p\text{.}\)

    ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ «Если Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ ΠΎΡ†Π΅Π½ΠΊΡƒ 95 ΠΈΠ»ΠΈ Π²Ρ‹ΡˆΠ΅ Π½Π° выпускном экзамСнС, Ρ‚ΠΎ Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ пятСрку ΠΏΠΎ этому курсу»: «Если Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ пятСрку ΠΏΠΎ этому курсу, Ρ‚ΠΎ Π²Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚Π΅ ΠΎΡ†Π΅Π½ΠΊΡƒ 95 ΠΈΠ»ΠΈ Π²Ρ‹ΡˆΠ΅. Π»ΡƒΡ‡ΡˆΠ΅ Π½Π° выпускном экзамСнС». Π”ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ ясно, Ρ‡Ρ‚ΠΎ эти Π΄Π²Π° утвСрТдСния говорят ΠΎ Ρ€Π°Π·Π½Ρ‹Ρ… Π²Π΅Ρ‰Π°Ρ….

    Π—Π΄Π΅ΡΡŒ Π΅ΡΡ‚ΡŒ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, связанноС с \(p \rightarrow q\), ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ ΠΈΠΌΠ΅Π΅Ρ‚ Ρ‚ΠΎΡ‚ ΠΆΠ΅ логичСский смысл. Π­Ρ‚ΠΎ противопоставлСниС.

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{7}\): ΠŸΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹ΠΉ

    ΠŸΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹ΠΌ Π²Ρ‹ΡΠΊΠ°Π·Ρ‹Π²Π°Π½ΠΈΡŽ \(p \rightarrow q\) являСтся высказываниС \(\neg q \rightarrow \neg p\text{.}\)

    Как ΠΌΡ‹ ΡƒΠ²ΠΈΠ΄ΠΈΠΌ ΠΏΡ€ΠΈ обсуТдСнии логичСских Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π², ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ условноС суТдСниС, доказывая Π΅Π³ΠΎ ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ нСсколько ΠΏΡ€ΠΎΡ‰Π΅.

    ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{8}\): БиусловноС высказываниС

    Если \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡŽΡ‚ΡΡ высказываниями, биусловноС высказываниС Β«\(p\) Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° \(q\text {,}\)Β», ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅ΠΌΡ‹ΠΉ \(p \leftrightarrow q\text{,}\), опрСдСляСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности

    \begin{equation*} \begin{array}{ccc} p & q & p\leftrightarrow q \\ \hline 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \\ \end{массив} \end{ΡƒΡ€Π°Π²Π½Π΅Π½ΠΈΠ΅*}

    ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ \(p \leftrightarrow q\) истинно, ΠΊΠΎΠ³Π΄Π° \(p\) ΠΈ \(q\) ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ значСния истинности. ΠžΠ±Ρ‹Ρ‡Π½ΠΎ «Ссли ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли» ΡΠΎΠΊΡ€Π°Ρ‰Π°ΡŽΡ‚ Π΄ΠΎ Β«iffΒ».

    Π₯отя выраТСния «Ссли…, то…» ΠΈ «…Ссли ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли…» часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ Π² повсСднСвной Ρ€Π΅Ρ‡ΠΈ, сущСствуСт нСсколько Π°Π»ΡŒΡ‚Π΅Ρ€Π½Π°Ρ‚ΠΈΠ²Π½Ρ‹Ρ… Ρ„ΠΎΡ€ΠΌ, ΠΎ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²Π°ΠΌ слСдуСт Π·Π½Π°Ρ‚ΡŒ. Они свСдСны Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ списки.

    ВсС ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ эквивалСнты «Если \(p\), Ρ‚ΠΎ \(q\)Β»:

    • \(p\) ΠΏΠΎΠ΄Ρ€Π°Π·ΡƒΠΌΠ΅Π²Π°Π΅Ρ‚ \(q\text{.}\)
    • \(q\) слСдуСт ΠΈΠ· \(p\text{.}\)
    • \(p\text{,}\) Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли \(q\text{.}\)
    • \(q\text{,}\) Ссли \(p\text{.}\)
    • \(p\) достаточно для \(q\text{.}\)
    • \(q\) Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ для \(p\text{.}\)

    ВсС ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ эквивалСнты Β«\(p\) Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° \(q\)Β»:

    • \(p\) Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ достаточно для \(q\text{.}\)
    • \(p\) эквивалСнтно \(q\text{.}\)
    • Если \(p\text{,}\), Ρ‚ΠΎ \(q\text{,}\), Π° Ссли \(q\text{,}\), Ρ‚ΠΎ \(p\text{.}\)
    • Если \(p\text{,}\), Ρ‚ΠΎ \(q\) ΠΈ Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚.

    УпраТнСния

    Π£ΠΏΡ€Π°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{1}\)

    ΠŸΡƒΡΡ‚ΡŒ \(d\) = «МнС нравятся дискрСтныС структуры», \(c\) = Β«Π― ΠΏΡ€ΠΎΠΉΠ΄Ρƒ этот курс» ΠΈ \(s\) = Β«Π― Π±ΡƒΠ΄Ρƒ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ свои задания». Π’Ρ‹Ρ€Π°Π·ΠΈΡ‚Π΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ Π² символичСской Ρ„ΠΎΡ€ΠΌΠ΅:

    1. МнС нравятся дискрСтныС структуры, ΠΈ я ΠΏΡ€ΠΎΠΉΠ΄Ρƒ этот курс.
    2. Π― Π±ΡƒΠ΄Ρƒ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ задания ΠΈΠ»ΠΈ Π½Π΅ ΠΏΡ€ΠΎΠΉΠ΄Ρƒ этот курс.
    3. НСправда, Ρ‡Ρ‚ΠΎ я люблю дискрСтныС структуры ΠΈ Π±ΡƒΠ΄Ρƒ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ свои задания.
    4. Π― Π½Π΅ Π±ΡƒΠ΄Ρƒ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ Π·Π°Π΄Π°Π½ΠΈΠ΅ ΠΈ Π½Π΅ ΠΏΡ€ΠΎΠΉΠ΄Ρƒ этот курс.
    ΠžΡ‚Π²Π΅Ρ‚ΠΈΡ‚ΡŒ
    1. \(\displaystyle d\land c\)
    2. \(\displaystyle s\lor \neg c\)
    3. \(\displaystyle \neg (d\land s)\)
    4. \(\displaystyle \neg s\land \neg c\)

    Π£ΠΏΡ€Π°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{2}\)

    Для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅ простыС прСдлоТСния, Π²Ρ‹Ρ€Π°Π·ΠΈΡ‚Π΅ составноС ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π² символичСской Ρ„ΠΎΡ€ΠΌΠ΅ ΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, истинно ΠΎΠ½ΠΎ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎ:

    1. ΠœΠΈΡ€ плоский ΠΈΠ»ΠΈ ноль β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число.
    2. Если 432 802 ΠΊΡ€Π°Ρ‚Π½ΠΎ 4, Ρ‚ΠΎ 432 802 Ρ‡Π΅Ρ‚Π½ΠΎ.
    3. 5 β€” простоС число, Π° 6 Π½Π΅ дСлится Π½Π° 4.
    4. \(3 \in \mathbb{Z}\) ΠΈ \(3 \in \mathbb{Q}\text{.}\)
    5. \(2/3 \in \mathbb{Z}\) ΠΈ \(2/3 \in \mathbb{Q}\text{.}\)
    6. Π‘ΡƒΠΌΠΌΠ° Π΄Π²ΡƒΡ… Ρ‡Π΅Ρ‚Π½Ρ‹Ρ… Ρ†Π΅Π»Ρ‹Ρ… чисСл Ρ‡Π΅Ρ‚Π½Π°, Π° сумма Π΄Π²ΡƒΡ… Π½Π΅Ρ‡Π΅Ρ‚Π½Ρ‹Ρ… Ρ†Π΅Π»Ρ‹Ρ… чисСл Π½Π΅Ρ‡Π΅Ρ‚Π½Π°.

    Π£ΠΏΡ€Π°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{3}\)

    ΠŸΡƒΡΡ‚ΡŒ \(p =\)Β»\(2 \leq 5\)Β», \(q\) = Β«8 β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число» ΠΈ \(r \) = Β«11 β€” простоС число». Π’Ρ‹Ρ€Π°Π·ΠΈΡ‚Π΅ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ Π² Π²ΠΈΠ΄Π΅ утвСрТдСния Π½Π° английском языкС ΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, Π²Π΅Ρ€Π½ΠΎ ΠΎΠ½ΠΎ ΠΈΠ»ΠΈ Π½Π΅Ρ‚:

    1. \(\displaystyle \neg p \land q\)
    2. \(\displaystyle p\стрСлка Π²ΠΏΡ€Π°Π²ΠΎ q\)
    3. \(\displaystyle (p\land q)\to r\)
    4. \(\displaystyle p \rightarrow (q \lor (\neg r))\)
    5. \(\displaystyle p \rightarrow ((\neg q)\lor (\neg r))\)
    6. \(\displaystyle (\neg q) \rightarrow (\neg p)\)
    ΠžΡ‚Π²Π΅Ρ‚ΠΈΡ‚ΡŒ
    1. \(2>5\), Π° 8 β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число. Π›ΠžΠ–Π¬.
    2. Если \(2\leqslant 5\), Ρ‚ΠΎ 8 β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число. Π˜ΡΡ‚ΠΈΠ½Π½Ρ‹ΠΉ.
    3. Если \(2\leqslant 5\) ΠΈ 8 β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число, Ρ‚ΠΎ 11 β€” простоС число. Π˜ΡΡ‚ΠΈΠ½Π½Ρ‹ΠΉ.
    4. Если \(2\leqslant 5\), Ρ‚ΠΎ Π»ΠΈΠ±ΠΎ 8 β€” Ρ‡Π΅Ρ‚Π½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅ число, Π»ΠΈΠ±ΠΎ 11 β€” Π½Π΅ простоС число. Π˜ΡΡ‚ΠΈΠ½Π½Ρ‹ΠΉ.
    5. Если \(2\leqslant 5\), Ρ‚ΠΎ Π»ΠΈΠ±ΠΎ 8 являСтся Π½Π΅Ρ‡Π΅Ρ‚Π½Ρ‹ΠΌ Ρ†Π΅Π»Ρ‹ΠΌ числом, Π»ΠΈΠ±ΠΎ 11 Π½Π΅ являСтся простым числом. Π›ΠžΠ–Π¬.
    6. Если 8 Π½Π΅ являСтся Ρ‡Π΅Ρ‚Π½Ρ‹ΠΌ Ρ†Π΅Π»Ρ‹ΠΌ числом, Ρ‚ΠΎ \(2>5\text{.}\) Π˜ΡΡ‚ΠΈΠ½Π½ΠΎ.

    Π£ΠΏΡ€Π°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{4}\)

    ΠŸΠ΅Ρ€Π΅ΠΏΠΈΡˆΠΈΡ‚Π΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ условныС Ρ„ΠΎΡ€ΠΌΡ‹:

    1. Если Ρ†Π΅Π»ΠΎΠ΅ число ΠΊΡ€Π°Ρ‚Π½ΠΎ 4, Ρ‚ΠΎ ΠΎΠ½ΠΎ Ρ‡Π΅Ρ‚Π½ΠΎΠ΅. 92\) являСтся Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹ΠΌ условиСм для \(x = y\text{.}\)

    Π£ΠΏΡ€Π°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{5}\)

    ΠΠ°ΠΏΠΈΡˆΠΈΡ‚Π΅ ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· упраТнСния \(\PageIndex{4}\). Π‘Ρ€Π°Π²Π½ΠΈΡ‚Π΅ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ прСдлоТСния ΠΈ Π΅Π³ΠΎ ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ³ΠΎ.

    ΠžΡ‚Π²Π΅Ρ‚ΠΈΡ‚ΡŒ

    Π’Π΅Ρ€Π½ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ΅ \(d\).


    Π­Ρ‚Π° страница ΠΏΠΎΠ΄ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ΠΌ 3.1: ΠŸΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ распространяСтся ΠΏΠΎ Π»ΠΈΡ†Π΅Π½Π·ΠΈΠΈ CC BY-NC-SA, Π°Π²Ρ‚ΠΎΡ€ΠΎΠΌ, рСмиксом ΠΈ/ΠΈΠ»ΠΈ ΠΊΡƒΡ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ этой страницы ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π­Π» Π”ΠΎΠ΅Ρ€Ρ€ ΠΈ КСн ЛСвассСр.

    1. НавСрх
      • Π‘Ρ‹Π»Π° Π»ΠΈ эта ΡΡ‚Π°Ρ‚ΡŒΡ ΠΏΠΎΠ»Π΅Π·Π½ΠΎΠΉ?
      1. Вип издСлия
        Π Π°Π·Π΄Π΅Π» ΠΈΠ»ΠΈ Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π°
        Автор
        Π­Π» Π”ΠΎΡ€Ρ€ ΠΈ КСн ЛСвассСр
        ЛицСнзия
        CC BY-NC-SA
        ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ страницу TOC
        Π½Π΅Ρ‚
      2. Π’Π΅Π³ΠΈ
          На этой страницС Π½Π΅Ρ‚ Ρ‚Π΅Π³ΠΎΠ².

      ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ истины с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² с ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π°ΠΌΠΈ ΠΊΠΎΠ΄Π°

      ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ истины с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² с ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π°ΠΌΠΈ ΠΊΠΎΠ΄Π°

      Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ язык программирования, ΠΌΡ‹ вмСстС Ρ€Π΅ΡˆΠΈΠΌ Π³ΠΎΠ»ΠΎΠ²ΠΎΠ»ΠΎΠΌΠΊΡƒ Β«ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ истины с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ²Β» Π½Π° этом ΡƒΡ€ΠΎΠΊΠ΅. Π­Ρ‚ΠΎ дСмонстрируСтся Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΌ ΠΊΠΎΠ΄Π΅.

       ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅ Ρ‚Π°ΠΊΠΆΠ΅, Ρ‡Ρ‚ΠΎ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ ΠΈΠΌΠ΅ΡŽΡ‚
      ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚, ΠΊΠ°ΠΊ ΠΈ арифмСтичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹.
      ! ΠΈΠΌΠ΅Π΅Ρ‚ Π½Π°ΠΈΠ²Ρ‹ΡΡˆΠΈΠΉ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚, Π·Π° Π½ΠΈΠΌ слСдуСт &&, Π° Π·Π°Ρ‚Π΅ΠΌ ||.
      Если Π²Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ ΠΏΠ΅Ρ€Π΅ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚, Π²Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΠΎΠ±Π΅Ρ€Π½ΡƒΡ‚ΡŒ всС, Ρ‡Ρ‚ΠΎ Ρ…ΠΎΡ‚ΠΈΡ‚Π΅.
      Ρ…ΠΎΡ‚ΠΈΡ‚Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ Π² ΠΊΡ€ΡƒΠ³Π»Ρ‹Ρ… скобках, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄Π°Ρ‚ΡŒ Π΅ΠΌΡƒ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚.
      Π‘ΠΊΠΎΠ±ΠΊΠΈ всСгда Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌΠΈ. Π²ΠΎΡ‚ нСсколько ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠ²
      дСмонстрируя, ΠΊΠ°ΠΊ Π²Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ порядок ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ:
      ΠΏΡƒΡΡ‚ΡŒ Π° = истина;
      ΠΏΡƒΡΡ‚ΡŒ Π± = истина;
      ΠΏΡƒΡΡ‚ΡŒ с = лоТь;
      ΠΏΡƒΡΡ‚ΡŒ Π΄ = лоТь;
      a && b && c && d // ΠžΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ слСва Π½Π°ΠΏΡ€Π°Π²ΠΎ
      Π° || Π± && Π² || d // b && c оцСниваСтся ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ
      (a || b) && (c || d) // a || b вычисляСтся, Π·Π°Ρ‚Π΅ΠΌ c || Π΄, Π·Π°Ρ‚Π΅ΠΌ &&
      !(a || b) && (c || d) // Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ ΠΈ Π²Ρ‹ΡˆΠ΅, Π½ΠΎ (a || b) инвСртируСтся ΠΏΠ΅Ρ€Π΅Π΄ вычислСниСм &&
       

      На мноТСствС ΠΈΠ»Π»ΡŽΡΡ‚Ρ€Π°Ρ‚ΠΈΠ²Π½Ρ‹Ρ… ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠ² ΠΌΡ‹ продСмонстрировали, ΠΊΠ°ΠΊ Ρ€Π΅ΡˆΠ°Ρ‚ΡŒ Π·Π°Π΄Π°Ρ‡Ρƒ опрСдСлСния истины с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ².

      Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ с Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности?

      Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ для выполнСния логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π­Ρ‚ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‚ Π±ΡƒΠ»Π΅Π²Ρƒ Π°Π»Π³Π΅Π±Ρ€Ρƒ ΠΈΠ»ΠΈ Π±ΡƒΠ»Π΅Π²Ρ‹ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ. Π’ основном ΠΎΠ½ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ Ρ‚ΠΎΠ³ΠΎ, являСтся Π»ΠΈ ΠΏΡ€ΠΎΠΏΠΎΠ·ΠΈΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠ΅ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ истинным ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½Ρ‹ΠΌ Π² соотвСтствии с Π²Ρ…ΠΎΠ΄Π½Ρ‹ΠΌΠΈ значСниями. Π­Ρ‚ΠΎ основано Π½Π° Π±ΡƒΠ»Π΅Π²ΠΎΠΉ Π°Π»Π³Π΅Π±Ρ€Π΅.

      Как Π½Π°ΠΉΡ‚ΠΈ истинностноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅?

      КакиС 5 логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ²?

      БущСствуСт ΠΏΡΡ‚ΡŒ символов логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ²: Ρ‚ΠΈΠ»ΡŒΠ΄Π°, Ρ‚ΠΎΡ‡ΠΊΠ°, ΠΊΠ»ΠΈΠ½, ΠΏΠΎΠ΄ΠΊΠΎΠ²Π° ΠΈ тройная Ρ‡Π΅Ρ€Ρ‚Π°.

      Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ∧ Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ истинности?

      Π‘ΠΈΠΌΠ²ΠΎΠ», ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ для прСдставлСния ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π° AND ΠΈΠ»ΠΈ логичСской ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, β€” ∧. Π­Ρ‚ΠΎ ΠΏΠΎΡ…ΠΎΠΆΠ΅ Π½Π° ΠΏΠ΅Ρ€Π΅Π²Π΅Ρ€Π½ΡƒΡ‚ΡƒΡŽ Π±ΡƒΠΊΠ²Ρƒ V. Если Ρƒ нас Π΅ΡΡ‚ΡŒ Π΄Π²Π° простых ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π° P ΠΈ Q, ΠΈ ΠΌΡ‹ Ρ…ΠΎΡ‚ΠΈΠΌ ΡΡ„ΠΎΡ€ΠΌΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ составной ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€, соСдинСнный ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ AND, ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Π΅Π³ΠΎ Ρ‚Π°ΠΊ: P ∧ Q \large{P \wedge Q} P ∧Q.

      ΠšΠ°ΠΊΠΎΠ²Ρ‹ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ²?

      ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹

      Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности Π² Π»ΠΎΠ³ΠΈΠΊΠ΅?

      Π’Π°Π±Π»ΠΈΡ†Π° истинности прСдставляСт собой Ρ€Π°Π·Π±ΠΈΠ²ΠΊΡƒ логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ ΠΏΡƒΡ‚Π΅ΠΌ пСрСчислСния всСх Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ функция. Вакая Ρ‚Π°Π±Π»ΠΈΡ†Π° ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ содСрТит нСсколько строк ΠΈ столбцов, ΠΏΡ€ΠΈΡ‡Π΅ΠΌ вСрхняя строка прСдставляСт собой логичСскиС ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ ΠΈ ΠΈΡ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΈ, ΠΏΠΎ Π²ΠΎΠ·Ρ€Π°ΡΡ‚Π°ΡŽΡ‰Π΅ΠΉ слоТности Π²Π΅Π΄ΡƒΡ‰ΠΈΠ΅ ΠΊ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ.

      ΠšΠ°ΠΊΠΎΠ²Ρ‹ значСния истинности для P ∧ Q β†’ Q?

      Π˜Ρ‚Π°ΠΊ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Ρƒ нас Π½Π΅Ρ‚ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΏΠΎ ΠΎΠ±Π΅ стороны ΠΎΡ‚ символа Β«ΠΈΒ», ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΠ±Π° Π²Π΅Ρ€Π½Ρ‹, ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ ~p∧q Π»ΠΎΠΆΠ½ΠΎ. Π˜Ρ‚Π°ΠΊ, ~p∧q=F. Π’Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΊΠΎΠ³Π΄Π° ΠΌΡ‹ Π·Π½Π°Π΅ΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ истинности всСго Π² скобках (~p∧q), ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡ‚ΡŒ это ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с ∨p, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ ΠΎΠΊΠΎΠ½Ρ‡Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ (~p∧q)∨p. Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности.

      ΠšΠ°ΠΊΠΎΠ²Ρ‹ значСния истинности для P ∨ Q?

      Π˜ΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ прСдлоТСния называСтся Π΅Π³ΠΎ истинностным Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ΠΌ. ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ ∨ прСдставляСт собой Π½Π΅ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ ΠΈΠ»ΠΈ, Ρ‚. Π•. p ∨ q истинно, ΠΊΠΎΠ³Π΄Π° любоС ΠΈΠ· p, q истинно, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° истинны. Π‘ Π΄Ρ€ΡƒΠ³ΠΎΠΉ стороны, βŠ• прСдставляСт собой ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ ΠΈΠ»ΠΈ, Ρ‚. Π΅. p βŠ• q истинно Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° истинно ΠΎΠ΄Π½ΠΎ ΠΈΠ· p ΠΈ q. 1.1.

      Как ΡƒΠ·Π½Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ условного ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°?

      Π¨Π°Π³ 1.

      alexxlab

      Π”ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ

      Π’Π°Ρˆ адрСс email Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΠΏΡƒΠ±Π»ΠΈΠΊΠΎΠ²Π°Π½. ΠžΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ поля ΠΏΠΎΠΌΠ΅Ρ‡Π΅Π½Ρ‹ *