Учебные материалы по математике | Логическое следование и метод резолюций | Matematiku5
Вузы по математике Готовые работы по математике Как писать работы по математике Примеры решения задач по математике Решить задачу по математике online

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


4)  иногда выполнима

19.  Формула логики предикатов A называется выполнимой, если …

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

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

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

4)  Она невыполнима в любой интерпретации

20.  Формула логики предикатов A называется противоречием, если формула является …

1) выполнимой

2) невыполнимой

3) противоречием

4) логически общезначимой

ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ И МЕТОД РЕЗОЛЮЦИЙ

1. B логически следует из A, если для каждой совокупности значений пропозициональных букв, при которых Aформа B тоже принимает значение И:

1)

2)

3)

4)

2. Если и , то…

1)

2)

3)

4)

3. Запись в логике высказываний означает, что…

1) A — противоречие

2) запись неверна

3) A — тавтология

4) из A логически следует

4. тогда и только тогда, когда…

1)

2)

3)

4)

5. , . B называется?

1) логическим следствием

2) проблемой дедукции

3) посылкой

4) тавтологией

6. Выяснение будет ли B логическим следствием из , , называют?

1) проблемой индукции

2) проблемой дедукции

3) проблемой конъюнкции

4) проблемой дизъюнкции

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

1) дизъюнктами

2) конъюнктами

3) литералами

4) аргументами

8. Литеры L и называются …

1) бинарными

2) резольвентами

3) логическими

4) контрарными

9. Пусть , тогда резольвента будет равной:

1)

2)

3)

4)

10. Пусть , тогда резольвента будет равной:

1)

2)

3)

4)

11. Пусть , тогда резольвента будет равной:

1)

2)

3)

4)

12. Обозначение пустого дизъюнкта:

1) E

2) ○

3) —

4) □

Наташа

Автор

Наташа — контент-маркетолог и блогер, но все это не мешает ей оставаться адекватным человеком. Верит во все цвета радуги и не верит в теорию всемирного заговора. Увлекается «нефрохиромантией» и тайно мечтает воссоздать дома Александрийскую библиотеку.

Распродажа дипломных

 Скидка 30% по промокоду Diplom2020

А ты боишься COVID-19?

 Пройди опрос и получи промокод