Практикум. 
Информационные технологии в юридической деятельности

1. Определить, какие из приведенных высказываний являются истинными, а какие — ложными:

• «Брачный возраст устанавливается в 14 лет»;

• «Юридическое лицо считается созданным со дня внесения соответствующей записи в Единый государственный реестр юридических лиц»;

• «Хозяйственные товарищества могут создаваться в форме полного товарищества и товарищества па вере»;

• «Лица, не состоящие между собой в браке, могут совместно усыновлять одного и того же ребенка»;

• «Норма жилой площади устанавливается в размере 18 кв. м па одного человека».

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

1 )А^(ВлС);

2) (Л, А В) — С;

3) (Л vB) — 1C;

4) (1В —? ПЛ).

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

1)Л VIA;

2)Л-Л;

3)Л-(В-Л);

4)(Л-В)-((В-С)-(Л-С)).

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

Контрольные вопросы и задания

1. Что изучает математическая логика?

2. Сформулируйте понятие высказывания.

3. Охарактеризуйте основные логические операции над высказываниями.

4. Раскройте понятие формулы логики высказываний.

5. Сформулируйте основные направления применения использования логического анализа сложных высказываний в юридической деятельности.