Практикум. 
Математика и информатика

• 1. Определить, какие из приведенных высказываний являются истинными, а какие — ложными:
  • • «Брачный возраст устанавливается в 14 лет»;
  • • «Юридическое лицо считается созданным со дня внесения соответствующей записи в Единый государственный реестр юридических лиц»;
  • • «Хозяйственные товарищества могут создаваться в форме полного товарищества и товарищества на вере»;
  • • «Лица, не состоящие между собой в браке, могут совместно усыновлять одного и того же ребенка»;
  • • «Норма жилой площади устанавливается в размере 18 кв. м на одного человека».

2. Привести примеры высказываний, соответствующих следующим логическим формулам:

3. Установить, являются ли следующие высказывания тавтологиями, построив таблицы истинности:

4. Доказать правильность или ложность следующего аргумента: «Если Иванов — убийца Петрова, то ему точно известны время смерти Петрова и чем он был убит. Поэтому если Иванов не знает, когда умер Петров, или не знает, чем он был убит, то Иванов не является убийцей».

Контрольные вопросы

• 1. Что изучает математическая логика?
• 2. Сформулируйте понятие высказывания.
• 3. Охарактеризуйте основные логические операции над высказываниями.
• 4. Раскройте понятие формулы логики высказываний.
• 5. Сформулируйте основные направления применения использования логического анализа сложных высказываний в юрид и чес кой деятел ь 11 ости.