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

...

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

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





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

ВК (введення кон’юнкції): А,В

А/\В

ВЗК (введення заперечення кон’юнкції): ~А; В___

~(А /\В) ~(А /\В)

 

УЗК (усунення заперечення кон’юнкції): ~(А /\ В);

\/

~(А /\ В), В;~(А /\ В), A

~А ~В

ВД (введення диз’юнкції): _А__; __В__

А \/В А \/В

УД (усунення диз’юнкції): А В, А ; А В; В

~В ~А

ВЗД (введення заперечення диз’юнкції): ~А, ~В

~(А\/В)

УЗД (усунення заперечення диз’юнкції): ~(А\/В) ; ~(А\/В);

/\~В ~А

~(А\/В)

УД/З (усунення диз’юнкції запереченням):

А\/В, ~А ; А\/В, ~В ; ~А\/В, А ; А\/~В, В

В А В А

ВІ (введення імплікації): Г, А╞ В

Г╞ А®В

УІ (усунення імплікації) або ПВ (правило відділення) або МР (modus ponens):

А®В, А ; А®~В, А ; ~А®В, ~А ; ~А®~В; ~А

В ~В В ~В

 

УІ (усунення імплікації) або МТ (modus tollens):

А®В, ~В ; А®~В, В ; ~А®В, ~В ; ~А®~В, В

~А ~А А А

ЗІ (заперечення імплікації): ~(А®В)

А/\

Пр.Сил. (правило силогізму): А®В, В®С

А®С

ВЕ (введення еквівалентності): А®В, В®А

А«В

УЕ (усунення еквівалентності): А«В ; А«В

А®В В®А

ВЗ (введення заперечення): А

~~А

 

УЗ (усунення заперечення): ~~А

А

ВЗ (введення заперечення) А®В, А®~В ; або: А®В, ~В

або ЗА (зведення до абсурду) ~А ~А

 

reductio ad absurdum:

 

ДВС (доведення від супротивного) або ДВП (доведення від протилежного):

~А®В, ~А®~В ; або: ~А®В, ~В

А А

Пр.Ім. (правило імпортації): А®(В®С)

/\В)®С

Пр.Екс. (правило експортації): (А/\В) ®С

А®(В®С)

ЗКо1 (закон простої контрапозиції):

(1) А®В ; (2) ~В®~А ; (3) А®~В ; (4) ~А®В

~В®~А А®В В®~А ~В®А

ЗКо2 (закон складної контрапозиції):

(1) (А/\В)®С ; (2) А®(В\/С)

/\~С)®~В ~В®(~А\/С)

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



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







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