Исчисление высказываний Если ослик Иа пойдёт гулять, то он обязательно потеряет хвост. Ослик Иа пойдёт

Исчисление высказываний Если ослик Иа пойдёт гулять, то он обязательно потеряет хвост. Ослик Иа пойдёт гулять, если Вини-пух пойдёт с ним. Вини-пух решил остаться дома. значит ослик Иа не потеряет свой хвост. Записать рассуждение в логической символике, обосновать выбор логических связок. Проверить правильность рассуждений, составив таблицу истинности.

Введём высказывания:
A = «Ослик Иа пойдёт гулять».
B = «Вини-пух пойдёт гулять».
C = «Ослик Иа потеряет свой хвост».
Есть три высказывания, которые должны быть одновременно истинны, и тогда истинной будет следствие из них . Связка «если … то» характерна для логической операции импликации.
Получаем:
= «Если ослик Иа пойдёт гулять, то он обязательно потеряет хвост».
= «Ослик Иа пойдёт гулять, если Вини-пух пойдёт с ним».
= «Вини-пух решил остаться дома».
= «Ослик Иа не потеряет свой хвост».
Получаем:
.
Проверяем правильность рассуждений, составив таблицу истинности:
A B C
0 0 0 1 1 1 1 1 1
0 0 1 1 0 1 1 1 0
0 1 0 0 1 1 0 0 1
0 1 1 0 0 1 0 0 1
1 0 0 1 1 1 1 1 1
1 0 1 1 0 1 0 0 1
1 1 0 0 1 0 1 0 1
1 1 1 0 0 1 0 0 1

. Связка «если … то» характерна для логической операции импликации.
Получаем:
= «Если ослик Иа пойдёт гулять, то он обязательно потеряет хвост».
= «Ослик Иа пойдёт гулять, если Вини-пух пойдёт с ним».
= «Вини-пух решил остаться дома».
= «Ослик Иа не потеряет свой хвост».
Получаем:
.
Проверяем правильность рассуждений, составив таблицу истинности:
A B C
0 0 0 1 1 1 1 1 1
0 0 1 1 0 1 1 1 0
0 1 0 0 1 1 0 0 1
0 1 1 0 0 1 0 0 1
1 0 0 1 1 1 1 1 1
1 0 1 1 0 1 0 0 1
1 1 0 0 1 0 1 0 1
1 1 1 0 0 1 0 0 1