|
|
Строка 69: |
Строка 69: |
| | | |
| <span class="1"><span style="color:black">Ми вміємо утворювати нові висловлення за | | <span class="1"><span style="color:black">Ми вміємо утворювати нові висловлення за |
- | </span></span> | + | </span></span> допомогою <span class="Verdana"><span style="font-size:10.0pt; color:black">не,</span></span><span class="1"><span style="color:black"> тобто</span></span> <span class="Verdana2"><span style="font-size:10.0pt;color:black">і</span></span><span class="1"><span style="color:black">шляхом заперечення. Заперечення перетворює істинне висловлення |
- | | + | </span></span> на хибне і навпаки. А чи можна утворити нове висловлення з двох? Так, це легко зробити за допомогою слів <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то.</span></span> |
- | допомогою <span class="Verdana"><span style="font-size:10.0pt; color:black">не,</span></span><span class="1"><span style="color:black"> тобто</span></span> | + | |
- | | + | |
- | <span class="Verdana2"><span style="font-size:10.0pt;color:black">і</span></span><span class="1"><span style="color:black">шляхом заперечення. Заперечення перетворює істинне висловлення | + | |
- | </span></span> | + | |
- | | + | |
- | на хибне і навпаки. А чи можна утворити нове висловлення з двох? Так, це<br> легко зробити за допомогою слів <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то.</span></span> | + | |
| | | |
| <span class="1"><span style="color:black">Візьмемо, | | <span class="1"><span style="color:black">Візьмемо, |
- | </span></span> | + | </span></span> наприклад, два висловлення: «На світлофорі зелене світло» і «Можна переходити<br> вулицю». Об'єднаємо їх, скориставшись словами <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то.</span></span><span class="1"><span style="color:black"> Нове висловлення буде таким: «Якщо на світлофорі зелене |
- | | + | </span></span>світло, то можна переходити вулицю». |
- | наприклад, два висловлення: «На світлофорі зелене світло» і «Можна переходити<br> вулицю». Об'єднаємо їх, скориставшись словами <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то.</span></span><span class="1"><span style="color:black"> Нове висловлення буде таким: «Якщо на світлофорі зелене | + | |
- | світло, то можна переходити вулицю».</span></span>
| + | |
| | | |
| <span class="1"><span style="color:black">Ми | | <span class="1"><span style="color:black">Ми |
- | </span></span> | + | </span></span> не знаємо, чи є істинними перше й друге висловлення, бо в один момент світло<br> на світлофорі може бути зеленим, а в інший — червоним. Проте цікаво, що нове<br> висловлення, яке ми утворили, є істинним. |
- | | + | |
- | не знаємо, чи є істинними перше й друге висловлення, бо в один момент світло<br> на світлофорі може бути зеленим, а в інший — червоним. Проте цікаво, що нове<br> висловлення, яке ми утворили, є істинним. | + | |
| | | |
| <span class="1"><span style="color:black">Висловлення, | | <span class="1"><span style="color:black">Висловлення, |
- | </span></span> | + | </span></span> яке утворюється з двох висловлень за допомогою слів <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то,</span></span><span class="1"><span style="color:black"> називають </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">логічним слідуванням.</span></span> <span class="1"><span style="color:black">Наведемо |
- | | + | </span></span> ще приклади таких висловлень: |
- | яке утворюється з двох висловлень за допомогою слів <span class="Verdana"><span style="font-size:10.0pt;color:black">якщо</span></span><span class="1"><span style="color:black"> й </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то,</span></span><span class="1"><span style="color:black"> називають </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">логічним слідуванням.</span></span> | + | |
- | | + | |
- | <span class="1"><span style="color:black">Наведемо | + | |
- | </span></span> | + | |
- | | + | |
- | ще приклади таких висловлень: | + | |
| | | |
| <span style="mso-fareast-font-family:Arial;color:black"><span style="mso-list:Ignore">■<span> </span></span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">Якщо</span></span><span class="1"><span style="color:black"> з вирію прилітають птахи, </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то</span></span><span class="1"><span style="color:black"> прийшла весна.</span></span> | | <span style="mso-fareast-font-family:Arial;color:black"><span style="mso-list:Ignore">■<span> </span></span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">Якщо</span></span><span class="1"><span style="color:black"> з вирію прилітають птахи, </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то</span></span><span class="1"><span style="color:black"> прийшла весна.</span></span> |
Строка 108: |
Строка 92: |
| | | |
| <span class="1"><span style="color:black">Усі ці висловлення істинні. Проте не кожне | | <span class="1"><span style="color:black">Усі ці висловлення істинні. Проте не кожне |
- | </span></span> | + | </span></span> |
| | | |
- | висловлення, утворене шляхом | + | висловлення, утворене шляхом |
| | | |
| <span class="1"><span style="color:black">логічного слідування, є істинним. | | <span class="1"><span style="color:black">логічного слідування, є істинним. |
- | </span></span> | + | </span></span> |
| | | |
- | Поміняємо, наприклад, перші і другі частини деяких з наведених висловлень: | + | Поміняємо, наприклад, перші і другі частини деяких з наведених висловлень: |
| | | |
| <span style="mso-fareast-font-family:Arial;color:black"><span style="mso-list:Ignore">■<span> </span></span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">Якщо</span></span><span class="1"><span style="color:black"> у хлопчика гарний настрій, </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то</span></span><span class="1"><span style="color:black"> він сміється.</span></span> | | <span style="mso-fareast-font-family:Arial;color:black"><span style="mso-list:Ignore">■<span> </span></span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">Якщо</span></span><span class="1"><span style="color:black"> у хлопчика гарний настрій, </span></span><span class="Verdana"><span style="font-size:10.0pt;color:black">то</span></span><span class="1"><span style="color:black"> він сміється.</span></span> |
Строка 122: |
Строка 106: |
| | | |
| <span class="1"><span style="color:black">Ці висловлення хибні, бо ми не завжди | | <span class="1"><span style="color:black">Ці висловлення хибні, бо ми не завжди |
- | </span></span> | + | </span></span> |
| | | |
- | сміємося, коли у нас гарний настрій. І у воді живуть не тільки риби, а й інші<br> тварини. Іноді логічне слідування може на перший погляд здатися істинним, а<br> насправді це не так. | + | сміємося, коли у нас гарний настрій. І у воді живуть не тільки риби, а й інші<br> тварини. Іноді логічне слідування може на перший погляд здатися істинним, а<br> насправді це не так. |
| | | |
| <span class="1"><span style="color:black">Мистецтво міркувати полягає в умінні робити | | <span class="1"><span style="color:black">Мистецтво міркувати полягає в умінні робити |
- | </span></span> | + | </span></span> |
- | | + | |
- | правильні висновки, тобто утворювати істинні логічні слідування.
| + | |
| | | |
- | <!--[if gte mso 9]><xml> | + | правильні висновки, тобто утворювати істинні логічні слідування. <!--[if gte mso 9]><xml> |
| <o:OfficeDocumentSettings> | | <o:OfficeDocumentSettings> |
| <o:AllowPNG/> | | <o:AllowPNG/> |
Версия 12:37, 9 октября 2012
Гіпермаркет Знань>>Інформатика>>Інформатика 4 клас>> Інформатика: Розгалуження. Алгоритми з розгалуженням.
Ми вміємо утворювати нові висловлення за
допомогою не, тобто ішляхом заперечення. Заперечення перетворює істинне висловлення
на хибне і навпаки. А чи можна утворити нове висловлення з двох? Так, це легко зробити за допомогою слів якщо й то.
Візьмемо,
наприклад, два висловлення: «На світлофорі зелене світло» і «Можна переходити вулицю». Об'єднаємо їх, скориставшись словами якщо й то. Нове висловлення буде таким: «Якщо на світлофорі зелене
світло, то можна переходити вулицю».
Ми
не знаємо, чи є істинними перше й друге висловлення, бо в один момент світло на світлофорі може бути зеленим, а в інший — червоним. Проте цікаво, що нове висловлення, яке ми утворили, є істинним.
Висловлення,
яке утворюється з двох висловлень за допомогою слів якщо й то, називають логічним слідуванням. Наведемо
ще приклади таких висловлень:
■ Якщо з вирію прилітають птахи, то прийшла весна.
■ Якщо хлопчик сміється, то у цього хлопчика гарний настрій.
■ Якщо ця істота - риба, то вона живе у воді.
■ Якщо у прямокутника всі сторони рівні, то цей прямокутник - квадрат.
Усі ці висловлення істинні. Проте не кожне
висловлення, утворене шляхом
логічного слідування, є істинним.
Поміняємо, наприклад, перші і другі частини деяких з наведених висловлень:
■ Якщо у хлопчика гарний настрій, то він сміється.
■ Якщо істота живе у воді, то ця істота - риба.
Ці висловлення хибні, бо ми не завжди
сміємося, коли у нас гарний настрій. І у воді живуть не тільки риби, а й інші тварини. Іноді логічне слідування може на перший погляд здатися істинним, а насправді це не так.
Мистецтво міркувати полягає в умінні робити
правильні висновки, тобто утворювати істинні логічні слідування.
|