논리적 및 / 또는 많은 항목에 대한 표기법이 있습니까?

Nov 21 2020

합계 표기법을 사용하여 많은 것을 추가 할 수 있습니다. $$\sum_{n=1}^5 n = 15$$

논리적 "and"및 "or"에 대한 유사한 연산자가 있습니까?

나는 고려했다 $\exists$/$\forall$하지만 어떤 경우에는 답을 결정하는 방법을 쉽게 지정할 수 없습니다.

답변

9 EricTowers Nov 21 2020 at 04:28

\ bigvee 및 \ bigwedge 사용, $$ \bigvee_{i=1}^{100} X_i $$$$ \bigwedge_{i \in I} X_i \text{,} $$ 각기.

의 의미 는 무엇입니까$\bigvee$ (bigvee) 연산자

이들은 만남과 결합 (격자 이론) 에도 사용됩니다 . 상황에 따라이 표기법을 명시 적으로 도입하는 것이 좋습니다.

2 RyanK Nov 21 2020 at 04:34

흥미롭게도 다음과 같은 문장을 아주 쉽게 사용할 수 있습니다. $$(\forall i\in I)(\exists a_i\in A_i)$$ 반복되는 "존재"진술을 얻으려면 유사하게 사용할 수 있습니다. $$(\forall i\in I)(\forall a_i \in A_i)$$"모두에 대해"반복되는 문을 가져옵니다. 세트를 정의하기 만하면됩니다.$I$ 및 세트 $A_i$. 각$a_i$ 반드시 고유 한 것은 아니며 두 번째 문에서 $a_i$ 유일한 경우에만 $|A_i|=1$.

Acccumulation Nov 24 2020 at 01:44

당신은 이것이 알고리즘 맥락에서 나온다는 의견에서 언급했습니다. 프로그래밍 측면에서 이에 대한 일반적인 표현은 다음과 같습니다 reduce(operation, iterable)(물론 이것은 연관 이항 연산자를 다루고 있음을 reduce(mean, iterable)의미하며 반복 가능한 평균을 얻지 못할 것입니다) reduce(or, (f(_) for _ in range(k))). 또한 any(f(_) for _ in range(k)). 그것들은 Python 구문이지만 의사 코드를 작성하는 경우 Python에 익숙하지 않은 CS 사용자에게도 명확해야합니다. 수학적 논리 용어로는$\exists n:f(n)$.