Основные понятия и методы теории формальных систем. Волохович А.В. - 29 стр.

                                 Задачи

      Выяснить логическую правильность следующих рассуждений:
1.   Если запись числа X заканчивается двумя нулями, то оно делится
     на 4. Число X делится на 4. Следовательно, его запись
     заканчивается двумя нулями.
2.   Если курс ценных бумаг растет или процентная ставка снижается,
     то либо падает курс акций, либо налоги не повышаются. Курс
     акций понижается тогда и только тогда, когда растет курс ценных
     бумаг и растут налоги. Если процентная ставка снижается, то
     либо курс акций не понижается, либо курс ценных бумаг не
     растет. Тогда либо повышаются налоги, либо курс акций
     понижается и снижается процентная ставка.
3.   Если не было дождей или были заморозки, то урожай плохой.
     Известно, что уражай хороший, а заморозков не было. Значит,
     дожди были.
4.   Известно, что либо налоги падают и цены растут, либо уровень
     безработицы остается постоянным. Если налоги падают, то
     инфляция растет. Инфляция не растет. Значит, уровень
     безработицы остается постоянным.
5.   Если лес дешевый или транспорт в дефиците, то либо растут
     рубки, либо уменьшаются посадки. Если растут рубки и
     уменьшаются посадки, то транспорт в дефиците. Известно, что
     лес дешев и транспорт не в дефиците. Следовательно, рубки
     растут тогда и только тогда, когда посадки не уменьшаются.
6.   Число обладает либо свойствами А и В одновременно, либо
     свойством С. Если число обладает свойством С, то оно обладает и
     свойством D. Если выполняется свойство D, то свойство В не
     выполняется. Известно, что свойство В выполняется. Тогда
     выполняется и свойство А.
7.   Каждое число из множества U обладает свойством C, а также
     свойством A или свойством В. Из выполнения свойства С следует
     выполнение свойства D. Свойство D несовместимо со свойством
     В. Следовательно, каждое число из U удовлетворяет свойству A.




29