Гіпермаркет Знань>>Інформатика>>Інформатика 4 клас>> Інформатика: Розгалуження. Алгоритми з розгалуженням. 

Ми вміємо утворювати нові висловлення за

 допомогою не, тобто

ішляхом заперечення. Заперечення перетворює істинне вислов­лення

 на хибне і навпаки. А чи можна утворити нове висловлення з двох? Так, це
легко зробити за допомогою слів якщо й то.

Візьмемо,

 наприклад, два висловлення: «На світлофорі зелене світло» і «Можна переходити
вулицю». Об'єднаємо їх, скориставшись словами якщо й то. Нове висловлення буде таким: «Якщо на світлофорі зелене

світло, то можна переходити вулицю».

Ми

 не знаємо, чи є істинними перше й друге висловлення, бо в один момент світло
на світлофорі може бути зеленим, а в інший — червоним. Проте цікаво, що нове
висловлення, яке ми утворили, є істинним.

Висловлення,

 яке утворюється з двох висловлень за допомогою слів якщо й то, називають логічним слідуванням.

Наведемо

 ще приклади таких висловлень:

■  Якщо з вирію прилітають птахи, то прийшла весна.

■  Якщо хлопчик сміється, то у цього хлопчика гарний настрій.

■  Якщо ця істота - риба, то вона живе у воді.

■  Якщо у прямокутника всі сторони рівні, то цей прямокутник - квадрат.

Усі ці висловлення істинні. Проте не кожне

 висловлення, утворене шляхом

логічного слідування, є істинним.

 Поміняємо, наприклад, перші і другі час­тини деяких з наведених висловлень:

■  Якщо у хлопчика гарний настрій, то він сміється.

■  Якщо істота живе у воді, то ця істота - риба.

Ці висловлення хибні, бо ми не завжди

 сміємося, коли у нас гарний настрій. І у воді живуть не тільки риби, а й інші
тварини. Іноді логічне слідування може на перший погляд здатися істинним, а
насправді це не так.

Мистецтво міркувати полягає в умінні робити

 правильні висновки, тобто утворювати істинні логічні слідування.