ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² ΡƒΡ‡Ρ‘Π±Π΅, ΠΎΡ‡Π΅Π½ΡŒ быстро...
Π Π°Π±ΠΎΡ‚Π°Π΅ΠΌ вмСстС Π΄ΠΎ ΠΏΠΎΠ±Π΅Π΄Ρ‹

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, Π΅Π΅ условия истинности

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

Π’Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΡŽ (А Π» Π’) Π² Π΅ΡΡ‚СствСнном языкС, ΠΊΡ€ΠΎΠΌΠ΅ «Π ΠΈ Π’», ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ Ρ‚Π°ΠΊΠΆΠ΅ выраТСния: «Π Π²ΠΌΠ΅ΡΡ‚Π΅ с Π’»; «ΠΊΠ°ΠΊ Π›, Ρ‚Π°ΠΊ ΠΈ Π’»; «Π› Π² Ρ‚ΠΎ врСмя, ΠΊΠ°ΠΊ Π’»; «Π’, хотя ΠΈ Π›»; «Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ А, Π½ΠΎ ΠΈ Π’»; «Π, Π° Ρ‚Π°ΠΊΠΆΠ΅ Π’»; «Π, Π’» ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅. НаконСц, Ссли Π½ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠ΅, Π½ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ простоС высказываниС Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ‚Π²Π΅Ρ‡Π°Ρ‚ΡŒ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Ρ‚ΠΎΠ³Π΄Π° слоТноС высказываниС Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ‚Π²Π΅Ρ‡Π°Ρ‚ΡŒ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΠΈ ΠΎΠΊΠ°ΠΆΠ΅Ρ‚ся Π»ΠΎΠΆΠ½Ρ‹ΠΌ. Если… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, Π΅Π΅ условия истинности (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€.

Рассмотрим высказываниС: «ΠΠ° ΡƒΠ»ΠΈΡ†Π΅ Ρ…ΠΎΠ»ΠΎΠ΄Π½ΠΎ ΠΈ ΠΈΠ΄Π΅Ρ‚ доТдь».

Π­Ρ‚ΠΎ слоТноС высказываниС, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ состоит ΠΈΠ· Π΄Π²ΡƒΡ… простых:

  • — «ΠΠ° ΡƒΠ»ΠΈΡ†Π΅ Ρ…ΠΎΠ»ΠΎΠ΄Π½ΠΎ»;
  • — «ΠΠ° ΡƒΠ»ΠΈΡ†Π΅ ΠΈΠ΄Π΅Ρ‚ доТдь».

БимволичСски Π΅Π³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Π³Π°ΠΊ: Ρ€ Π» q (Ρ‡ΠΈΡ‚Π°ΡŽΡ‚: «Ρ€ ΠΈ q»).

Π­Ρ‚ΠΎ высказываниС Π±ΡƒΠ΄Π΅Ρ‚ истинным Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° простыС высказывания, входящиС Π² Π΅Π³ΠΎ состав, Π±ΡƒΠ΄ΡƒΡ‚ истинными, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Ссли Π½Π° ΡƒΠ»ΠΈΡ†Π΅ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Ρ…ΠΎΠ»ΠΎΠ΄Π½ΠΎ ΠΈ ΠΈΠ΄Π΅Ρ‚ доТдь.

Если Π½Π° ΡƒΠ»ΠΈΡ†Π΅ Ρ…ΠΎΠ»ΠΎΠ΄Π½ΠΎ, Π½ΠΎ Π΄ΠΎΠΆΠ΄ΡŒ Π½Π΅ ΠΈΠ΄Π΅Ρ‚, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Ссли ΠΏΠ΅Ρ€Π²ΠΎΠ΅ простоС высказываниС истинно, Π° Π²Ρ‚ΠΎΡ€ΠΎΠ΅ — Π»ΠΎΠΆΠ½ΠΎ, Ρ‚ΠΎΠ³Π΄Π° ΠΈΡ… ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, вСроятнСС всСго, Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ†Π΅Π½Π΅Π½Π° ΠΊΠ°ΠΊ лоТная.

Аналогично ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½ΠΎΠΉ, Ссли окаТСтся, Ρ‡Ρ‚ΠΎ ΠΏΠ° ΡƒΠ»ΠΈΡ†Π΅ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΈΠ΄Π΅Ρ‚ доТдь, Π½ΠΎ ΡΡ‚ΠΎΠΈΡ‚ тСплая ΠΏΠΎΠ³ΠΎΠ΄Π°.

НаконСц, Ссли Π½ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠ΅, Π½ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ простоС высказываниС Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ‚Π²Π΅Ρ‡Π°Ρ‚ΡŒ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Ρ‚ΠΎΠ³Π΄Π° слоТноС высказываниС Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΡ‚Π²Π΅Ρ‡Π°Ρ‚ΡŒ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΠΈ ΠΎΠΊΠ°ΠΆΠ΅Ρ‚ся Π»ΠΎΠΆΠ½Ρ‹ΠΌ.

Π”Π°Π΄ΠΈΠΌ Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ логичСского союза ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ.

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ — это логичСский союз, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π΄Π΅Π»Π°Π΅Ρ‚ истинным слоТноС высказываниС Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π΅Π³ΠΎ ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΠ΅ — истинныС высказывания.

Π­Ρ‚ΠΈ Ρ„Π°ΠΊΡ‚Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ истинности ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ Ρ‚Π°ΠΊ:

β„–.

А.

Π’.

АлВ.

ΠΈ.

ΠΈ.

ΠΈ.

ΠΈ.

Π›.

Π›.

Π›.

ΠΈ.

Π›.

Π›.

Π›.

Π›.

Π’Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΡŽ (А Π» Π’) Π² Π΅ΡΡ‚СствСнном языкС, ΠΊΡ€ΠΎΠΌΠ΅ «Π ΠΈ Π’», ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ Ρ‚Π°ΠΊΠΆΠ΅ выраТСния: «Π Π²ΠΌΠ΅ΡΡ‚Π΅ с Π’»; «ΠΊΠ°ΠΊ Π›, Ρ‚Π°ΠΊ ΠΈ Π’»; «Π› Π² Ρ‚ΠΎ врСмя, ΠΊΠ°ΠΊ Π’»; «Π’, хотя ΠΈ Π›»; «Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ А, Π½ΠΎ ΠΈ Π’»; «Π, Π° Ρ‚Π°ΠΊΠΆΠ΅ Π’»; «Π, Π’» ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ