Π”ΠΈΠΏΠ»ΠΎΠΌΡ‹, курсовыС, Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚Ρ‹, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Ρ‹Π΅...
Брочная ΠΏΠΎΠΌΠΎΡ‰ΡŒ Π² ΡƒΡ‡Ρ‘Π±Π΅

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ. 
Π›ΠΎΠ³ΠΈΠΊΠ°

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

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

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ. Π›ΠΎΠ³ΠΈΠΊΠ° (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ Ρ„ΠΎΡ€ΠΌΡƒΠ» Ρ„ ΠΈ (Ρ€ называСтся Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° (Ρ„& (Ρ€), которая истинна, Ссли истинны ΠΊΠ°ΠΊ Ρ„, Ρ‚Π°ΠΊ ΠΈ, ΠΈ ΠΊΠΎΡ‚орая Π»ΠΎΠΆΠ½Π° Π²ΠΎ Π²ΡΠ΅Ρ… ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Ρ… случаях.

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ Π΄Π²ΡƒΡ… ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Ρ… Ρ„ΠΎΡ€ΠΌΡƒΠ» Ρ„ΠΈ (Ρ€ ΠΈΠΌΠ΅Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Π²ΠΈΠ΄:

ΠŸΠ΅Ρ€Π²Ρ‹ΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚.

Π’Ρ‚ΠΎΡ€ΠΎΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚.

Π—Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ.

Π€

<οΏ½Π 

(Π€&(Ρ€)

Π’

Π’

Π’

Ρ‚

F

F

F

Π’

F

F

F

F

КаТдая Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π»ΠΈΠ±ΠΎ истинной, Π»ΠΈΠ±ΠΎ Π»ΠΎΠΆΠ½ΠΎΠΉ. Π‘Π»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, для Π΄Π²ΡƒΡ… Ρ„ΠΎΡ€ΠΌΡƒΠ» ΠΌΡ‹ ΠΈΠΌΠ΅Π΅ΠΌ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ возмоТности:

  • β€’ Ρ„ΠΏ (Ρ€ ΠΎΠ±Π΅ истинны;
  • β€’ Ρ„ истинна, Π½ΠΎ (Ρ€ Π»ΠΎΠΆΠ½Π°;
  • β€’ Ρ„ Π»ΠΎΠΆΠ½Π°, Π½ΠΎ (Ρ€ истинна;
  • β€’ Ρ„ΠΈ (Ρ€ΠΎΠ±Π΅ Π»ΠΎΠΆΠ½Ρ‹.

Π’ ΠΎΠ±Ρ‰Π΅ΠΌ, Ссли имССтся ΠΏ Ρ„ΠΎΡ€ΠΌΡƒΠ», Ρ‚ΠΎ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΠ΅Ρ‚ 2″ возмоТностСй ΠΈΡ… ΠΈΡΡ‚инности. Читая Ρ‚Ρ€Π΅Ρ‚ΠΈΠΉ столбСц, ΠΌΡ‹ Π²ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° (Ρ„ & (Ρ€) ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅Ρ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ «ΠΈΡΡ‚ΠΈΠ½Π°» Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² ΡΠ»ΡƒΡ‡Π°Π΅ совмСстной истинности Ρ„ΠΎΡ€ΠΌΡƒΠ» Ρ„ΠΈ (Ρ€. Π’ΠΎ Π²ΡΠ΅Ρ… ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Ρ… случаях ΠΎΠ½Π° ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅Ρ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ «Π»ΠΎΠΆΡŒ».

Π€ΠΎΡ€ΠΌΡƒΠ»Ρ‹, соСдиняСмыС Π·Π½Π°ΠΊΠΎΠΌ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, принято Π½Π°Π·Ρ‹Π²Π°Ρ‚ΡŒ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚Π°ΠΌΠΈ.

ΠŸΡƒΡΡ‚ΡŒ Ρ„ = «Π― Ρ‡ΠΈΡ‚Π°ΡŽ ΠΊΠ½ΠΈΠ³Ρƒ», (Ρ€ = «Π― ΡΠ»ΡƒΡˆΠ°ΡŽ ΠΌΡƒΠ·Ρ‹ΠΊΡƒ». Π’ΠΎΠ³Π΄Π° высказываниС «Π― Ρ‡ΠΈΡ‚Π°ΡŽ ΠΊΠ½ΠΈΠ³Ρƒ ΠΈ ΡΠ»ΡƒΡˆΠ°ΡŽ ΠΌΡƒΠ·Ρ‹ΠΊΡƒ» прСдставляСт ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡŽ ΡƒΠΊΠ°Π·Π°Π½Π½Ρ‹Ρ… Π΄Π²ΡƒΡ… простых высказываний ΠΈ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎ Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ½ΠΈ ΠΎΠ±Π° истинны ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ. Π’ ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС, Ρ‚. Π΅.

Ссли Π»ΠΎΠΆΠ΅Π½ хотя Π±Ρ‹ ΠΎΠ΄ΠΈΠ½ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚, Ρ‚ΠΎ Π»ΠΎΠΆΠ½ΠΎ ΠΈ ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΠΎΠ΅ ΠΈΠ· Π½ΠΈΡ… слоТноС высказываниС.

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ считаСтся самым ΡΠΈΠ»ΡŒΠ½Ρ‹ΠΌ логичСским союзом, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ для Π΅Π΅ ΠΈΡΡ‚инности трСбуСтся, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π±Ρ‹Π»ΠΈ истинны всС Π΅Π΅ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚Ρ‹. Π’ Π΅ΡΡ‚СствСнном языкС ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ ΠΊΡ€ΠΎΠΌΠ΅ союза «ΠΈ» выраТаСтся Ρ‚Π°ΠΊΠΆΠ΅ союзами «Π°», «Π½ΠΎ», «Π²ΠΌΠ΅ΡΡ‚Π΅ с», «ΠΊΠ°ΠΊ… Ρ‚Π°ΠΊ ΠΈ», «Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ… Π½ΠΎ ΠΈ», «…хотя ΠΈ», «Π° Ρ‚Π°ΠΊΠΆΠ΅…», «Π½ΠΈ… Π½ΠΈ» (Π² ΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… суТдСниях), Π° Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ.

Π’ Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π½ΠΎΠΌ языкС пСрСстановка мСстами ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΎΠ² Π½Π΅ Π²Π΅Π΄Π΅Ρ‚ ΠΊ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΡŽ логичСского значСния Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹. Π˜Π½Ρ‹ΠΌΠΈ словами, Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ (0 & Ρ„) ΠΈ (Ρ„ & 0) эквивалСнтны (ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄Π½ΠΎ ΠΈ Ρ‚ΠΎ ΠΆΠ΅ логичСскоС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅). Π’ Π΅ΡΡ‚СствСнном языкС ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Π°Ρ связь часто Π²Ρ‹Ρ€Π°ΠΆΠ°Π΅Ρ‚ ΡƒΠΏΠΎΡ€ΡΠ΄ΠΎΡ‡Π΅Π½Π½ΡƒΡŽ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ событий, ΠΈ ΠΏΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ° мСстами Π΅Π΅ Ρ‡Π»Π΅Π½ΠΎΠ² искаТаСт смысл всСго высказывания. Высказывания «Π― ΠΏΠΎΡ‡ΠΈΡΡ‚ΠΈΠ» Π·ΡƒΠ±Ρ‹ ΠΈ Π»Π΅Π³ ΡΠΏΠ°Ρ‚ΡŒ» ΠΈ «Π― Π»Π΅Π³ ΡΠΏΠ°Ρ‚ΡŒ ΠΈ ΠΏΠΎΡ‡ΠΈΡΡ‚ΠΈΠ» Π·ΡƒΠ±Ρ‹» вряд Π»ΠΈ ΠΊΡ‚ΠΎ-Π½ΠΈΠ±ΡƒΠ΄ΡŒ посчитаСт эквивалСнтными.

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