Контрольная работа: Математическая логика и теория алгоритмов 3

1) Записать составные высказывания в виде формул
. употребляя высказывательные переменные для обозначения простых высказываний: «Для того, чтобы x было нечётным, достаточно, чтобы х было простым»;

Решение: Обозначим А = «х - не чётное число»

В = «х - простое число»

А Þ В (импликация «для А достаточно В»).

Возможно вы искали - Дипломная работа: Композиции преобразований

2) При каких значениях переменных x , y , z формула

ложна?

Решение: Составим таблицу истинности:

x

y

Похожий материал - Статья: О методике решения задач на относительность движения при изучении основ кинематики в 9 классе об

z

Øx

Øy

ydz

x É(ydx)

Очень интересно - Реферат: Численные методы анализа и синтеза периодических сигналов

Øy ÉØx

(xÉ(ydz)) É(Øy ÉØx)

(xÉ(ydz)) É(Øy ÉØx) ÉØy

0

0

Вам будет интересно - Реферат: Наближене обчислення означених інтегралів формули прямокутників трапецій Сімпсона

0

1

1

0

1

Похожий материал - Дипломная работа: * Алгебры и их применение

1

1

1

0