¿Es "puede suceder" equivalente a "puede suceder" en lógica? ¿Es lo mismo "puede suceder" que "puede no suceder"?

Lo que dijo la persona de arriba es mitad correcto y mitad incorrecto.

De lo que estás hablando es de una proposición modal (juicio). Este tipo de proposición se divide en dos categorías según la palabra modal:

①: Proposición necesaria por ejemplo: inevitable, cierta, afirmativa, absoluta, etc.

②: Proposiciones posibles, por ejemplo: tal vez, tal vez, tal vez, etc.

Después de agregar palabras negativas, las proposiciones modales se dividen en 4 categorías, es decir, la matriz cuadrada opuesta Esas 4 categorías. Su relación está claramente establecida en la falange de Duandang.

Considerando la negación de la proposición misma (la palabra negativa se coloca al frente de la proposición), se convierten en 8 proposiciones. Sin embargo, estas ocho proposiciones son equivalentes por pares. Por lo tanto, en el análisis final, todavía hay sólo cuatro proposiciones modales. Su relación de equivalencia es muy regular:

No necesariamente = tal vez no;

Imposible = necesariamente no

En pocas palabras: intercambia palabras negativas y la posición; de la palabra modal, es necesario cambiar el tipo de palabra modal al mismo tiempo.

En cuanto a la relación general entre ellos, se puede explicar mediante probabilidad matemática. Tanto las proposiciones modales como la probabilidad discuten la posibilidad, por lo que están conectadas. El rango de probabilidad de cualquier evento es: [0, 1]; diferentes proposiciones modales representan diferentes probabilidades:

①: Debe ser: p=1;

② : Posiblemente: p >0; es decir: (0, 1];

③: Definitivamente no; p=0;

④: Posiblemente no; p<1; es decir: [0, 1);

Por tanto, no existe equivalencia entre los cuatro tipos de proposiciones modales. Sólo sus negaciones son equivalentes a otras proposiciones modales. Por lo tanto:

(Puede que no suceda = puede que no suceda) ≠ puede suceder