Главная страница
Навигация по странице:

  • Задание 1.

  • Задание 3.

  • Практическая работа. Д м Практическая работ №4. Логика предикатов


    Скачать 59 Kb.
    НазваниеЛогика предикатов
    АнкорПрактическая работа
    Дата08.12.2022
    Размер59 Kb.
    Формат файлаdoc
    Имя файлаД м Практическая работ №4.doc
    ТипПрактическая работа
    #833905


    Практическая работа №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. Составьте таблицу истинности для клаузы



    написать администратору сайта