Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Билет № 11. Дизъюнкция высказываний и её свойства (доказательство одного из них).
Дизъюнкцией А и В называют новое высказывание, которое ложно только тогда, когда оба ложны и истинно во всех остальных случаях. А: 7 – простое число В: 7 – четное число АÚ В: 7 число простое или четное Свойства дизъюнкции: 1)Коммутативность Для любого А и В АÚ В Û ВÚ А 2)Ассоциативность Для любого А, В, С АÚ (ВÚ С) Û (АÚ В)Ú С
3)Закон исключённого третьего А Ú
4)Дистрибутивность конъюнкции относительно дизъюнкции АÙ (ВÚ С) Û (АÙ В)Ú (АÙ С)
5)Дистрибутивность дизъюнкции относительно конъюнкции АÚ (ВÙ С) Û (АÚ В)Ù (АÚ С)
6) Законы Де Моргана
Билет № 12. Отрицание высказываний и его свойства (доказательство одного из них). Билет № 13. Импликация высказываний и её свойства (доказательство одного из них). Обратная, противоположная и обратная противоположной импликации. Импликацией двух высказываний A и B называется новое высказывание A=> B(из А следует В, если А то В), которое ложно только в том случаи, когда А-ИСТИНА, В-ложь, во всех остальных случаях! Импликация-истина
Свойства: 1.закон контропозиции A=> B ó
Если дана импликация A=> B, то импликация В=> A называется обратной Эквиваленция высказывания - …двух высказ. a и b, называется новое высказывание A< => B, которые истинно, если высказывание A и B одновременно И или Л(то есть принимают одинаковые значения )
Билет № 14. Высказывания и высказывательные формы. Область определения и множество значений истинности предиката. Примеры. Высказывания и высказывательные формы. Область определения и множество значений истинности предиката. Примеры. Определение. Высказывание - повествовательное предложение, относительно которого имеет смысл говорить истинно оно или ложно. Логическими значениями высказываний являются «истина» и «ложь». Примеры высказываний: · Москва стоит на Неве. (ложно –Л; простое) · Лондон — столица Англии. (истинно – И; простое) · Сокол не рыба. (истинно – И; сложное) · Число 6 делится на 2 и на 3. (истинно – И; сложное) Различают два вида высказываний: ü Высказывание, представляющее собой одно утверждение, принято называть простым или элементарным. ü Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если.... то...», «тогда и только тогда», принято называть сложными или составными. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным. Определение. Высказывательной формой или предикатом называется предложение с одной или несколькими переменными, обращающееся в высказывание, если вместо переменных подставить их значения. Определение. Совокупность значений переменной х, которая может не обязательно иметь числовую природу, называется областью определения предиката. Определение. Значения х, обеспечивающие истинность предиката, называются его множеством истинности. Билет № 15. Конъюнкция предикатов. Множество истинности конъюнкции предикатов (доказательство). Конъюнкцией одноместных предикатов А(х), В(х) называют предикат А(х), В(х), который обращается в истину при тех значениях переменной, при которых обращаются в истину оба предиката А(х), В(х). Справедлива теорема А(х), ТА- В(х), ТВ – А(х) Ù В(х), то ТАÙ В = ТА Ç ТВ Даны 2 предиката и их области истинности, конъюнкция этих предикатов, что область истинности конъюнкции предикатов равна пересечению областей истинности этих предикатов. Доказательство: Для показания равенства множеств необходимо показать, что они состоят из одних элементов, т. е. надо показать, что любой элемент из левого множества является элементом правого множества и наоборот. а) Пусть а Î ТАÙ ВÞ А(а) Ù В(а) – и Þ А(а) – и Ù В(а) – и Þ а Î ТА Ù аÎ ТА Ç ТВ (Пусть элемент а принадлежит области истинности конъюнкции предикатов, следовательно предикат А(а) конъюнкция предикат В(а) – истинно, следовательно предикат А(а) – истинно конъюнкция предикат В(а) – истинно, следовательно а принадлежит области истинности предиката А конъюнкция элемент а принадлежит пересечению областей истинности предикатов) б) Пусть в Î ТА Ç ТВ Þ в Î ТА Ù вÎ ТВ Þ А(в) –и Ù В(в) – и Þ А(в) Ù В(в) Þ в Î ТАÙ в (Пусть элемент в принадлежит области истинности предиката А пересеченное с областью истинности предиката В, следовательно в принадлежит области истинности предиката А конъюнкция в принадлежит области истинности предиката В, следовательно предикат А(в) – истинно конъюнкция предикат В(в) – истинно, следовательно предикат А(а) конъюнкция предикат В(в), следовательно в принадлежит области истинности предиката А конъюнкция в. Билет № 16. Дизъюнкция предикатов. Множество истинности дизъюнкции предикатов (доказательство). Дизъюнкцией предикатов А(х), В(х) называется предикат А(х) Ú В(х), который обращается в истину при тех значениях переменной, при которой хотя бы 1 из предикатов обращается в истинное высказывание. Теорема: А(х), ТА В(х), ТВ А(х) Ú В(х), то ТАÚ В = ТА È ТВ (Даны 2 предиката и их области истинности, дизъюнкция этих предикатов, что область истинности дизъюнкции предикатов равна объединению областей истинности этих предикатов) Доказательство: Для того, чтобы показать равенство множеств необходимо показать, что они состоят из одних и тех же элементов, т.е. надо показать, что любой элемент из левого множества является так же элементом правого множества и наоборот. а) Пусть а Î ТАÚ В Þ А(а) Ú В(а) – и Þ А(а) – и Ú В(а) - и Þ а Î ТА Ú аÎ ТВ Þ а Î ТА È ТВ *(Пусть элемент а принадлежит области истинности предикат А дизъюнкция предикат В, следовательно предикат А(а) дизъюнкция предикат В(а) – истинно, следовательно предикат А(а) – истинно дизъюнкция предикат В(а) – истинно, следовательно элемент а принадлежит области истинности предиката А дизъюнкция а принадлежит области истинности предиката В, следовательно а принадлежит объединению областей истинности предикатов А и В) б) Пусть в Î ТАÚ ТВ Þ А(в) Ú В(в) – и Þ А(в) – и Ú В(в) – и Þ в Î ТА Ú ТВ Þ в Î ТА È ТВ *(По аналогии с буквой а) Билет № 17. Отрицание предиката. Множество истинности отрицания предиката. Примеры. Отрицанием предиката А(х) называется предикат Справедливо равенство: , ТА – ТА = ТА’, где ТА’ – дополнение множества ТА до множества Х Популярное:
|
Последнее изменение этой страницы: 2016-03-22; Просмотров: 3471; Нарушение авторского права страницы