Задача по математической логике 1. Записать рассуждение в логической символике, обосновать выбор логических связок.
2. Проверить правильность рассуждения методом Куайна.
3. Проверить правильность рассуждения методом редукции.
4. Проверить правильность рассуждения методом резолюций.

Франция выйдет на чемпионат мира по футболу, только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не попадет на чемпионат мира. Бразилия не попала на чемпионат мира. Значит, Германия не выйдет на чемпионат мира по футболу.

omim    2   17.10.2021 10:53    5