загрузка...
загрузка...
На головну

 Бінарні відносини. |  Функції. |  Алгебраїчні структури і морфізм. |  тест II |  Визначення та основні властивості. |  Диз'юнктивна і Кон'юнктивна нормальні форми |  Спрощення д. Н. ф. |  тест III |  Обчислення висловлювань. |  логічний наслідок |

Тест IV.

1. Висловлюванням називається твердження, що має значення: а) Істина; б) Брехня; в) Істина або брехня.

2. Яким значком позначають імплікації: а)  ; б)  ; в) (  ).

3. Для логічного значка "~" прийнято наступні читання: а) "... або ..."; б): "... якщо ..., то ...,"; в) "тоді і тільки тоді, коли ...".

4. Квантор  читається: а) для всіх; б) Існує; в) Чи знайдеться.

5. вислів: "існує дійсне число x, яке задовольняє рівняння х2+ 1 = 0 "в символічній формі записується:

а)  б) ;

в)

 



 Предикати і квантори |  Глава 5. Алгоритми і машина Тьюринга.
загрузка...
© um.co.ua - учбові матеріали та реферати