Шешімі: Логические следствия условия
Когда какая-нибудь кошка идёт по забору, пёс Бим, живущий в будке возле дома, обязательно лает.
Шешімін қадамдап көрсету
5 қадамОбозначим событие «какая-нибудь кошка идёт по забору» через $A$, а событие «Бим лает» через $B$. Условие означает: если происходит $A$, то обязательно происходит $B$.
$$A \Rightarrow B$$Утверждение 1 является противоположным по форме следствием исходного условия: если Бим молчит, то кошка по забору не идёт.
$$\neg B \Rightarrow \neg A$$Утверждение 2 неверно: из того, что Бим не лает, следует отсутствие кошки на заборе, а не её присутствие.
Утверждение 3 қате: исходное условие говорит, что при появлении кошки Бим лает, а не молчит.
Утверждение 4 верно, поскольку белая кошка — это какая-нибудь кошка, и при её движении по забору Бим обязательно залает.
$$A_{\text{белая кошка}} \Rightarrow B$$Где здесь ошибаются
Путать исходное условие с обратным утверждением.
Считать, что условие относится только к кошкам определённого цвета.
Не использовать правило: из $A \Rightarrow B$ следует $\neg B \Rightarrow \neg A$.