ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.

ΠŸΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½Π½ΡƒΡŽ Ρ€Π°Π±ΠΎΡ‚Ρƒ ΠΈΠ»ΠΈ ΠΊΠΎΠ½ΡΡƒΠ»ΡŒΡ‚Π°Ρ†ΠΈΡŽ спСциалиста ΠΏΠΎ Π²Π°ΡˆΠ΅ΠΌΡƒ ΡƒΡ‡Π΅Π±Π½ΠΎΠΌΡƒ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Ρƒ
Π£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ

Π€ΠΎΡ€ΠΌΡƒΠ»Π°, истинностноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π΅ΡΡ‚ΡŒ T ΠΏΡ€ΠΈ Π»ΡŽΠ±Ρ‹Ρ… Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… истинностных значСниях, приписываСмых Π΅Π΅ простым ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π°ΠΌ, являСтся Ρ‚Π°Π²Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠ΅ΠΉ; говорят Ρ‚Π°ΠΊΠΆΠ΅, Ρ‡Ρ‚ΠΎ такая Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠΎΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠ° (Π² исчислСнии высказываний).

Π”Π°Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° А. ЯвляСтся Π»ΠΈ ΠΎΠ½Π° Ρ‚Π°Π²Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠ΅ΠΉ ΠΈΠ»ΠΈ Π½Π΅Ρ‚, ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ, рассмотрСв Π΅Π΅ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚Π½ΡƒΡŽ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ. Если простыС ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Ρ‹, входящиС Π² А, ΡΡƒΡ‚ΡŒ ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний., Ρ‚ΠΎ А прСдставляСт собой Ρ‚Π°Π²Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΡŽ Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π΅Π΅ истинностноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π΅ΡΡ‚ΡŒ Π’ ΠΏΡ€ΠΈ ΠΊΠ°ΠΆΠ΄ΠΎΠΌ ΠΈΠ· ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний. приписанных ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний. распрСдСлСний Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π’ ΠΈ F. НапримСр, ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.Β ΠΈ ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.Β ΡΠ²Π»ΡΡŽΡ‚ΡΡ тавтологиями, Ρ‚ΠΎΠ³Π΄Π° ΠΊΠ°ΠΊ ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.Β - Π½Π΅ тавтология. Π­Ρ‚ΠΎΡ‚ Π²Ρ‹Π²ΠΎΠ΄ основываСтся Π½Π° рассмотрСнии ΠΏΠΎΠΌΠ΅Ρ‰Π΅Π½Π½Ρ‹Ρ… Π½ΠΈΠΆΠ΅ Ρ‚Π°Π±Π»ΠΈΡ† I, II ΠΈ III.

ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.

Π’Π΅ΠΎΡ€Π΅ΠΌΠ°. ΠŸΡƒΡΡ‚ΡŒ Π’ Π΅ΡΡ‚ΡŒ нСкоторая Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°, Π° ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.Β - Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°, получаСмая ΠΈΠ· Π’ подстановкой Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ А вмСсто простого ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° P Π²Π΅Π·Π΄Π΅, Π³Π΄Π΅ ΠΎΠ½ встрСчаСтся Π² Π’. Π’ΠΎΠ³Π΄Π°, Ссли B – тавтология, Ρ‚ΠΎΒ  ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.- Ρ‚Π°ΠΊΠΆΠ΅ тавтология.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€: ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.

ΠŸΠΎΠ΄ΡΡ‚Π°Π²ΠΈΠΌ вмСсто P: ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.

Π’Π½ΠΈΠΌΠ°Π½ΠΈΠ΅!
Если Π²Π°ΠΌ Π½ΡƒΠΆΠ½Π° ΠΏΠΎΠΌΠΎΡ‰ΡŒ Π² написании Ρ€Π°Π±ΠΎΡ‚Ρ‹, Ρ‚ΠΎ Ρ€Π΅ΠΊΠΎΠΌΠ΅Π½Π΄ΡƒΠ΅ΠΌ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚ΡŒΡΡ ΠΊ профСссионалам. Π‘ΠΎΠ»Π΅Π΅ 70 000 Π°Π²Ρ‚ΠΎΡ€ΠΎΠ² Π³ΠΎΡ‚ΠΎΠ²Ρ‹ ΠΏΠΎΠΌΠΎΡ‡ΡŒ Π²Π°ΠΌ прямо сСйчас. БСсплатныС ΠΊΠΎΡ€Ρ€Π΅ΠΊΡ‚ΠΈΡ€ΠΎΠ²ΠΊΠΈ ΠΈ Π΄ΠΎΡ€Π°Π±ΠΎΡ‚ΠΊΠΈ. Π£Π·Π½Π°ΠΉΡ‚Π΅ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ своСй Ρ€Π°Π±ΠΎΡ‚Ρ‹.

ΠžΠ±Ρ‰Π΅Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ (тавтология) Π² исчислСнии высказываний.

 

Блучайная Π½ΠΎΠ²ΠΎΡΡ‚ΡŒ