У сороки было трое птенцов: А, В, С. Кого сорока угостила кашей, если известно, что если она угостит А и С, то и В получит свою порцию. Также известно, что А не угостит тогда и только тогда, когда не угостит С.

Добавлена: 16.05.2026
Обновлена: 16.05.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Дедуктивные системы

Условие:

У сороки было трое птенцов: А, В, С. Кого сорока угостила кашей, если известно, что если она угостит А и С, то и В получит свою порцию. Также известно, что А не угостит тогда и только тогда, когда не угостит С.

Решение:

1. Дано и Найти

Дано: Пусть $A$ , $B$ , $C$ — логические высказывания, означающие:

$A$ : Сорока угостила птенца А.
$B$ : Сорока угостила птенца В.
$C$ : Сорока угостила птенца С.

Условия (посылки):

"Если она угостит А и С, то и В получит свою порцию." Это импликация: $(A \land C) \rightarrow B$ .
"А не угостит тогда и только тогда, когда не угостит С." Это эквивалентность (двойная импликация): $\neg A \leftrightarrow \neg C$ .