Контрольная работа: Математическая логика и теория алгоритмов 3
1) Записать составные высказывания в виде формул
. употребляя высказывательные переменные для обозначения простых высказываний: «Для того, чтобы x было нечётным, достаточно, чтобы х было простым»;
Решение: Обозначим А = «х - не чётное число»
В = «х - простое число»
А Þ В (импликация «для А достаточно В»).
2) При каких значениях переменных x , y , z формула
ложна?
Решение: Составим таблицу истинности:
|
x |
y |
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 |
--> ЧИТАТЬ ПОЛНОСТЬЮ <-- К-во Просмотров: 446
Бесплатно скачать Контрольная работа: Математическая логика и теория алгоритмов 3
|