Практическая работа. Д м Практическая работ №4. Логика предикатов
Скачать 59 Kb.
|
Практическая работа №4 Тема: Логика предикатов Цель: научиться записывать предикатные функции, проверять истинность и ложность клауз. Вариант – 1 Задание 1. Записать по одной предикатной функции 1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Задание 4. Указать, что является предикатом. Для предикатов указать область определения и множество истинности. а) x+16=0 б) 2у-90+z в) x2-4x-5=0 г) Солнце – звезда д) x4-2x2+1=0 е)8x-42>6 Практическая работа №4 Тема: Логика предикатов Цель: научиться записывать предикатные функции, проверять истинность и ложность клауз. Вариант – 2 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Задание 4. Указать, что является предикатом. Для предикатов указать область определения и множество истинности. а) x+16=0 б) 2у-90+z в) x2-4x-5=0 г) Солнце – звезда д) x4-2x2+1=0 Вариант – 3 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Вариант – 4 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Вариант – 5 Задание 1. Записать по одной предикатной функции 0.1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Вариант – 6 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Вариант – 7 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы Вариант – 8 Задание 1. Записать по одной предикатной функции 0,1,2,3 местной. Задание 2. Какие из клауз истины, а какие ложны? Ответ обосновать а) б) Задание 3. Составьте таблицу истинности для клаузы |