Индивидуальные домашние задания_Модуль_ФИВ


МАТЕМАТИЧЕСКАЯ ЛОГИКА
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ДОМАШНИХ ЗАДАНИЙМодуль «Формализованное исчисление высказываний»
Специальности
Математика с дополнительной специальностью Физика
Информатика с дополнительной специальностью Математика
Физика с дополнительной специальностью Информатика
Вариант №1
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №2
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №3
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №4
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №5
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №6
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №7
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №8
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №9
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:

Вариант №10
Является ли следующая формула аксиомой:

Укажите недостающую формулу W так, чтобы третья из данных формул получалась из первой и второй по правилу вывода МР:

Докажите, что следующая формула является теоремой формализованного исчисления высказываний, построив последовательности формул, являющиеся выводами данных формул из аксиом:

Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез:

Используя теорему о дедукции, докажите, что следующая формула являются теоремой ФИВ:

Используя теорему о дедукции, докажите, что справедлива следующая выводимость:


Приложенные файлы

  • docx 10748552
    Размер файла: 85 kB Загрузок: 2

Добавить комментарий