Практика по записи сложных предикатных формул
1. Дано высказывание: «Всякое общественно опасное деяние наказуемо». Дать формулу этого высказывания.
Решение:
Пусть предметная переменная х определена на множестве общественных деяний, включающих, например, благотворительность, преступление, подвиг и т.д.
Введем предикаты:
P1(x):=«быть общественно опасным деянием»,
Р2(x):=«быть наказуемым».
Тогда формула имеет вид:
"х(P1(x)®P2(x))
2. Дано высказывание:«Преступление есть общественно опасное деяние». Дать формулу этого высказывания.
Решение:
В дополнение к обозначениям из предыдущего примера введем предикат:
Р3(x):=«быть преступлением»
Тогда формула имеет вид:
"х(P3(x)®P1(x))
3. Дано высказывание:«Не все общественные деяния наказуемы». Дать формулу этого высказывания.
Решение:
Используем данные в предыдущих примерах обозначения. Тогда формула имеет вид:
$х(ØP2(x))
4. Дано высказывание: «Судья, являющийся родственником потерпевшего, не может участвовать в рассмотрении дела». Дать формулу этого высказывания.
Решение:
Пусть предметная переменная х определена на множестве индивидов.
Введем предикаты:
P1(x):=«быть судьёй»,
Р2(x):=«быть родственником потерпевшего»,
P3(x):= «участвовать в рассмотрении дела».
Тогда формула имеет вид:
"х(P1(x)&P2(x)®ØP3(x))
5. Дано высказывание: «Судья, являющийся родственником потерпевшего, не может участвовать в рассмотрении дела. Судья – родственник потерпевшего. Следовательно, судья не может участвовать в рассмотрении дела». Дать формулу этого высказывания.
Решение:
Данное высказывание – умозаключение, поскольку имеются две посылки, одна из которых – общее правило юриспруденции (Судья, являющийся родственником потерпевшего, не может участвовать в рассмотрении дела), а вторая – конкретный факт, характеризующий некоторого судью (Судья – родственник потерпевшего). Заключением является высказывание: Судья не может участвовать в рассмотрении дела (имеется в виду некоторый конкретный судья).[2]
Используем данные в предыдущих примерах обозначения, а также формулу для представления посылки-правила.
Тогда формула имеет вид:
6. Дано высказывание: «К уголовной ответственности привлекаются лица, совершившие хищение, – они становятся обвиняемыми. Обвиняемый не совершал хищения. Следовательно, он не может быть привлечен к уголовной ответственности». Дать формулу этого высказывания.
Решение:
Пусть предметная переменная х – множество индивидов.
Введем предикаты:
P1(x):=«привлекаться к уголовной ответственности,
Р2(x):=«совершить хищение»,
P3(x):=«быть обвиняемым».
Тогда формула имеет вид:
7. Дано высказывание: «Если иск предъявлен недееспособным лицом, то суд оставляет иск без рассмотрения. Иск предъявлен недееспособным лицом. Следовательно, суд оставляет иск без рассмотрения». Дать формулу этого высказывания.
Решение:
Пусть предметная переменная х – множество индивидов.
Введем предикаты:
P1(x):=«предъявлять иск со стороны дееспособного лица»,
P2(x):=«рассматривать иск судом».
Тогда формула имеет вид:
8. Дано высказывание: «Ни один человек не может быть беспристрастным. Каждый юрист – человек. Следовательно, ни один юрист не может быть беспристрастным». Дать формулу этого высказывания.
Решение:
Пусть предметная переменная х – множество индивидов.
Введем предикаты:
P1(x):= «быть беспристрастным»,
P2(x):= «быть юристом».
Тогда формула имеет вид:
9. Дано:
х - предметная переменная, определенная на множестве индивидов,
a:= «Саша» - предметная постоянная,
P1(х, ‘a’):= «быть другом ‘a’»,
P2(х, ‘a’):= «встретить ’a’».
Тогда возможны формулы:
· $x(P1(х, ‘a’)&P2(х, ‘a’)):= «Саша встретил друга»,
· $x(¬P1(х, ‘a’)&P2(х, ‘a’)):= «Саша встретил недруга»,
· ¬"x(P1(х, ‘a’)&P2(х, ‘a’)):= «не каждый встречный есть друг Саши»,
· $x(P1(х, ‘a’)&(¬P2(х, ‘a’))):= «есть друзья, с которыми Саша не встречается».