Мои Конспекты
Главная | Обратная связь

...

Автомобили
Астрономия
Биология
География
Дом и сад
Другие языки
Другое
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Металлургия
Механика
Образование
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Туризм
Физика
Философия
Финансы
Химия
Черчение
Экология
Экономика
Электроника

ОСНОВНІ ПРАВИЛА І ЗАКОНИ ЧИСЛЕННЯ ПРЕДИКАТІВ





Помощь в ✍️ написании работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

(а) Правила першого роду:

ВК А ; УК А/\В ; УК А/\В ; ЗК ~(А/\В) ;

А/\В А В ~А\/

ВД А ; В ; УД А\/В, ~А ;

А\/В А\/В В

УД А\/В, ~В ; УД А\/В, А®С, В®С ;

А С

ЗД ~(А\/В) ; УІ А®В, А ; УІ А®В, ~В ; ЗІ ~(А®В) ;

/\~В В ~А А/\

ВЕ А®В, В®А ; УЕ А«В ; УЕ А«В ;

А«В А®В В®А

З" ~"хА(х) ; З$ ~$хА(х) ; В" Ах ; У" "хА(х) ;

$х~А(х) "х~А(х) "уА(у) А(t)

В$ А(t) ; У$ $уА(у) ; У" "хF(х) ; У$ ~$х~F(х) ;

$хА(х) А(х) ~$хF(х) "хF(х)

б) Правила другого роду:

ПД (правило дедукції): Г, А ╞ В ;

Г ╞ А®В

ЗА (зведення до абсурду): Г, А ╞ В, ~В ;

Г ╞ ~А

ДВС (доведення від супротивного): Г, ~А ╞ В, ~В ;

Г ╞ А

8.8. ТАБЛИЦІ ІСТИННОСТІ ВИСЛОВЛЕНЬ, З’ЄДНАНИХ СПОЛУЧНИКАМИ

/\, \/, ,®, « та ~

 

Кон’юнкція Диз’юнкція

А В А/\В   А В А\/В
і і і і і і
і х х і х і
х і х х і і
х х х х х х

 

Строга диз’юнкція Імплікація

А В А В   А В А®В
І і х І і і
І х і І х х
х і і Х і і
х х х Х х і

 

 

Еквіваленція Заперечення

Доверь свою работу ✍️ кандидату наук!
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой



Поиск по сайту:







©2015-2020 mykonspekts.ru Все права принадлежат авторам размещенных материалов.