¿Qué quiere decir? $\bigvee$ operador en la página 6 de este documento . Es un operador matemático de tamaño variable.
¿Qué pasa con $\bigwedge$ ?
Respuestas
¿Demasiados anuncios?
Matt
Puntos
2318
Si se tiene una familia indexada de proposiciones, digamos $\{P_\alpha\}_{\alpha \in I}$ entonces $$\bigvee_{\alpha\in I} P_{\alpha}$$ es la proposición de que al menos una $P_{\alpha}$ es cierto. Esto también podría utilizarse para los máximos o los mínimos. Otra forma podría ser $$\bigvee_{k=1}^n f_k$$ para expresar el máximo de $f_1, f_2, \cdots , f_n$ .
rschwieb
Puntos
60669
"Cuñas y vetas" ( $\wedge,\vee$ ) se suelen utilizar para denotar "encuentros y uniones" (respectivamente) en la teoría de la red. A grandes rasgos, "meet" significa "mayor límite inferior" y "join" significa "menor límite superior".
Esto también se dará en la lógica porque los condicionales lógicos tienen interpretaciones como "encuentros y uniones".
Como se puede ver en la página 6 del documento, parece que están traduciendo 1.2/1.3/1.4 a 1.5/1.6/1.7. Sospecho mucho que hay una errata, porque en un punto han sustituido $\cup$ con $\vee$ (y eso tiene sentido, ya que $\cup$ es un operador de unión para la red de subconjuntos de un conjunto), pero también hizo lo mismo para $\cap$ .
Creo que posiblemente deberían haber sustituido $\cap$ con $\wedge$ . ( $\cap$ es, por supuesto, el operador de encuentro en la red de subconjuntos de un conjunto).
