Файл: Индивидуальное домашнее задание по дискретной математике.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 04.12.2023
Просмотров: 332
Скачиваний: 21
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
32. Найти множество истинности предиката, определённого на .
№ | Предикат |
| . |
| |
| |
| |
| |
| |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| |
| |
| |
| |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
33. Найти множество истинности предиката, определённого на .
№ | Предикат |
| . |
| |
| |
| |
| . |
| . |
| |
| |
| |
| . |
| . |
| |
| P(x,y)=(|x|>4)→(|x|>7). |
| . |
| |
| |
| |
| . |
| . |
| |
| |
| |
| . |
| . |
| |
| |
| |
| |
| . |
| |
34. Для предикатов, заданных на , выяснить, является ли первый предикат является следствием второго, а второй - следствием первого.
№ | Предикаты |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| “ . |
| . |
| . |
| . |
| . |
| “ . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| “ . |
| . |
| . |
| . |
| . |
| “ . |
| . |
| . |
| “ . |