Импликация в матлогике.





Здравствуйте!

Изучаю раздел "Основа математической логики" и там есть такой параграф:

"Недоказанная теорема называется гипотезой, и варианта тут два: либо она выводит из истины истину и представляет собой теорему, либо гипотеза невернА, т.е. из множества истинных посылок А1, А2, А3...Аn и тд следует «не бэ»: | (A1 & A2 & A3 ... & An) => !B | = 1."

И вот тут я не понимаю, как импликация истинного А и не B равна 1, а не 0. Ведь согласно таблицы истинности, должен быть 0. Или я что-то не так понял?

не проверено

Всего: 1 комментарий.
Добавить комментарий

Максим    26.11.2022 в 11:33
Если гипотеза не верна, то B = ложь, следовательно B с отризанием = истина, поэтому импликация обращается в истину.