→ Пошук по сайту       Увійти / Зареєструватися
ДИЗЪЮНКТ

ДИЗЪЮНКТ [Мапа поняття]

← ДИЗЪЮНКТВыражение вида B1 Љ B2 Љ ... Љ Bn A1 & A2 &...& Am, где (&,Љ, ) соответственно символы конъюнкции, дизъюнкции и импликации. Д. читается так: "Если A1, и A2, и, Am, то B1, или B2, или ,..., Bn". Правая или левая часть импликации может быть пустой. В этом случае Д. интерпретируется иначе. Для Д. вида B1 Љ B2 Љ ... Љ Bn интерпретация заключается в утверждении существования факта B1 Љ B2 Љ ... Љ Bn ; а для Д. вида A1 & A2 &...& Am интерпретация состоит в утверждении, что (A1 & A2 &...& Am)..
загрузка...
Сторінки, близькі за змістом