Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Вопросы по мат

.doc
Скачиваний:
5
Добавлен:
12.03.2015
Размер:
169.98 Кб
Скачать

Вопросы по мат.логике

Логика высказываний.

  1. Определение высказывания.

А)То, что говорить человек.

Б)Любое повествовательное предложение, которое истинно.+

В) Любое повествовательное предложение, которое ложно.

Г) Любое повествовательное предложение, которое истинно или ложно.

  1. Что такое отрицание ?

А)Не умение человека принять факты.

Б) Логическая операция, с помощью которой из данного высказывания А образуется новое высказывание, обозначаемое ┐А, которое истинно тогда и только тогда, когда А ложно.+

B) Логическая операция, с помощью которой из данного высказывания А образуется новое высказывание, обозначаемое ┐А, которое истинно при любом А.

Г)Арифметическая операция вычитания.

  1. Что такое конъюнкция ?

А)Арифметическая операция умножения.

Б)Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A˅B, которое истинно тогда и только тогда, когда A и B оба истинны.+

В) Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A˅B, которое истинно тогда и только тогда, когда A и B оба ложны.

Г) Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A&B, которое истинно тогда и только тогда, когда A и B оба истинны.

  1. Что такое дизъюнкция ?

А) Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A&B,которое ложно тогда и только тогда, когда истинны оба высказывание A и B.

Б)Арифметическая операция сложения.+

В) Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A˅B, которое ложно тогда и только тогда, когда ложны оба высказывания A и B.

Г) Логическая операция, с помощью которой из двух высказываний A и B образуется новое высказывание, обозначаемое A˅B, которое истинно только тогда, когда ложны оба высказывания A и B.

  1. Что такое импликация(следование) ?

А)Это логическое отношение ложной посылки, к истинному заключению.

Б)Логическая операция, с помощью которой из двух данных высказываний A и B образуется новое высказывание, обозначаемое A=>В, которое ложно тогда и только тогда, когда посылка A истинна, а заключение B ложно.

В) Логическая операция, с помощью которой из двух данных высказываний A и B образуется новое высказывание, обозначаемое A=>В, которое истинно тогда и только тогда, когда посылка A истинна, а заключение B тоже истинно.

Г) Логическая операция, с помощью которой из двух данных высказываний A и B образуется новое высказывание, обозначаемое A=>В, которое ложно тогда и только тогда, когда посылка A ложна и заключение B тоже ложно.

  1. Что такое эквивалентность ?

А)Математическая соизмеримость двух величин.

Б)Соизмеримость вещей по некоторым физическим параметрам.

В)Логическая операция, при помощи которой из двух данных высказываний A и B образуется новое высказывание, обозначаемое A≡B, которое истинно тогда и только тогда, когда A и B принимают одинаковы истинностные значения.

Г) Логическая операция, при помощи которой из двух данных высказываний A и B образуется новое высказывание, обозначаемое A≡B, которое истинно тогда и только тогда, когда A и B принимают одинаковые ложные значения.

  1. Что такое пропозициональные связки ?

А)Связка между логическими символами

Б)Это смволы +,-,/,*

В)Символы ┐,&,˅, =>, ≡

Г)Все символы русского алфавита.

  1. Определение пропозициональной формы ?

А)Это совокупность множеств связок между логическими символами.

Б)Это выражение, полученное по некоторым правилам из симоволов +,-,/,*

В)Это любое предложение

Г) Это выражение, полученное по некоторым правилам из пропорзициональных букв с помощью пропорзициональных связок

  1. Что называется истинностной функцией ?

А)Функция котороя определена на всём заданном промежутке.

Б)Производная любой функции.

B)N-аргументная функция, принимающая одно из двух значений:И либо Л, когда её аргументы пробегают те же значения.

Г)Конечная функция, принимающая сразу два значения И и Л, когда её аргументы пробегают те же значения.

  1. Определение тавтологии.

А)Это речь человека, которую не понимают окружающие

Б)Это пропозициональная форма, которая принимает значение И при любой совокупности истинностных значений пропозициональных букв, входящих в неё.

B) Это пропозициональная форма, которая принимает значение Л при любой совокупности истинностных значений пропозициональных букв, входящих в неё.

Г) Это пропозициональная форма, которая принимает значение И при любой совокупности ложных значений пропозициональных букв, входящих в неё

  1. Определение противоречия

А)Это речь человека, которая противоречит сама себе.

Б) Это пропозициональная форма, которая принимает значение И при любой совокупности ложных значений пропозициональных букв, входящих в неё

В) Это пропозициональная форма, которая принимает значение Л при любой совокупности истинностных значений пропозициональных букв, входящих в неё.

Г) Это пропозициональная форма, которая принимает значение И при любой совокупности истинностных значений пропозициональных букв, входящих в неё.

  1. Условие равносильности пропозициональных форм ?

А)Если эти пропозициональные формы равны, то они пропозициональны.

Б)Если при каждой совокупности значений всех пропозициональных букв входящих в A и B, эти формы принимают одинаковые истинностные значения.

В)Это условие не может быть выполнено

Г) Если при каждой совокупности значений всех пропозициональных букв входящих в A и B, эти формы принимают одинаковые ложные значения.

  1. Закон двойного отрицания.

А)Это закон при котором оба истинных значения становятся ложными.

Б)

В)┌АB

Г)┌(┌A)┌А

  1. Законы коммутативности.

А)Множество правил коммутации пакетов в информационных сетях.

Б)A&B~B&A

B)A˅B~B˅A

Г){ A&B~B&A

{ A˅B~B˅A

  1. Законы ассоциативности.

А) Множество правил ассоциаций пакетов в информационных сетях

Б) (A&B) &C~A&(B&C);

В) (A˅B) ˅C~A˅ (B˅C);

Г) (A˅B) ˅C~A˅ (B˅C);

(A&B) &C~A&(B&C);

  1. Первый закон дистрибьютивности.

А) A˅B~B˅A

Б) A&B~B&A

В) (A˅B) ˅C~A˅ (B˅C);

(A&B) &C~A&(B&C);

Г) A&(B˅C) ~A&B˅A&B;

  1. Второй закон дистрибьютивности.

А) (A˅B) ˅C~A˅ (B˅C);

Б) A˅ B&C~(A˅B)&(A˅C);

В) ┌(┌A)┌А

Г) A˅B~B˅A

  1. Законы Де Моргана.

А)

Б)

В) ┌(┌A)┌А

Г) A˅B~B˅A

  1. Д.н.ф.

А)Это дизъюнкция элементарных произведений.

Б)Это коньюнкция элементарных сложений.

В)Это импликация элементарных произведений.

Г)Любая тавтология или противоречие

  1. Булева функция.

А)Это функция имеющая вид f(x)=y

Б)Функция f(a1,a2,a2….,aN) называется булевой функцией, если она может принимать одно из двух возможных значений, когда её аргументы принимают тоже одно из этих двух значений.

В) Функция y=f(x) называется булевой функцией, если она может принимать одно из двух возможных значений, когда её аргументы принимают тоже одно из этих двух значений.

Г) Функция f(a1,a2,a2….,aN) называется булевой функцией, если она может принимать одно из трёх возможных значений, когда её аргументы принимают тоже одно из этих трёх значений.

Логика предикатов.

  1. Понятия предиката.

А)То что стоит перед математическим знаком

Б)Это повествовательное предложение об элементах некоторого заданного множества M, которое становится высказыванием, если все переменные в нём заменить фиксированными элементами из M

В)Любое предложение русского языка

Г)Совокупность некоторых множеств

  1. Квантор всеобщности.

А)Любой из существующих символов

Б)Символы + и –

В)  Символ∀X

Г) Символ  ∃X

  1. Квантор существования.

А) Символ  ∃X

Б)Любой математических символ

В)Символы / и *

Г) Символ∀X

  1. Предметные постоянные

А)Все буквы латинского алфавита

Б)Все буквы русского алфавита

В)Буквы начала латинского алфавита(a,b,c,…) и они же с числовыми индексами

Г)Буквы конца латинского алфавита(x,y,z) и они же с числовыми индексами

  1. Предметные переменные

А)Симвыолы обозначающие предметы

Б)Все буквы латинского алфавита

В)Буквы конца латинского алфавита(x,y,z) и они же с числовыми индексами

Г) Буквы начала латинского алфавита(a,b,c,…) и они же с числовыми индексами

  1. Предикатные буквы

А)Все буквы латинского алфавита

Б)Буквы Ain c числовыми индексами i=>1,n=>0.

В)Символ fin c числовыми индексами i=>1,n=>0.

Г)Все буквы русского алфавита

  1. Функциональные буквы

А)Все буквы русского алфавита

Б) )Символ fin c числовыми индексами i=>1,n=>0.

В)Все буквы латинского алфавита

Г) Буквы Ain c числовыми индексами i=>1,n=>0.

  1. Определение терма.

А)Всякая предметная постоянная

Б)Всякая предметная переменная

В)Если fin-функциональная буква и t1,t2,..,tn-термы,то fin(t1,t2,…,tn) есть терм

Г)Выражение являтся термом если выполняются все вышеперечисленные варианты

  1. Элементарная формула.

А)Все формулы в математике.

Б)Предикатные буквы, применённые к функциональным буквам.

В)Предикатные буквы применённые к термам

Г)Функция вида y=ax+b

  1. Чем определяются формулы логики предикатов ?

А)Всякая элементарная формула есть формула

Б)Если A и B-формулы и x-предметная переменная, то каждое из выражений(┌А),(A=>B),( ∀XA),( ∃X) есть формула

В)Выражение будет формулой, если выполняются вышеперечисленные условия

Г) Выражение будет формулой, если не выполняются вышеперечисленные условия

  1. Что называется свободной переменной ?

А)Переменная не имеющая привязки к коэфиценту

Б)Если существуют свободные её вхождения в эту формулу

В)Если она не содержит никаких свободных переменных

Г)Любая переменная-свободна.

  1. Что называется замкнутой переменной ?

А) Любая переменная-замкнута.

Б)Если существуют свободные её вхождения в эту формулу

В)Если она не содержит никаких свободных переменных

Г)Переменная имеющая привязку к коэфиценту

  1. Что называется замыканием ?

А)Перенос всех переменных и их коэфицентов в левую сторону от знака равно

Б)Это формула, полученная из формулы приписыванием перед нею кванторов всеобщности по всем её свободным переменным

В) Это формула, полученная из формулы приписыванием перед нею кванторов существования по всем её свободным переменным

Г) Это формула, полученная из формулы приписыванием после ней квантора всеобщности по всем её свободным переменным

  1. Когда можно считать интерпретацию заданной ?

А)Задано непутое множество

Б)Заданы некоторые соответствия

В)Если предметные переменные пробегают всёзаданное множество

Г)Если выполняются все вышеперечисленные условия

  1. Какая формула называется выполнимой в данной интерпретации ?

А)Если формула существует в данной интерпритации, то она существует

Б)Если нет других невыполнимых формул

В)Если она принимает значение И хотя бы для одной совокупности возможных значений её свободных переменных

Г)Если она принимает значение И для всех возможных значений её свободных переменных.

  1. Какая формула называется истинной в данной интерпретации ?

А) Если она принимает значение И хотя бы для одной совокупности возможных значений её свободных переменных

Б) Если она принимает значение И для всех возможных значений её свободных переменных.

В)Если она принимает значение Л для всех возможных значений её свободных переменных

Г)Если формула задана, то она истинна

  1. Какая формула называется ложной в данной интерпретации ?

А) Если она принимает значение Л для всех возможных значений её свободных переменных.

Б) Если она принимает значение И для всех возможных значений её свободных переменных

В) Если она принимает значение И для всех возможных значений её свободных переменных.

Г)Если формула не задана, то она ложна

  1. Какая интерпретация называется моделью ?

А)Любая формула называются моделью

Б)Если каждая формула из некоторого множества истинна в этой интепритации

В)Если каждая формулв из некоторого множества ложнв в этой интерпитации

Г)Если достигнуты некоторые условия модели

  1. Какая формула логики предикатов называется логически общезначимой ?

А)Всякая формула есть логически общезначимой

Б)Если она истинна в любой интерпритации

В)Если она ложна в любой интерпритации

Г)Если она и истинна и ложна в данной интерпретации

  1. Когда формула логики предикатов называется выполнимой ?

А)Любая формула логики предикатов выполнима

Б)Если существует интерпретация, в которой она выполнима

В)Если не существует интепретации, в которой она выполнима

Г)Если существует интерпретация в которой она не выполнима

Логическое следование и метод резолюций

  1. Что называется логическим следствием ?

А)Звено логической цепочки

Б)Исход логической цепочки

В)Считается если B следует из A, если для каждой совокупности значений пропозициональных букв, при которых A=И форма B тоже

принимает значение И

Г) Считается если B следует из A, если для каждой совокупности значений пропозициональных букв, при которых A=Л форма B тоже

принимает значение Л

  1. Что называют проблемой дедукции ?

А)Не возможность найти следуюзее звено логической цепочки

Б)Зацикливание логической цепочки

В)Процесс выяснения, будет ли B логическим следствием из A

Г)Когда исход логической цепочки не доказуем

  1. Что называют литералами логики высказываний ?

А)Все символы латинского алфавита

Б)Все пропрозициональные буквы

В)Пропозициональные буквы с отрицанием либо без него, входящие в элементарную сумму

Г) Пропозициональные связки с отрицанием либо без него, входящие в элементарную сумму

  1. Приведите пример контрарных литералов ?

А)+,-

Б)/,*

Б)L и ┌L

В)Все математические символы

  1. Как часто обозначают резольвенту двух дизъюнкт ?

А)R

Б)Q

В)T

Г)Y

  1. Что такое метод резолюций ?

А)Метод последовательного сравнения некоторых переменных

Б)Последовательное получение бинарных резольвент из данных дизъюнктов и вновь получаемых дизъюнктов

В) Последовательное получение унарных резольвент из данных дизъюнктов и вновь получаемых дизъюнктов

Г) Последовательное получение любых резольвент из любых операторов логики

  1. В чём состоит метод насыщения уровня ?

А)Он состоит в вычеслении всех резольвент всех пар дизьюнктов из множества дизьюнктов , добавлении этих резольвент к множеству дизьюнктов, вычеслении всех следуюзих резольвент и повторении этого процесса, до тех пор пока не найдётся пустой дизъюнкт

Б)Это метод резолюций

В)Это переполнение некоторого уровня резольвент в множестве и переход к следующему уровню, до тех пор пока не заполним все необходимые уровни

Г)Это модифицированный метод резолюции черех итерационную технологию

  1. С каким методом нужно использовать полную стратегию вычёркивания ?

А)Её необходимо использовать вместе с методом насыщения уровня

Б) Её необходимо использовать вместе с лок-резолюцией

В) Её необходимо использовать вместе с методом резолюции

Г)Её необходимо использовать с методом Гаусса

  1. В чём состоит идея лок-резолюции ?

А)Состоит в использовании индексов для упорядочения литер в дизъюнктах из данного множества дизъюнктов

Б) Последовательное получение бинарных резольвент из данных дизъюнктов и вновь получаемых дизъюнктов

В) Он состоит в вычеслении всех резольвент всех пар дизьюнктов из множества дизьюнктов , добавлении этих резольвент к множеству дизьюнктов, вычеслении всех следуюзих резольвент и повторении этого процесса, до тех пор пока не найдётся пустой дизъюнкт

Г) Это модифицированный метод резолюции черех итерационную технологию

  1. Позитивная и негативная литера.

А)Литеры способствующие быстрому или долгому вычеслению данного логического вычесления

Б)Литеры содержащие и не содержащие отрицания

В)Если отрицаний больше, то литера негативная, наоборот-позитивная

Г)Дизъюнктивная и конъюнктивная литера

  1. Какой дизъюнкт называется хорновским ?

А)Если он содержит более одной позитивной литеры

Б)Если он содержит не более одной позитивной литеры

В) Если он содержит более одной негативной литеры

Г Если он содержит не более одной негативной литеры

  1. Необходимые преобразование формулы до сколемовской стандартной формулы

А)Исключение знаков импликации

Б)Отрицание должно относится только к элементарным формулам

В)Проведение стандартизации, вынесение кванторов за скобки и исключение кванторов существования, введение сколемовских функций

Г)Необходимо провести все вышеперечисленные действия

  1. Алгоритм унификации ?

А)Начинает работу с пустой подстановки и шаг за шагом строит наиболее общий унификатор, если таковой существует.

Б)Конструируется множество рассогласования

В)Модификация подстановки Qk

Г)Все вышеперечисленные действия

  1. Резольвенты дизьюнктов это ?

А)Бинарная резольвента двух посылок

Б)Бинарная резольвента одной посылки и склейка другой послыки и наоборот

В)Бинарная резольвента склейки одной посылки и склейки другой посылки

Г)Все вышеперечисленные резольвенты, могут быть резольвентой дизъюнктов

  1. Силлогизмы Аристотеля это ?

А)Правила логики

Б)Это вывод который можно получить на основании истинности двух посылок некоторого вида

В)Любая комбинация предложений

Г) Это вывод который можно получить на основании ложности двух посылок некоторого вида

  1. Что такое язык ПРОЛОГ

А)Язык программирования

Б)Некоторый язык использовавшийся в китайской диалектике

В)Вводная часть какого-либо текста

Г)Завершающая часть какого-либо текста

  1. Как вводить логические выражения в прологе на примере отношений людей?

А)дети(лиз,том).

Б)дети лиз том

В)лиз, том,-дети

Г)лиз. Дети. том

  1. Как задавать логические вопросы в языке ПРОЛОГе ?

  2. Особенности языка ПРОЛОГ ?

А)?-дети(лиз, том)

Б) (лиз,том) дети ?

В) лиз и том дети ?

Г) (лиз ? том ?) дети

  1. В чём состоит основное приемущество ПРОЛОГа ?

А)Эффективное создание вопросно-ответных систем

Б)Простота синтаксиса

В)Отказоустойчивость созданных систем на базе ПРОЛОГа

Г)Быстрота выполнения

Дедуктивные теории.

  1. Когда задан эффективный процесс ?

А)Ели есть предписание, определяющие последовательность преобразований которые нужно применить одно за другим к элементу

Б)Если некоторый элемент из некоторого множества задан, предписание однозначно определяет такую последовательность пеобразований, что за конечное число шагов выясняем, некоторый элемент обладает некоторым свойством или нет

В)Два вышеперечисленны условия

Г)Любой процесс эффективен

  1. Когда задан полуэффективный процесс ?

А) Если есть предписание, определяющие последовательность преобразований которые нужно применить одно за другим к элементу

Б) Если некоторый элемент из некоторого множества задан, предписание однозначно определяет такую последовательность пеобразований, что если некоторый элемент обладает некоторым свойством, то за конечное число шагов это выясняем, если же некоторый элемент не обладает некоторым свойством, то , возможно мы не сможешь это выяснить за конечное число шагов

В) Два вышеперечисленны условия

Г) Любой процесс полу-эффективен

  1. Что такое дедукция ?

А)Методы познания которые использовал Шерлок Холмс

Б)Методы исключения третьего

В)Форма мышления, когда заключение выводится логическим путём из некоторых посылок

Г)Метод при котором всё изначально отрицается

  1. Что такое индукция ?

А)Форма мышления, посредством которой от некторых фактов или истинных высказываний переходят к некоторой гипотезе

Б)Физическое явление, при котором можно получить ток некоторой силы

В)Метод при котором всё изначально принимается на веру

Г)Форма принятия третьего

  1. Когда дедуктивная теория считается заданной ?

А)Достаточно задать алфавит этой теории

Б)Достаточно задать теоремы этой теории

В)Достаточно задать правила образований формул

Г)Необходимо задать алфавит и правила образования выражений, а также правила образований формул и теоремы этой теории

  1. Когда формальная аксиоматическая теория задана?

А)Любая дедуктивная теория

Б) Если заданы только аксиомы в данной теории

В)Если заданы только правила вывода

Г)Если заданы аксиомы и правила вывода.

  1. Когда полуформальная аксиоматическая теория задана?

А) Если заданы аксиомы и правила вывода.

Б) Если заданы аксиомы и правила вывода.

В) Если задаются аксиомы, а правила вывода считаются известными

Г) Если аксиомы известны, а правила вывода необходимо задать

  1. Когда теория естественного вывода задана ?

А) Если заданы аксиомы

Б) Если заданы правила вывода

В)Если аксиом нет, а задаются только конечное число правил вывода, с помощью которых и получаются теоремы.

Г)Если не заданы ни аксиомы, и нет правил выводв

  1. Противоречивые и непротиворечивые дедуктивные теории.

А)Теории которые доказывают одно и тоже понятие, либо имеют противоположную методологию в доказательстве одного и того же понятия

Б)Это все формальные и полуформальные теории.

В)Это теории, в которых множество теорем покрывает всё множество формул называют противоречивым, в противном случае-непротиворечивыми

Г)Это стороны одного и того же понятия или суждения

  1. Какое из свойств, свойство дедуктивной теории ?

А)Названность теории

Б)Разносторонность теории

В)Разрешимость теории

Г)Доказуемость теории

  1. Когда полуформальная аксиоматическая теория считается заданной ?

А) Если заданы аксиомы и правила вывода.

Б) Если заданы аксиомы и правила вывода.

В) Если задаются аксиомы, а правила вывода считаются известными

Г) Если аксиомы известны, а правила вывода необходимо задать

  1. Когда формальная аксиоматическая теория считается заданной ?

А) Если заданы аксиомы и правила вывода.

Б) Если заданы аксиомы и правила вывода.

В) Если задаются аксиомы, а правила вывода считаются известными

Г) Если аксиомы известны, а правила вывода необходимо задать

  1. Свойства выводимости в формальных аксиоматических теориях.

А)Если G содержится в некотором множестве формул F и если G |- A, то F |-А

Б) G |- A тогда и только тогда, когда в G существует конечное подмножество H такое, что H |-А.

В) Пусть G |- A и каждая формула B, принадлежащая G, выводима из некоторого множества формул F, тогда F |-А

Г) Все вышеперечисленные свойства.

  1. К какому типу теорий относится теория исчислений высказываний

А)Полуформальная

Б)Формальная +

В)Теория естественного вывода

Г) Эта теория универсальна

  1. Какое из правил, является производным правилом вывода исчеслений высказываний

А)Правило перевёртывания

Б)Правило восстановления

В)Правило генерации

Г)Правило коммутативности

  1. Перечислите свойства исчисления высказываний.

А)Непротиворечивость исчисления высказываний

Б)Полнота исчисления высказываний

В)Независимость аксиом

Г)Всё вышеперечисленное

  1. К какому типу относится теория первого порядка.

А)Полуформальная

Б)Формальная +

В)Теория естественного вывода

Г) Эта теория универсальна

  1. Свойства теории первого порядка.

А)Непротиворечивость исчисления предикатов первого порядка

Б)Полнота исчисления предикатов первого порядка

В)Неразрешимость исчисления предикатов

Г)Всё вышеперечисленное +

  1. Достоинства аксиоматического метода.

А)Систематизация

Б)Строгость

В)Исследование структур наук

Г)Всё вышеперечисленное +

  1. Когда теория естественного вывода задана ?

А) Если заданы аксиомы

Б) Если заданы правила вывода

В)Если аксиом нет, а задаются только конечное число правил вывода, с помощью которых и получаются теоремы.

Г)Если не заданы ни аксиомы, и нет правил выводв

Неклассические логики

  1. Сколько значений высказываний в трёхзначных логиках

А)1

Б)2

В)3+

Г)4

  1. Какие операции введены втрёхзначой логики Лукасевича.

А)Отрицание, конъюнкция, дизъюнкция, импликация+

Б)Штрих шеффера, стрелка Пирса, эквивалентность

В)Прямая импликация, обратная импликация, инверсия

Г)Ничего из вышеперечисленного

  1. Какие из операций введены в трёхзначной логике Гейтинга.

А)Отрицание, конъюнкция, дизъюнкция, импликация+

Б)Штрих шеффера, стрелка Пирса, эквивалентность

В)Прямая импликация, обратная импликация, инверсия

Г)Ничего из вышеперечисленного

  1. Какие из операций введены в трёхзначные логиках Рейхенбаха, Бочвара и Клини.

А)Отрицание, конъюнкция, дизъюнкция, импликация+

Б)Штрих шеффера, стрелка Пирса, эквивалентность

В)Прямая импликация, обратная импликация, инверсия

Г)Ничего из вышеперечисленного

  1. Что общего в трёхзначных логиках и двузначной логике ?

А)Для значений 0 и 1, есть много свойств подходящий к трёхзначной логике+

Б)Дополнительно введённые операции

В)Введено третье значения ½

Г)Трёхзначные логики проще

  1. В чём различия трёхзначной логике и двузначной логике ?

А)Ничего

Б)Дополнительно введённые операции+

В)Введено третье значения ½

Г)Трёхзначные логики проще

  1. Назовите одну многозначную логику.

А)Многозначная логика Лукасевича+

Б)Бинарная логика

В)Унарная логика

Г)Троичная логика Бочвара

  1. Определение конечнозначной логике Поста

А)Является обобщение двузначной логики+

Б) Является обобщение унарной логике

В) Является обобщение любой троичной логике