5. В спортивную секцию решили записаться три одноклассника:
Синельников, Абрамов, Воронин. Отношения между одноклассниками
складываются таким образом, что, если Воронин не пойдет, то Синельников и
Абрамов будут заниматься вместе. Синельников не запишется в секцию тогда и
только тогда, когда не запишется Воронин. Тренер сообщил, что Абрамов не
подходит по медицинской справке. Кто
из одноклассников записался в секцию?
6.
Переводчики с французского, английского, немецкого языков поехали в
командировку: один во Францию, другой в Германию, третий – в Англию. Ни
один из переводчиков не попадает в страну, где говорят на языке, с которого он
переводит. Какой переводчик, в какую страну поедет, если известно, что в
Германию не попадает переводчик с английского языка
?
Контрольные вопросы
1. Что изучает математическая логика?
2.
Как определить, что предложение является высказыванием?
3.
Каким союзам русского языка соответствуют операции отрицания,
конъюнкции, дизъюнкции, импликации, эквиваленции?
4.
Какие обозначения соответствуют союзам русского языка: … тогда и
только тогда, когда …; и; или; если …, то…; не?
5.
Какие значения истинности принимают операции отрицания,
конъюнкции, дизъюнкции, импликации, эквиваленции в зависимости от
значений переменных?
6.
Как формулируется алгоритм перевода с естественного языка на
формальный?
7.
Каким образом осуществить перевод с формального языка на
естественный?
8.
Как доказать логический закон?
9.
Какого типа задачи и каким образом решаются с помощью таблиц
истинности?
10.
Какие задачи логического характера удобно решать с помощью
таблиц, а какие с помощью графов?